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

DOI10.1016/S1389-1286(03)00292-5zbMath1078.68551OpenAlexW2136262554WikidataQ115013028 ScholiaQ115013028MaRDI QIDQ1888495

Tom Coffey, Tomas Flanagan, Reiner Dojen

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)

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