计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (19): 100-102.DOI: 10.3778/j.issn.1002-8331.2010.19.029

• 网络、通信、安全 • 上一篇    下一篇

Needham-Schroeder 协议的认证测试方法形式化分析

李廷元1，2，秦志光1，刘晓东2，张选芳2   

  1. 1.电子科技大学计算机科学与工程学院，成都610054
    2.中国民用航空飞行学院计算机学院，四川广汉618307
  • 收稿日期:2008-12-16 修回日期:2009-02-26 出版日期:2010-07-01 发布日期:2010-07-01
  • 通讯作者: 李廷元

Formal analysis of Needham-Schroeder protocol with authentication test methods

LI Ting-yuan1，2，QIN Zhi-guang1，LIU Xiao-dong2，ZHANG Xuan-fang2   

  1. 1.School of Computer Science and Engineering，University of Electronic Science and Technology of China，Chengdu 610054，China
    2.School of Computer，Civil Aviation Flight University of China，Guanghan，Sichuan 618307，China
  • Received:2008-12-16 Revised:2009-02-26 Online:2010-07-01 Published:2010-07-01
  • Contact: LI Ting-yuan

PDF

摘要： 在安全协议的形式化分析方法中，串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Needham- Schroeder协议存在中间人攻击的缺陷，提出对协议的改进并采用认证测试方法，验证了改进的协议可以满足协议的安全目标。

Abstract: Among the formalized analysis methods of security protocol，the strand space model and the authentication test
methods based on the strand space model are the commonly used methods.For the defects of man-in-middle attack in the
Needham-Schroeder protocol，the paper gives the improvements and adopts the authentication test methods to verify the improved
Needham-Schroeder protocol can meet the demands of security goals of protocol.

中图分类号: 

京ICP备13024262号-1
Copyright © 《计算机工程与应用》编辑部
技术支持：北京玛格泰克科技发展有限公司
总访问量
今日访问
在线人数