Institutional Repository
| 安全协议的形式化分析技术与方法 | |
| Alternative Title | the approaches and technologies for formal verification of security protocols |
| 薛锐; 冯登国 | |
| 2006 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 29Issue:1Pages:40198 |
| English Abstract | 对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解． |
| Indexed Type | EI ; CSCD |
| Keyword | 安全协议 形式化分析 安全目标 Dolev-yao模型 密码学可靠性 |
| Department | 信息安全国家重点实验室 |
| Language | 中文 |
| CSCD ID | CSCD:2243196 |
| Content Type | 期刊论文 |
| URI | http://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 | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment