BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL
Deng Yong-jiang · 2006
The Otway-Rees protocol main function was completes the the bidirectional authentication,this article discusses the formalized analysis in the design secret cipher authentication protocol;Based on the Otway-Rees protocol,carries on the form analysis with the BAN logic to it,points out form analysis may assist discovers protocol design flaw.