| 安全协议的形式化分析技术与方法 |
| 其他题名 | the approaches and technologies for formal verification of security protocols
|
| 薛锐; 冯登国
|
| 2006
|
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164
|
| 卷号 | 29期号:1页码:40198 |
| 摘要 | 对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解． |
| 收录类别 | EI
; CSCD
|
| 关键词 | 安全协议
形式化分析
安全目标
Dolev-yao模型
密码学可靠性
|
| 部门归属 | 信息安全国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:2243196
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/1898
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
薛锐,冯登国. 安全协议的形式化分析技术与方法[J]. 计算机学报,2006,29(1):40198.
|
| APA |
薛锐,&冯登国.(2006).安全协议的形式化分析技术与方法.计算机学报,29(1),40198.
|
| MLA |
薛锐,et al."安全协议的形式化分析技术与方法".计算机学报 29.1(2006):40198.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论