Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos (bibtex)

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}
}