Institutional Repository
| 安全协议的形式化分析技术与方法 | |
| 其他题名 | 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. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| approaches-technolog(1210KB) | 开放获取 | -- | 请求全文 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [薛锐]的文章 |
| [冯登国]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [薛锐]的文章 |
| [冯登国]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [薛锐]的文章 |
| [冯登国]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论