Visual Model-Driven Design, Verification and Implementation of Security Protocols. - Piergiuseppe Bettassa Copet; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto; Pietro Vivoli (HASE, 2012)