节点文献

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

Formal Verification and Improvement of the Needham-Schroeder Protocol

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 李之棠； 石曙东； 解云峰；

【Author】 LI Zhi-tang, SHI Shu-dong, XIE Yun-feng ( 1. School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074;2.Department of Computer Science, Hubei Normal University, Huangshi 435002,China) Wuhan Talent Network Security Technology Co.,Ltd,12th F1.Huagong Scientific Building,243 Luoyu Rd, Wuhan, Hubei 430074, P. R. China

【机构】 华中科技大学计算机学院； 华中科技大学计算机学院 湖北武汉430074； 湖北武汉430074 湖北师范学院计算机科学系； 湖北黄石435002； 湖北武汉430074；

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

【Abstract】 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.

【关键词】 安全协议； BAN逻辑； Needham-Schroeder协议；
【Key words】 cryptographic protocol； BAN logic； Needham-Schroeder protocol；
【基金】 国家863计划资助项目(863-301-06-1);国信安办资助项目(2001-研1-004)
  • 【文献出处】 计算机工程与科学 ,Computer Engineering & Science , 编辑部邮箱 ,2004年02期
  • 【分类号】TP393.08
  • 【被引频次】3
  • 【下载频次】221
打印本页
节点文献中：