Formal verification of security protocol implementations: a survey

Résumé : no abstract
Type de document :
Article dans une revue
Formal Aspects of Computing, Springer Verlag, 2012, pp.1-25
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-00863392, version 1

Collections

Citation

Matteo Avalle, Alfredo Pironti, Riccardo Sisto. Formal verification of security protocol implementations: a survey. Formal Aspects of Computing, Springer Verlag, 2012, pp.1-25. 〈hal-00863392〉

Partager

Métriques

Consultations de la notice

98