Secrecy and Authenticity Types for Secure Distributed Messaging

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_3 ◽

2010 ◽

pp. 23-40

Author(s):

Michele Bugliesi ◽

Stefano Calzavara ◽

Damiano Macedonio

Download Full-text