Computer-assisted verification of a protocol for certified email

DOI10.1007/3-540-44898-5_17MaRDI QIDQ4813405zbMATH OpenFDO

Authors Martín Abadi, Bruno Blanchet

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940316.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Computer-assisted verification of a protocol for certified email
• Cryptographically sound and machine-assisted verification of security protocols
• Models and Proofs of Protocol Security: A Progress Report
• Formal verification of cryptographic protocols: A survey
• Design and formal analysis of certified E-mail protocol

Cited in

(7)

• Computer-assisted verification of a protocol for certified email
• Using automated theorem provers in verification of protocols
• scientific article; zbMATH DE number 1113950 (Why is no real title available?)
• Formalization and verification of a mail server in Coq
• Cryptographically sound and machine-assisted verification of security protocols
• Formal analysis of a secure communication channel: Secure core-email protocol
• 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 Q4813405)