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