| 安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 |
| |
| 引用本文： | 薛锐,雷新锋.安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J].中国科学院院刊,2011,26(3):287-296. |
| |
| 作者姓名： | 薛锐 雷新锋 |
| |
| 作者单位： | 中国科学院软件研究所信息安全国家重点实验室,北京,100190 |
| |
| 摘 要： | 信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,认为我国目前该领域的研究与国外差距较大,加强协议安全性分析研究对我国来说是一个非常迫切的课题。在此基础上,提出了相关对策与建议。
|
| 关 键 词： | 安全协议 密码学 形式化方法 研究现状 发展趋势 |
Present Status and Trends of Researches on Analyses of Security Protocols |
| |
| Xue Rui and Lei Xinfeng.Present Status and Trends of Researches on Analyses of Security Protocols[J].Bulletin of the Chinese Academy of Sciences,2011,26(3):287-296. |
| |
| Authors: | Xue Rui and Lei Xinfeng |
| |
| Institution: | Xue Rui Lei Xinfeng(State Key Laboratory of Information Security,Institute of Software,CAS 100190 Beijing) |
| |
| Abstract: | Information assurance is faced with great challenges in the information society.As the soul of information assurance in networks,security protocols play an important role.As a result,research on security analyses of security protocols becomes a dominant problem.By surveying on the present status and developments of the analyses of security protocols,we conclude that,as a whole,there need much endeavors to be made in China to catch the international researched in this area.It is urgent for us to strengthen i... |
| |
| Keywords: | security protocol cryptography formal method research status trends |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《中国科学院院刊》浏览原始摘要信息 |
| 点击此处可从《中国科学院院刊》下载免费的PDF全文 |
