文献类型：会议论文

英文题名：Improved Otway Rees Protocol and Its Formal Verification

作者：Chen, Li[1]

第一作者：陈莉

通讯作者：Chen, L[1]

机构：[1]Henan Univ Finance & Econ, Ctr Comp, Zhengzhou 450002, Henan, Peoples R China

第一机构：河南财经政法大学

通讯机构：[1]corresponding author), Henan Univ Finance & Econ, Ctr Comp, Zhengzhou 450002, Henan, Peoples R China.|[10484]河南财经政法大学;

会议论文集：International Conference on Communications, Circuits and Systems

会议日期：MAY 25-27, 2008

会议地点：Xiamen Univ, Xiamen, PEOPLES R CHINA

主办单位：Xiamen Univ

语种：英文

外文关键词：Authentication

摘要：Authentication protocol is applied to implement the identity authentication of two communicating entities and build secure communication tunnel through exchanging keys. The paper analyzes the security properties of the original Otway Rees protocol and its existing improved version, it rinds that the protocol cannot meet the authentication goals. The paper proposes a novel improved protocol, which eliminates redundancy in the Otway Rees protocol messages and removes the limitations that the Otway Rees protocol cannot resist impersonation attack by modifying message format and adding handshake message. The paper also verifies the security of the improved Otway Rees protocol by utilizing formal method. The analysis results show that the protocol satisfies the strong goals of identity authentication and key distribution.