Cryptographically sound security proofs for basic and public-key Kerberos (2006)

by M Backes, I Cervesato, A D Jaggard, A Scedrov, J-K Tsay
Venue:In Proc. 11th ESORICS