Computer-Assisted Verification of a Protocol for Certified Email |
Authors: Abadi, Martín; Blanchet, Bruno |
Place of Publication: Berlin, Germany |
Publisher: Springer |
Date of Publication (YYYY-MM-DD): 2003 |
Title of Proceedings: Static Analysis, 10th International Symposium, SAS'03 |
Start Page: 316 |
End Page: 335 |
Title of Series: Lecture Notes in Computer Science |
Document Type: Conference-Paper |
ID: 520655.0 |