Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov. Verifying Confidentiality and Authentication in Kerberos 5. In Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki, editors, Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers. Volume 3233 of Lecture Notes in Computer Science, pages 1-24, Springer, 2003. [doi]
Abstract is missing.