The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

Abadi, Martín; Blanchet, Bruno; Fournet, Cédric

by Martín Abadi, Bruno Blanchet, Cédric Fournet

Reference:

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication (Martín Abadi, Bruno Blanchet, 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}
 }