安全协议的攻击分类及其安全性评估

作     者：卓继亮 李先贤 李建欣 怀进鹏 Zhuo Jiliang;LI Xianxian;Li Jianxin;Huai Jinpeng

作者机构：北京航空航天大学计算机学院北京100083 

基　　金：国家自然科学基金项目(90412011) 国家"八六三"高技术研究发展计划基金项目(2003AA144150) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2005年第42卷第7期

页      码：1100-1107页

摘      要：对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两个角度,提出一种新的安全协议攻击分类,并分析了不同攻击类型的特点与机理.在此基础上,探讨了安全协议的一种安全性评估框架,有助于更客观地评价安全协议的实际安全防护能力和设计新的协议.

主 题 词：安全协议 攻击分类 安全性评估 形式化方法 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1360/crad20050702

馆 藏 号：203470373...