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

被引：61

作者：

薛锐

冯登国

机构：

[1] 中国科学院软件研究所信息安全国家重点实验室

来源：

计算机学报 | 2006年 / 01期

关键词：

安全协议; 形式化分析; 安全目标; Dolev-Yao模型; 密码学可靠性;

D O I：

暂无

中图分类号：

TP393.04 [];

学科分类号：

081201 ; 1201 ;

摘要：

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

引用

页码：1 / 20

页数：20