计算机工程2011，Vol.37Issue(5)：131-133,3.
基于串空间的安全协议自动化验证算法
Automatic Verification Algorithm for Security Protocol Based on String Space
摘要
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.关键词
安全协议自动化验证/IVAP算法/串空间/改进协议生成算法Key words
automatic verification for security protocol/ Intelligent Validation for Authentication Protocol(IVAP) algorithm/ string space/improved protocol generation algorithm分类
信息技术与安全科学引用本文复制引用
张孝红,李谢华..基于串空间的安全协议自动化验证算法[J].计算机工程,2011,37(5):131-133,3.基金项目
国家"863"计划基金资助项目(2007AA010404) （2007AA010404）
