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

Formal analysis of Needham-Schroeder protocol with authentication test methods

作　　者：李廷元[1,2] 秦志光[1] 刘晓东[2] 张选芳[2] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054 [2]中国民用航空飞行学院计算机学院,四川广汉618307

出　　处：《计算机工程与应用》2010年第19期100-102,共3页Computer Engineering and Applications

基　　金：民航局科研基地863项目(No.2007kf003)~~

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

关 键 词：安全协议 形式化分析 串空间模型 认证测试方法 Needham-Schroeder协议 

分 类 号：TP301.02[自动化与计算机技术—计算机系统结构]