安全协议的形式化分析技术与方法

• 作者: 冯登国 薛锐
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 安全协议 形式化分析 安全目标 Dolev-Yao模型 密码学可靠性
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 综论
• 页码范围: 1-20
• 页数: 20页
• 分类号: TP309
• 字数: 22297字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2006.01.001

摘要

对于安全协议的形式化分析方法从技术特点上做了分类和分析.对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结.根据作者的体会,从纵向和横向两个角度进行了总结.纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结.横向方面主要从所应用的技术手段、技术特点入手,进行总结分析.说明了目前协议形式化分析发展的主要方向.对于目前国际流行的方法和模型进行了例解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所信息安全国家重点实验室	243	6305	35.0	71.0
2	薛锐	中国科学院软件研究所信息安全国家重点实验室	20	275	7.0	16.0