基于串空间模型的改进型Otway-Rees协议分析

Analysis of Amended Otway-Rees Protocol Based on Strand Space Model

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在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.