安全协议形式化分析方法综述之一:基于推理结构性方法

• 作者: 冯登国 范红 邹良惠
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 形式化分析 逻辑系统 推理
• 年，卷（期）: 2003,（5）
• 所属期刊栏目: 学术技术
• 页码范围: 52-56
• 页数: 5页
• 分类号: TP393
• 字数: 6579字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2003.05.012

摘要

本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中科院研究生院信息安全国家重点实验室	12	111	6.0	10.0
2	范红	中科院研究生院信息安全国家重点实验室	3	36	3.0	3.0
3	邹良惠	中科院研究生院信息安全国家重点实验室	1	9	1.0	1.0