by Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay
Reference:
Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos (Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay), In ACM Symposium on Information, Computer and Communications Security (ASIACCS'08), ACM, 2008.
Bibtex Entry:
@InProceedings{BlanchetJaggardScedrovTsayAsiaCCS08,
author = {Bruno Blanchet and Aaron D. Jaggard and Andre Scedrov and Joe-Kai Tsay},
title = {Computationally Sound Mechanized Proofs for Basic and Public-key {K}erberos},
booktitle = {ACM Symposium on Information, Computer and Communications Security (ASIACCS'08)},
pages = {87--99},
year = 2008,
address = {Tokyo, Japan},
month = mar,
publisher = {ACM},
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJaggardScedrovTsayAsiaCCS08.pdf},
PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJaggardScedrovTsayAsiaCCS08.pdf}
}