by Martín Abadi, Bruno Blanchet and Cédric Fournet
Reference:
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication (Martín Abadi, Bruno Blanchet and Cédric Fournet), In Journal of the ACM, volume 65, 2017.
Bibtex Entry:
@Article{AbadiBlanchetFournetJACM17,
author = {Mart{\'\i}n Abadi and Bruno Blanchet and C{\'e}dric Fournet},
title = {The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication},
journal = {Journal of the ACM},
year = {2017},
volume = {65},
number = {1},
month = oct,
pages = {1:1--1:41},
articleno = {1},
numpages = {41},
url = {http://prosecco.inria.fr/personal/bblanche/publications/AbadiBlanchetFournetJACM17.html}
}