认证测试方法在安全协议形式化分析中的应用研究

摘要：

对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needharm-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Schroeder协议进行了改进并采用认证测试方法证实了改进的协议可以满足协议的安全目标。

关键词： 认证测试方法 安全协议 形式化分析 中间人攻击

作者: 李廷元 宋劲 郑涛 袁小珂 张建学

作者单位: 中国民用航空飞行学院计算机学院 广汉 618307

会议类型: 国内会议

会议名称: 2010国际信息技术与应用论坛

会议地点: 昆明

会议语种:中文

页码: 48-50

在线出版日期: 2010-07-16（万方平台首次上网日期，不代表论文的发表时间）