摘要
针对串空间理论的不足,在相关研究的基础上,加入了Diffie-Hellman操作的密码原语,扩展了理想和诚实的概念,拓展了串空间理论的分析范围。分析了一个端对端安全协议的核心安全特性,即保密性和认证特性,使用扩展的串空间理论分析得出该协议不能满足认证性,给出该协议的一个攻击和改进方法。
This paper added Diffie-Hellman cryptographic primitives into strand space aim at the weak of the strand space.Extended the honest and ideals concepts of the strand space,which extended the scope of the strand space.Analyzed the core security property of a station to station protocol,confidentiality and authentication.Used the extended strand space to analysis the protocol and deduced this protocol could not meet the authentication property.Descripted an attack and an improvement of this protocol.
出处
《计算机应用研究》
CSCD
北大核心
2009年第12期4793-4796,共4页
Application Research of Computers