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

• Type: Conference
• Year: 2006
• Where: ESORICS
• Authors: Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
• Keywords: Dolev­ Yao Model, ESORICS 2006, Key Secrecy Properties, Public-key Extension Pkinit, Security Privacy