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