安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势

摘要：

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

关键词：安全协议、密码学、形式化方法、研究现状、发展趋势

所属期刊栏目：26

分类号：TP3;TN9

在线出版日期：2011-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：287-296