An Improvement Key Distribution Protocol and Its BAN Analysis

This paper mainly discusses the role of formal analysis in the design of the authentication protocols function; in allusion to Needham-Schroeder Protocol with shared key and Otway-Rees Protocol , this paper propose a new authentication protocol and then analyze it using BAN logic, according to the result of formal analysis, paper show an attack mode to the protocol and point out that formal analysis is helpful for the design of protocol ; Article final discussion this kind of analysis function, limitation as well as improvement direction.