@inproceedings{backes06cryptographically,
  author       = {Backes, Michael and Cervesato, Iliano and Jaggard, Aaron D.  and Scedrov, Andre and Tsay, Joe-Kai},
  title        = {Cryptographically Sound Security Proofs for Basic and Public-key Kerberos},
  booktitle    = {Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4189},
  month        = {September},
  year         = {2006},
  publisher    = {Springer},
  pages        = {362-383},
  note         = {Preprint on IACR ePrint 2006/219}
}