计算机工程 ›› 2011, Vol. 37 ›› Issue (5): 131-133.doi: 10.3969/j.issn.1000-3428.2011.05.044

• 安全技术 • 上一篇    下一篇

基于串空间的安全协议自动化验证算法

张孝红,李谢华   

  1. (湖南大学计算机与通信学院,长沙 410082)
  • 出版日期:2011-03-05 发布日期:2012-10-31
  • 作者简介:张孝红(1984-),男,硕士研究生,主研方向:安全协议形式化验证;李谢华,博士
  • 基金项目:
    国家“863”计划基金资助项目(2007AA010404)

Automatic Verification Algorithm for Security Protocol Based on String Space

ZHANG Xiao-hong, LI Xie-hua   

  1. (School of Computer and Communication, Hunan University, Changsha 410082, China)
  • Online:2011-03-05 Published:2012-10-31

摘要: 以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议并对其进行验证,直至生成一个安全的改进协议。实验结果证明了该自动化验证算法的有效性,与AAAP算法相比,其协议验证效率更高。

关键词: 安全协议自动化验证, IVAP算法, 串空间, 改进协议生成算法

Abstract: Based on string space, this paper proposes an automatic verification algorithm for security protocol named Intelligent Validation for Authentication Protocol(IVAP). For the protocol with flaw, it generates the improved secure protocol automatically by searching backward the tree of the primary strand aiming at the unsafe attributes, and validates it until the improved protocol is safe. Experimental result proves the effectiveness of the algorithm. Compared with AAAP algorithm, IVAP algorithm is more efficient.

Key words: automatic verification for security protocol, Intelligent Validation for Authentication Protocol(IVAP) algorithm, string space, improved protocol generation algorithm

中图分类号: