典型安全协议形式化分析工具比较

摘要：

介绍了当前安全协议分析领域的典型形式化工具,阐述了它们的基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点.

关键词： 安全协议 逻辑推理 模型检测 形式化方法

作者: 朱宜炳 罗敏

作者单位: 南昌大学信息工程学院 江西省计算技术研究所

会议类型: 国内会议

会议名称: 第七届（2008年）海峡两岸科技与经济论坛

会议地点: 福州

会议语种:中文

页码: 93-95

在线出版日期: 2008-05-16（万方平台首次上网日期，不代表论文的发表时间）