计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
8期
136-138,144
,共4页
董荣胜%吴光伟%郭云川%古天龙
董榮勝%吳光偉%郭雲川%古天龍
동영성%오광위%곽운천%고천룡
串空间%Athena%DH密钥协商%IKEv2协议
串空間%Athena%DH密鑰協商%IKEv2協議
천공간%Athena%DH밀약협상%IKEv2협의
Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明.根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论.
Athena分析方法由于沒有抽象更多的密碼學原語,因此不能分析較複雜的安全協議.該文針對互聯網密鑰交換協議(IKEv2),對Athena方法進行瞭擴展:脩改消息項結構,擴展密碼學原語,使其能分析DH(Diffie-Hellman)密鑰協商問題,脩改內在項關繫,使其能應對更複雜的消息構造情況,併對相關命題和定理進行瞭證明.根據擴展後的Athena方法,對IKEv2協議的祕密性和認證性等進行瞭分析,對協議的特點作瞭進一步討論.
Athena분석방법유우몰유추상경다적밀마학원어,인차불능분석교복잡적안전협의.해문침대호련망밀약교환협의(IKEv2),대Athena방법진행료확전:수개소식항결구,확전밀마학원어,사기능분석DH(Diffie-Hellman)밀약협상문제,수개내재항관계,사기능응대경복잡적소식구조정황,병대상관명제화정리진행료증명.근거확전후적Athena방법,대IKEv2협의적비밀성화인증성등진행료분석,대협의적특점작료진일보토론.
