安全协议形式化混合分析技术的研究与应用

• 作者: 付宇 王惠芳 马自堂
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 形式化分析 模型检测
• 年，卷（期）: 2006,（17）
• 所属期刊栏目: 安全技术
• 页码范围: 222-224
• 页数: 3页
• 分类号: TP343
• 字数: 3670字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.17.078

摘要

分析了模型检测技术和逻辑推证技术的优点与不足,介绍了两种形式化分析方法相结合的混合分析方法,并给出实例,证明混合分析技术在检测协议漏洞方面是更为完全的.该技术的效率大大高于一些起初的模型,且易于实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王惠芳	解放军信息工程大学电子技术学院	15	127	6.0	11.0
2	马自堂	解放军信息工程大学电子技术学院	22	135	7.0	10.0
3	付宇	解放军信息工程大学电子技术学院	1	5	1.0	1.0