一个双向认证协议的分析与改进  

Analysis and Improvement of a Mutual Authentication Protocol

作　　者：廖振岚[1] 吴开贵[1] 谢琪[1] 代廷合[1] 

机构地区：[1]重庆大学计算机学院,重庆400043

出　　处：《计算机科学》2009年第2期129-131,151,共4页Computer Science

基　　金：国家自然科学基金资助项目(30400446)资助

摘　　要：运用安全协议形式化分析方法中的串空间模型理论,对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析,发现该协议在认证方面存在缺陷,并对该协议进行了改进,同时用串空间理论证明了改进后的协议的认证正确性。This paper applied strand space model, which is a method for formal analysis of security protocol, to analyse a mutual authentication protocol proposed by Natalia Miloslavskaya et al. , and found some flaws of the protocol on authentication. Then an improved protocol was proposed, and its correctness on authentication was proved by using strand space model.

关 键 词：安全协议 认证 串空间 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]