Formal verification: an imperative step in the design of security protocols

DOI10.1016/S1389-1286(03)00292-5MaRDI QIDQ1888495zbMATH OpenOpenAlexWikidataFDO

Authors Tom Coffey, Reiner Dojen, Tomas Flanagan

Publication date 23 November 2004

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1389-1286(03)00292-5

zbMATH Keywords

CryptographyFormal verificationSecurity protocolsBCY protocol attackModal logics

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Operational semantics and verification of security protocols.
• Comparative analysis of formal model checking tools for security protocol verification
• ZB 2005: Formal Specification and Development in Z and B
• Formal Methods for Assuring Security of Protocols
• Models and Proofs of Protocol Security: A Progress Report

Cited in

(4)

• Comparative analysis of formal model checking tools for security protocol verification
• Operational semantics and verification of security protocols.
• Formal Methods for Assuring Security of Protocols
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Formal verification: an imperative step in the design of security protocols

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