计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
19期
4923-4925
,共3页
安全协议%串空间%Helsinki协议%模型分析%安全性
安全協議%串空間%Helsinki協議%模型分析%安全性
안전협의%천공간%Helsinki협의%모형분석%안전성
Helsinki协议是ISO/IEC DIS 11770-3 中提出的重要认证协议,由于协议受到来自内部的攻击,Mithcell-Yeun对其进行了改进.但改进后协议的安全性仍未得到确认,为了验证改进协议是否满足其安全目标,利用串空间模型对协议进行了建模和分析.通过分析极小元所在串与其它串的关系说明协议的一致性,通过对理想的分析说明协议的保密性.结果表明改进型协议满足其安全要求,原协议存在安全缺陷的原因是最小元可能存在M1串上,这为 Mithcell-Yeun的改进提供了理论的证明与依据.
Helsinki協議是ISO/IEC DIS 11770-3 中提齣的重要認證協議,由于協議受到來自內部的攻擊,Mithcell-Yeun對其進行瞭改進.但改進後協議的安全性仍未得到確認,為瞭驗證改進協議是否滿足其安全目標,利用串空間模型對協議進行瞭建模和分析.通過分析極小元所在串與其它串的關繫說明協議的一緻性,通過對理想的分析說明協議的保密性.結果錶明改進型協議滿足其安全要求,原協議存在安全缺陷的原因是最小元可能存在M1串上,這為 Mithcell-Yeun的改進提供瞭理論的證明與依據.
Helsinki협의시ISO/IEC DIS 11770-3 중제출적중요인증협의,유우협의수도래자내부적공격,Mithcell-Yeun대기진행료개진.단개진후협의적안전성잉미득도학인,위료험증개진협의시부만족기안전목표,이용천공간모형대협의진행료건모화분석.통과분석겁소원소재천여기타천적관계설명협의적일치성,통과대이상적분석설명협의적보밀성.결과표명개진형협의만족기안전요구,원협의존재안전결함적원인시최소원가능존재M1천상,저위 Mithcell-Yeun적개진제공료이론적증명여의거.
