Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos (bibtex)
by Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Reference:
Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos (Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay), In Dagstuhl seminar "Formal Protocol Verification Applied", 2007.
Bibtex Entry:
@InProceedings{BlanchetJaggardScedrovTsayDagstuhl07,
  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 = 	 {Dagstuhl seminar "Formal Protocol Verification Applied"},
  year =	 2007,
  month =	 oct,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJaggardScedrovTsayDagstuhl07.html}
}
Powered by bibtexbrowser