From model-checking to automated testing of security protocols: bridging the gap

DOI10.1007/978-3-642-30473-6_3MaRDI QIDQ2900177zbMATH OpenOpenAlexFDO

Authors Alessandro Armando, Giancarlo Q. Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti

Publication date 20 July 2012

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30473-6_3

Mathematics Subject Classification ID

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

Recommendations

• Model Checking Security Protocols
• scientific article; zbMATH DE number 1903362
• Models and Proofs of Protocol Security: A Progress Report
• scientific article; zbMATH DE number 6300104
• Security protocol verification: symbolic and computational models

Cited in

(3)

• On the Automated Correction of Protocols with Improper Message Encoding
• Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking
• Challenges in the Automated Verification of Security Protocols

This page was built for publication: From model-checking to automated testing of security protocols: bridging the gap

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