Safe Abstractions of Data Encodings in Formal Security Protocol Models

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

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

Identifiants

  • HAL Id : hal-00863393, version 1

Collections

Citation

Alfredo Pironti, Riccardo Sisto. Safe Abstractions of Data Encodings in Formal Security Protocol Models. Formal Aspects of Computing, Springer Verlag, 2012, pp.1-43. 〈hal-00863393〉

Partager

Métriques

Consultations de la notice

73