计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2005年
7期
1100-1107
,共8页
卓继亮%李先贤%李建欣%怀进鹏
卓繼亮%李先賢%李建訢%懷進鵬
탁계량%리선현%리건흔%부진붕
安全协议%攻击分类%安全性评估%形式化方法
安全協議%攻擊分類%安全性評估%形式化方法
안전협의%공격분류%안전성평고%형식화방법
对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两个角度,提出一种新的安全协议攻击分类,并分析了不同攻击类型的特点与机理.在此基础上,探讨了安全协议的一种安全性评估框架,有助于更客观地评价安全协议的实际安全防护能力和设计新的协议.
對安全協議的安全性進行全麵評估是十分重要的,但難度非常大.目前大量的研究工作主要集中于分析開放網絡環境下安全協議的一些特定安全屬性,例如,祕密性和認證性等.為瞭更全麵地評估安全協議的安全防護能力,從攻擊者的能力和攻擊後果兩箇角度,提齣一種新的安全協議攻擊分類,併分析瞭不同攻擊類型的特點與機理.在此基礎上,探討瞭安全協議的一種安全性評估框架,有助于更客觀地評價安全協議的實際安全防護能力和設計新的協議.
대안전협의적안전성진행전면평고시십분중요적,단난도비상대.목전대량적연구공작주요집중우분석개방망락배경하안전협의적일사특정안전속성,례여,비밀성화인증성등.위료경전면지평고안전협의적안전방호능력,종공격자적능력화공격후과량개각도,제출일충신적안전협의공격분류,병분석료불동공격류형적특점여궤리.재차기출상,탐토료안전협의적일충안전성평고광가,유조우경객관지평개안전협의적실제안전방호능력화설계신적협의.
