Formally-Based Semi-Automatic Implementation of an Open Security Protocol

Résumé : no abstract
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2012, 85, pp.835\textendash849
Liste complète des métadonnées

https://hal.inria.fr/hal-00863391
Contributeur : Ben Smyth <>
Soumis le : mercredi 18 septembre 2013 - 17:37:55
Dernière modification le : mercredi 29 novembre 2017 - 15:08:31

Identifiants

  • HAL Id : hal-00863391, version 1

Collections

Citation

Alfredo Pironti, Davide Pozza, Riccardo Sisto. Formally-Based Semi-Automatic Implementation of an Open Security Protocol. Journal of Systems and Software, Elsevier, 2012, 85, pp.835\textendash849. 〈hal-00863391〉

Partager

Métriques

Consultations de la notice

87