Cryptology ePrint Archive: Report 2006/219
Available versions in chronological order
20060630:124723 (posted 30-Jun-2006 12:47:23 UTC)
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Michael Backes and Iliano Cervesato and Aaron D. Jaggard and Andre Scedrov and Joe-Kai Tsay
20100129:013431 (posted 29-Jan-2010 01:34:31 UTC)
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Michael Backes and Iliano Cervesato and Aaron D. Jaggard and Andre Scedrov and Joe-Kai Tsay
[
Cryptology ePrint archive
]