一种安全协议自动化分析方法

• 作者: 周清雷 毋晓英
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 串空间 自动化分析模型 算法
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2301-2303
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.06.088

摘要

提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析,克服了冗长的理论推导,使协议的分析更加简洁和直观.模型的主要功能已在MyEclipse环境下用Java编程实现,并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证,证明了该自动化分析方法的简洁性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	毋晓英	郑州大学信息工程学院	3	7	2.0	2.0