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

摘要：

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

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

所属期刊栏目：46

分类号：TP301.02(计算技术、计算机技术)

资助基金：民航局科研基地863项目the Scientific Research Base of Civil Aviation Administration of ChinaCAAC863 Program,2007kf003

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

页数：共3页

页码：100-102