Cryptographically sound security proofs for basic and public-key Kerberos

Michael Backes , Iliano Cervesato, Aaron D Jaggard, Andre Scedrov, Joe-Kai Tsay

International Journal of Information Security, 10 (2), pp. 107–134, 2011.

( BibTeX )