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]
@inproceedings{BugliesiCCFS02,
title = {A Survey of Name-Passing Calculi and Crypto-Primitives},
author = {Michele Bugliesi and Giuseppe Castagna and Silvia Crafa and Riccardo Focardi and Vladimiro Sassone},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2946&spage=91},
tags = {survey},
researchr = {https://researchr.org/publication/BugliesiCCFS02},
cites = {0},
citedby = {0},
pages = {91-138},
booktitle = {Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures},
editor = {Riccardo Focardi and Roberto Gorrieri},
volume = {2946},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20955-7},
}