Visual Model-Driven Design, Verification and Implementation of Security Protocols

Abstract : A novel visual model-driven approach to security protocol design, verification, and implementation is presented in this paper. User-friendly graphical models are combined with rigorous formal methods to enable protocol verification and sound automatic code generation. Domain-specific abstractions keep the graphical models simple, yet powerful enough to represent complex, realistic protocols such as SSH. The main contribution is to bring together aspects that were only partially available or not available at all in previous proposals.
Type de document :
Communication dans un congrès
HASE 2012 - IEEE 14th International Symposium on High Assurance Systems Engineering, Oct 2012, Omaha, United States. IEEE Computer Security, High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, pp.62-65, 2012, 〈10.1109/HASE.2012.23〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00863390
Contributeur : Ben Smyth <>
Soumis le : mercredi 18 septembre 2013 - 17:37:54
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Lien texte intégral

Identifiants

Collections

Citation

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli. Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE 2012 - IEEE 14th International Symposium on High Assurance Systems Engineering, Oct 2012, Omaha, United States. IEEE Computer Security, High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, pp.62-65, 2012, 〈10.1109/HASE.2012.23〉. 〈hal-00863390〉

Partager

Métriques

Consultations de la notice

65