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]
@inproceedings{ButlerCJS03,
title = {Verifying Confidentiality and Authentication in Kerberos 5},
author = {Frederick Butler and Iliano Cervesato and Aaron D. Jaggard and Andre Scedrov},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3233&spage=1},
researchr = {https://researchr.org/publication/ButlerCJS03},
cites = {0},
citedby = {0},
pages = {1-24},
booktitle = {Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers},
editor = {Kokichi Futatsugi and Fumio Mizoguchi and Naoki Yonezaki},
volume = {3233},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23635-X},
}