Computer-assisted verification of a protocol for certified email

DOI10.1016/J.SCICO.2005.02.002zbMath1076.68532OpenAlexW4298899321WikidataQ60530253 ScholiaQ60530253MaRDI QIDQ2568441

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

security protocolsprotocol formal analysis

Mathematics Subject Classification ID

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

Related Items (1)

Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif

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