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

摘要

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