Michele Bugliesi, Stefano Calzavara, Damiano Macedonio. Secrecy and Authenticity Types for Secure Distributed Messaging. In Alessandro Armando, Gavin Lowe, editors, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Volume 6186 of Lecture Notes in Computer Science, pages 23-40, Springer, 2010.
Abstract is missing.