An approach to the formal verification of the two-party cryptographic protocols
Yuqing Zhang, Jihong Li, Guozhen Xiao · ACM SIGOPS Operating Systems Review · 1999
A general method, which can be used to verify the two-party cryptographic protocols, is present in this paper. Our approach makes use of running modes of the two-party cryptographic protocols to analyze the protocols. Based on this method, the verification of the protocols becomes independent of model checking tools. Finally, this approach is illustrated with an example on the Needham-Schroeder public-key protocol.