A Computationally Sound Mechanized Prover for Security Protocols

Blanchet, Bruno

by Bruno Blanchet

Reference:

A Computationally Sound Mechanized Prover for Security Protocols (Bruno Blanchet), In IEEE Symposium on Security and Privacy, 2006.

Bibtex Entry:

@InProceedings{BlanchetOakland06,
  author = 	 {Bruno Blanchet},
  title = 	 {A Computationally Sound Mechanized Prover for Security Protocols},
  booktitle = 	 {IEEE Symposium on Security and Privacy},
  pages =	 {140-154},
  year = 	 2006,
  address = 	 {Oakland, California},
  month = 	 may,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetOakland06.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetOakland06.pdf}
}