Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli. Visual Model-Driven Design, Verification and Implementation of Security Protocols. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 62-65, IEEE Computer Society, 2012. [doi]
Abstract is missing.