From model-checking to automated testing of security protocols: Bridging the gap (2012)

by A Armando, G Pellegrino, R Carbone, A Merlo, D Balzarotti
Venue:in TAP