A new method for analyzing the security of cryptographic protocols
Marie-Jeanne Toussaint · IEEE Journal on Selected Areas in Communications · 1993
A formal method for analyzing the security of cryptographic protocols is presented. This method is based on an original representation of the participants' knowledge. The author proves the probabilistic properties of the cryptographic protocols and models the possible attacks on these protocols. This method is applied to well-known protocols like the Kerberos authentication protocol and the X.509 standard.>