A Directed Graph Model of the Authentication Protocols and its Security Analysis
The formal description of authentication protocol and its security analysis are one of the most important issues in the protocol analysis.In order to solve the problems in the formal description of cryptographic protocol,a method based on directed graph is presented to formally depict the authentication protocol specification.Meanwhile,a converse-searching algorithm based on directed graph is also presented to construct the protocol messages.Woo-Lam Authenticate protocol is analyzed with this method,and a new flow and its attacking trace are founded.