| 典型安全协议形式化分析工具比较 |
| |
| 引用本文： | 朱宜炳,罗敏.典型安全协议形式化分析工具比较[J].计算机与现代化,2008(5):86-89. |
| |
| 作者姓名： | 朱宜炳 罗敏 |
| |
| 作者单位： | 1. 南昌大学信息工程学院,江西,南昌,330031
2. 江西省计算技术研究所,江西,南昌,330002 |
| |
| 摘 要： | 介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
|
| 关 键 词： | 安全协议 逻辑推理 模型检测 定理证明 形式化方法 |
| 文章编号： | 1006-2475(2008)05-0086-04 |
| 修稿时间： | 2007年11月2日 |
Comparison Between Representative Formal Analysis Tools on Security Protocols |
| |
| ZHU Yi-bing,LUO Min.Comparison Between Representative Formal Analysis Tools on Security Protocols[J].Computer and Modernization,2008(5):86-89. |
| |
| Authors: | ZHU Yi-bing LUO Min |
| |
| Abstract: | |
| |
| Keywords: | security protocol logic deduction model checking theory proving formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
