Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos

@article{Boldyreva2007ExtendedAP,
  title={Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos},
  author={Alexandra Boldyreva and Virendra Kumar},
  journal={2007 IEEE Symposium on Security and Privacy (SP '07)},
  year={2007},
  pages={92-100}
}
Kerberos is a widely-deployed network authentication protocol that is being considered for standardization. Many works have analyzed its security, identifying flaws and often suggesting fixes, thus helping the protocol's evolution. Several recent results present successful formal-methods-based verification of a significant portion of the current version 5, and some even imply security in the computational setting. For these results to hold, encryption in Kerberos should satisfy strong… CONTINUE READING