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

Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
January 2012
PDF Cite DOI
Type
Conference paper
Publication
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings