Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches
Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches
复制标题
分析 Needham-Schroeder 公钥协议：两种方法的比较
DOI：
10.1007/3-540-61770-1_46
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
C. Meadows
中科院分区：
文献类型：
--
作者：
C. Meadows
在本文中，我们对比使用NRL协议分析器和Gavin Lowe使用模型检查器FDR [8]来分析Needham-Schroeder公钥协议。这是用来作为比较和对比这两个系统的基础，并指出未来可能的研究方向。
In this paper we contrast the use of the NRL Protocol Analyzer and Gavin Lowe's use of the model checker FDR [8] to analyze the Needham-Schroeder public key protocol. This is used as a basis for comparing and contrasting the two systems and to point out possible future directions for research.