Title :
A new method for analyzing the security of cryptographic protocols
Author_Institution :
Liege Univ., Belgium
fDate :
6/1/1993 12:00:00 AM
Abstract :
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
Keywords :
cryptography; formal verification; protocols; Kerberos authentication protocol; X.509 standard; cryptographic protocols; formal method; formal verification; probabilistic properties; Authentication; Computer security; Cryptographic protocols; Cryptography; Formal verification; Image analysis; Information analysis; Information security; Probabilistic logic; System testing;
Journal_Title :
Selected Areas in Communications, IEEE Journal on
