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

摘要：

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

关键词：安全协议、形式化分析、模型检测

所属期刊栏目：32

分类号：TP343(计算技术、计算机技术)

资助基金：军队科研项目

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：222-224