Specifying Kerberos 5 cross-realm authentication. - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (WITS, 2005)

Breaking and Fixing Public-Key Kerberos. - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (IACR Cryptol. ePrint Arch., 2006)

Formal analysis of Kerberos 5. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (Theor. Comput. Sci., 2006)