Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone. A Survey of Name-Passing Calculi and Crypto-Primitives. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Volume 2946 of Lecture Notes in Computer Science, pages 91-138, Springer, 2002. [doi]
Abstract is missing.