Computer-assisted verification of a protocol for certified email

DOI10.1016/J.SCICO.2005.02.002MaRDI QIDQ2568441zbMATH OpenOpenAlexWikidataFDO

Authors Martín Abadi, Bruno Blanchet

Publication date 10 October 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.02.002

zbMATH Keywords

protocol formal analysissecurity protocols

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 2090853
• Models and Proofs of Protocol Security: A Progress Report
• scientific article; zbMATH DE number 1962854
• scientific article; zbMATH DE number 1024091
• Security protocol verification: symbolic and computational models

Cited in

(10)

• An automatically verified prototype of the Tokeneer ID station specification
• Using automated theorem provers in verification of protocols
• A coordination-based methodology for security protocol verification
• scientific article; zbMATH DE number 1113950 (Why is no real title available?)
• scientific article; zbMATH DE number 1962750 (Why is no real title available?)
• scientific article; zbMATH DE number 1962854 (Why is no real title available?)
• scientific article; zbMATH DE number 1487485 (Why is no real title available?)
• scientific article; zbMATH DE number 2090853 (Why is no real title available?)
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• Cryptology and Network Security

This page was built for publication: Computer-assisted verification of a protocol for certified email

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2568441)