From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

DOI10.1007/978-3-642-30473-6_3zbMath1354.68164OpenAlexW1538882499MaRDI QIDQ2900177

Giancarlo Queiroz Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti, Alessandro Armando

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

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

This page was built for publication: From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap