The Security Analysis on Otway-Rees Protocol Based on BAN Logic

This paper analyzes the Otway-Rees protocol based on BAN logic after has introducing the BAN logic. It has verified that the BAN logic can be used formally and prove the correctness and security of the protocols, which indicates that BAN logic is an important tool for analyzing cryptographic protocols. The paper has established the ideal protocol model to Otway-Rees protocol based on the BAN logic, which uses the initial assumption of the protocol and the publicly known assumption of the BAN logic to analyze the security of Otway-Rees protocol.