Verifying authentication protocols: methodology and example
Verifying authentication protocols: methodology and example
复制标题
验证身份验证协议：方法和示例
DOI：
10.1109/icnp.1993.340904
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
S. Lam
中科院分区：
文献类型：
--
作者：
Thomas Y. C. Woo;S. Lam
作者提出了一种分析身份验证协议的新方法。该方法由几个元素组成：用于正式指定身份验证协议的规范语言、用于表征协议执行的语义模型、用于陈述保密和通信属性的断言语言以及用于验证这些属性的过程。本文的重点是断言语言、其语义和验证过程。特别是，作者提出了一套证明规则。给出一个例子来说明该方法。<<ETX>>
The authors present a new approach to the analysis of authentication protocols. The approach consists of several elements: a specification language for formally specifying authentication protocols, a semantic model for characterizing protocol executions, an assertion language for stating secrecy and correspondence properties, and procedures for verifying these properties. The main emphasis of this paper is on the assertion language, its semantics, and verification procedures. In particular, the authors present a set of proof rules. An example is given to illustrate the approach.<<ETX>>