A Survey of Name-Passing Calculi and Crypto-Primitives - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michele Bugliesi' in GoogleThis author has not been identified. Look up 'Giuseppe Castagna' in GoogleThis author has not been identified. Look up 'Silvia Crafa' in GoogleThis author has not been identified. Look up 'Riccardo Focardi' in GoogleIdentified as Vladimiro Sassone

runs on WebDSL