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

作者：朱宜炳; 罗敏

来源：计算机与现代化, 2008, (05): 86-89.

• 安全协议
• 逻辑推理
• 模型检测
• 定理证明
• 形式化方法

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

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