@InProceedings{Backes06esorics,
  title        = "{Cryptographically Sound Security Proofs for Basic and 
                  Public-Key Kerberos}",
  author       = "Michael Backes and Iliano Cervesato and Aaron D. Jaggard 
                  and Andre Scedrov and Joe-Kai Tsay",
  booktitle    = "11<SUP>th</SUP> European Symposium On Research In Computer 
                  Security --- ESORICS'06",
  pages        = "362--383",
  editor       = "D. Gollmann and A. Sabelfeld",
  address      = "Hamburg, Germany",
  publisher    = "IEEE Computer Society Press",
  year         = "2006",
  month        = "18--20 September"
}