Static vs Dynamic Typing for Access Control in Pi-Calculus

Michele Bugliesi, Damiano Macedonio, Sabina Rossi. Static vs Dynamic Typing for Access Control in Pi-Calculus. In Iliano Cervesato, editor, Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Volume 4846 of Lecture Notes in Computer Science, pages 282-296, Springer, 2007. [doi]