摘要: 研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满意。针对原始协议存在的缺陷和漏洞,该文进行了相应的修改,并用BAN逻辑来分析了修改后的协议,说明修改后的协议能够达到协议的目标。
关键词:
协议分析,
BAN逻辑,
Needham-Schroeder私钥协议
Abstract:
This paper researches on Needham-Schroeder protocol with shared keys. It points out bugs and leaks that the protocol exists, and provids a kind of method to attack the protocol. Needham and Schroeder have revised the primitive protocol, but the amended protocol still has a leak. Some other scholars have revised this protocol too, but the amended protocol still is unsatisfactory. In allusion to bugs and leaks existing to the primitive protocol, the paper carries on corresponding modification, and analyses the amended protocol with BAN logic. It indicates that the amended protocol can reach the goal of the protocol.
Key words:
Protocol analysis,
BAN logic,
Needham-Schroeder protocol with shared keys
中图分类号:
缪祥华;何大可. Needham-Schroeder私钥协议的改进[J]. 计算机工程, 2006, 32(17): 32-34.
MIAO Xianghua;HE Dake. Improvement of Needham-Schroeder Protocol with Shared Keys[J]. Computer Engineering, 2006, 32(17): 32-34.