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

• 作者: 张孝红 李谢华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议自动化验证 IVAP算法 串空间 改进协议生成算法
• 年，卷（期）: 2011,（5）
• 页码范围: 131-133
• 分类号: TP301.6
• 字数: 3243字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.05.044

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李谢华	湖南大学计算机与通信学院	12	61	5.0	7.0
2	张孝红	湖南大学计算机与通信学院	2	5	2.0	2.0