Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. Computationally sound mechanized proofs for basic and public-key Kerberos. In Masayuki Abe, Virgil D. Gligor, editors, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. pages 87-99, ACM, 2008. [doi]
Abstract is missing.