登录窗口
作者登录 审稿登录 编辑登录 读者登录
订阅 | 旧版入口 | English
 
  • 首页
  • 期刊简介
  • 编委会
  • 作者投稿
  • 订阅指南
  • 联系我们
  • 过刊目录
###
DOI:
中国科学院院刊:2011,(3):287-296
查看/发表评论     过刊浏览    高级检索     HTML
←前一篇   |   后一篇→
本文二维码信息
码上扫一扫!
下载全文
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势
薛锐, 雷新锋
(中国科学院软件研究所信息安全国家重点实验室)
Present Status and Trends of Researches on Analyses of Security Protocols
Xue Rui, Lei Xinfeng
(State Key Laboratory of Information Security,Institute of Software,CAS 100190 Beijing)
摘要
图/表
参考文献
相似文献
本文已被:浏览 4015次   下载 3630次
    
中文摘要: 信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,认为我国目前该领域的研究与国外差距较大,加强协议安全性分析研究对我国来说是一个非常迫切的课题。在此基础上,提出了相关对策与建议。
中文关键词: 安全协议  密码学  形式化方法  研究现状  发展趋势
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 in academic research and practical developments.Based on this view,some countermeasures and suggestions are provided to promote the researches in China.
keywords: security protocol  cryptography  formal method  research status  trends
文章编号:     中图分类号:TP393.08    文献标志码:
基金项目:
作者单位
薛锐 中国科学院软件研究所信息安全国家重点实验室 
雷新锋 中国科学院软件研究所信息安全国家重点实验室 
Author NameAffiliation
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 
引用文本:
薛锐,雷新锋.安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J].中国科学院院刊,2011,(3):287-296.
Xue Rui,Lei Xinfeng.Present Status and Trends of Researches on Analyses of Security Protocols[J].Bulletin of Chinese Academy of Sciences,2011,(3):287-296.
 
 
您是第34724531位访问者!
1996-2021 中国科学院版本所有 备案序号: 京ICP备05002857
地址:北京三里河路52号 邮编 100864 Email:bulletin@cashq.ac.cn
技术支持:北京勤云科技发展有限公司