Automatic Proof of Strong Secrecy for Security Protocols (bibtex)

by Bruno Blanchet

Reference:

Automatic Proof of Strong Secrecy for Security Protocols (Bruno Blanchet), In IEEE Symposium on Security and Privacy, 2004.

Bibtex Entry:

@InProceedings{BlanchetOakland04,
  author = 	 {Bruno Blanchet},
  title = 	 {Automatic Proof of Strong Secrecy for Security Protocols},
  booktitle = 	 {IEEE Symposium on Security and Privacy},
  pages = 	 {86--100},
  year = 	 {2004},
  address = 	 {Oakland, California},
  month = 	 may,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetOakland04.html}
}