External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Secrecy and Authenticity Types for Secure Distributed Messaging

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. [doi]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Stefano Calzavara

This author has not been identified. Look up 'Stefano Calzavara' in Google

Damiano Macedonio

This author has not been identified. Look up 'Damiano Macedonio' in Google
runs on