The Strand Space Model of an Authentication Protocol and Its Analysis
GU Wei-na · 2010
For the authentication and secrecy are two critical targets to the de sign of an authentication protocol,formal analysis was carried on for the first time by using the strand space model to a new authentication protocol which was proposed based on the Needham-Schroeder Protocol and Otway-Rees Protocol,and t he result of analysis indicated that this protocol satisfies the authentication and secret goals which the design requests.