摘要
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。
The basic notion and tbeonns of Stand spaces model are introduced. Based on the thory o fstand space, the revised Otway-Rees protocolis analysed from the aspects of both confidentiality and authentication.The analysis provesthe correc thess of the protocol.
出处
《科技风》
2011年第6期70-71,共2页
