Refining Computationally Sound Mechanized Proofs for Kerberos (bibtex)
by Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, Joe-Kai Tsay
Reference:
Refining Computationally Sound Mechanized Proofs for Kerberos (Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, Joe-Kai Tsay), In Workshop on Formal and Computational Cryptography (FCC 2009), 2009.
Bibtex Entry:
@InProceedings{BlanchetJaggardRaoScedrovTsayFCC09,
  author = 	 {Bruno Blanchet and Aaron D. Jaggard and Jesse Rao and Andre Scedrov and Joe-Kai Tsay},
  title = 	 {Refining Computationally Sound Mechanized Proofs for {K}erberos},
  booktitle = {Workshop on Formal and Computational Cryptography
(FCC 2009)},
  year = 	 2009,
  address = 	 {Port Jefferson, NY},
  month = 	 jul,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJaggardRaoScedrovTsayFCC09.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJaggardRaoScedrovTsayFCC09.pdf}
}
Powered by bibtexbrowser