| 安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 |
| 薛锐; 雷新锋
|
| 2011
|
| 发表期刊 | 中国科学院院刊
 |
| 期号 | 3页码:287-296 |
| 摘要 | 信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,认为我国目前该领域的研究与国外差距较大,加强协议安全性分析研究对我国来说是一个非常迫切的课题。在此基础上,提出了相关对策与建议。 |
| 关键词 | 安全协议
密码学
形式化方法
研究现状
发展趋势
|
| 部门归属 | 中国科学院软件研究所信息安全国家重点实验室
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13981
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
薛锐,雷新锋. 安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J]. 中国科学院院刊,2011(3):287-296.
|
| APA |
薛锐,&雷新锋.(2011).安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势.中国科学院院刊(3),287-296.
|
| MLA |
薛锐,et al."安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势".中国科学院院刊 .3(2011):287-296.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论