摘要
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。
Strand space model is a new formal analysis tool for the analysis of cryptographic protocols.Its proposition of two concepts on ideal and honest simplifies the process of verification of cryptographic protocols.This paper improve Otway-Rees protocol based on its defect.It uses the theory of strand space model to formal analysis of the improved Otway-Rees protocol.The new Otway-Rees protocol meets its security objectives,is safe and feasible.
出处
《信息通信》
2012年第3期160-162,共3页
Information & Communications
基金
湖北省自然科学基金NO.2006ABA056
湖北省教育厅重点项目NO.D20092203
湖北省教育厅青年项目NO.Q20102503~~