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

计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 73-76.

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

李谢华高春鸣

湖南大学计算机与通信学院,长沙410082

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家高技术研究发展计划（863）项目（2007AA010404）资助.

LI Xie-hua, GAO Chun-ming （School of Computer and Communication, Hunan University, Changsha 410082, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: A new efficient protocol-proving algorithm AAAP（Automatic Analyzer for Authentication Protocols） had been proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by f

Key words: Security protocol, Improved authentication tests, Neuman-Stubblebine protocol, NSL protocol

李谢华高春鸣. 基于改进认证测试理论的高效安全协议验证算法[J]. 计算机科学, 2009, 36(4): 73-76. https://doi.org/

LI Xie-hua, GAO Chun-ming （School of Computer and Communication, Hunan University, Changsha 410082, China）. [J]. Computer Science, 2009, 36(4): 73-76. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed