Computationally sound mechanized proofs for basic and public-key kerberos. (2008)

by B Blanchet, A D Jaggard, A Scedrov, J-K Tsay
Venue:In Proceedings of the 2008 ACM symposium on Information, computer and communications security, ASIACCS ’08,