enter search term and/or author name
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Martín Abadi, Bruno Blanchet, Cédric Fournet
Article No.: 1
We study the interaction of the programming construct “new,” which generates statically scoped names, with communication via messages on channels. This interaction is crucial in security protocols, which are the main motivating...