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

Résumé : no abstract
Type de document :
Communication dans un congrès
IEEE International Symposium on High Assurance Systems Engineering (HASE 12), 2012, Unknown, IEEE Computer Security, 2012
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 : mercredi 29 novembre 2017 - 15:08:36

Identifiants

  • HAL Id : hal-00863390, version 1

Collections

Citation

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli. Visual Model-Driven Design, Verification and Implementation of Security Protocols. IEEE International Symposium on High Assurance Systems Engineering (HASE 12), 2012, Unknown, IEEE Computer Security, 2012. 〈hal-00863390〉

Partager

Métriques

Consultations de la notice

53