A Directed Graph-Based Authentication Protocol Model and Its Security Analysis

The formal description of authentication protocol and its security analysis is one of the important issues in the protocol analysis. In order to solve the problem 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. When this method is used to analyze WOO-LAM authentication, a new flow and its attacking trace have been founded