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

• 作者: 朱宜炳 罗敏
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 安全协议 逻辑推理 模型检测 定理证明 形式化方法
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 86-89
• 页数: 4页
• 分类号: TP393.08
• 字数: 3860字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2008.05.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱宜炳	南昌大学信息工程学院	3	15	2.0	3.0
2	罗敏		19	73	6.0	7.0