摘要
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用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.
出处
《计算机工程与科学》
CSCD
2004年第2期1-3,共3页
Computer Engineering & Science
基金
国家863计划资助项目(863-301-06-1)
国信安办资助项目(2001-研1-004)
