by Martín Abadi and Bruno Blanchet
Reference:
Analyzing Security Protocols with Secrecy Types and Logic Programs (Martín Abadi and Bruno Blanchet), In Journal of the ACM, volume 52, 2005.
Bibtex Entry:
@Article{AbadiBlanchetJACM7037,
author = {Mart{\'\i}n Abadi and Bruno Blanchet},
title = {Analyzing Security Protocols with Secrecy Types and Logic Programs},
journal = {Journal of the ACM},
year = 2005,
volume = 52,
number = 1,
pages = {102--146},
month = jan,
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetJACM7037.pdf},
PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetJACM7037.pdf}
}