NS协议的形式化分析与改进

Formal Verification and Improvement of the Needham-Schroeder Protocol

随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案。

With the rapid development of the Internet, the security problems of protocols become more and more important. Now the focus is the formal verification of cryptographic protocols. By using the BAN logic to prove the security of the Needham-Schroeder protocol, this paper discovers the flaws and gives an improvement scheme.