Sciweavers

ESORICS
2006
Springer

Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos

13 years 7 months ago
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our proofs rely on the Dolev
Michael Backes, Iliano Cervesato, Aaron D. Jaggard
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ESORICS
Authors Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Comments (0)