Improved Woo-Lam model for cryptographic protocols
Han Ji-hong · Journal of Computer Applications · 2006
An improved Woo-Lam Model for cryptographic protocols,namely eWoo-Lam Model was introduced.Compared with Woo-Lam Model,the new model has such advanced properties as follows: to enhance the syntax of the model for cryptographic primitives,which enables the model to specify the principal actions more precisely and detect the attacks on the protocol more efficiently;to bring in match mechanism,which guarantees the effectiveness for the security analysis of the model;to propose seven formalization principles to normalize the procedure for model abstraction;to extend the state-transition based semantics to make it more rational;to redefine the security properties of the model to make them more generic.