薛锐,雷新锋.安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J].中国科学院院刊,2011,(3):287-296.

薛锐
中国科学院软件研究所信息安全国家重点实验室
Xue Rui
State Key Laboratory of Information Security,Institute of Software,CAS 100190 Beijing
雷新锋
中国科学院软件研究所信息安全国家重点实验室
Lei Xinfeng
State Key Laboratory of Information Security,Institute of Software,CAS 100190 Beijing

         安全协议;密码学;形式化方法;研究现状;发展趋势

        security protocol;cryptography;formal method;research status;trends

        信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,认为我国目前该领域的研究与国外差距较大,加强协议安全性分析研究对我国来说是一个非常迫切的课题。在此基础上,提出了相关对策与建议。

        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 in academic research and practical developments.Based on this view,some countermeasures and suggestions are provided to promote the researches in China.