基于改进认证测试理论的高效安全协议验证算法

摘要：

提出一种基于改进认证测试理论的高效安全协议验证算法--AAAP(Automatic Analyzer for Authentica-tion Protocols)算法.利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性.实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率.

关键词：安全协议、改进的认证测试、Neuman-Stubblebine协议、NSL协议

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863项目2007从010404

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

页数：共5页

页码：73-76,128