ISCAS OpenIR  > 信息安全国家重点实验室
安全协议的形式化分析技术与方法
Alternative Titlethe approaches and technologies for formal verification of security protocols
薛锐; 冯登国
2006
Source计算机学报
ISSN0254-4164
Volume29Issue:1Pages:40198
English Abstract对于安全协议的形式化分析方法从技术特点上做了分类和分析.对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结.根据作者的体会,从纵向和横向两个角度进行了总结.纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结.横向方面主要从所应用的技术手段、技术特点入手,进行总结分析.说明了目前协议形式化分析发展的主要方向.对于目前国际流行的方法和模型进行了例解.
Indexed TypeEI ; CSCD
Keyword安全协议 形式化分析 安全目标 Dolev-yao模型 密码学可靠性
Department信息安全国家重点实验室
Language中文
CSCD IDCSCD:2243196
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/1898
Collection信息安全国家重点实验室
Recommended Citation
GB/T 7714
薛锐,冯登国. 安全协议的形式化分析技术与方法[J]. 计算机学报,2006,29(1):40198.
APA 薛锐,&冯登国.(2006).安全协议的形式化分析技术与方法.计算机学报,29(1),40198.
MLA 薛锐,et al."安全协议的形式化分析技术与方法".计算机学报 29.1(2006):40198.
Files in This Item:
File Name/Size DocType Version Access License
approaches-technolog(1210KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[薛锐]'s Articles
[冯登国]'s Articles
Baidu academic
Similar articles in Baidu academic
[薛锐]'s Articles
[冯登国]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[薛锐]'s Articles
[冯登国]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.