Improvement and Security Analysis of the Otway-Rees Protocol
Wang Ju · Journal of Information Engineering University · 2014
This paper presents a security protocol analysis by choosing the Otway-Rees protocol as the research object and using the improved BAN-like logic( security protocol analysis latent logic,abbreviated to SPALL) as protocol analysis tool. It also extends SPALL,indicates the defects of the Otway-Rees protocol,and presents the amended protocol. Additionally SPALL is used to describe and analyze the safety of the protocol attribute formally. Finally,the conclusion is given that the amended protocol can ensure the correctness of key distribution,key confidentiality and strong authentication,and can satisfy the users by verifying the consistency of the session key.