DMCA

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

by Ro Arm , Giancarlo Pellegrino , Roberto Carbone , Alessio Merlo , Davide Balzarotti
Citations:1 - 1 self