Safe Abstractions of Data Encodings in Formal Security Protocol Models
Résumé
no abstract
Article Dans Une Revue
Formal Aspects of Computing
Année : 2012
Ben Smyth : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00863393
Soumis le : mercredi 18 septembre 2013-17:37:57
Dernière modification le : vendredi 21 janvier 2022-03:19:30
Dates et versions
Identifiants
- HAL Id : hal-00863393 , version 1
Citer
Alfredo Pironti, Riccardo Sisto. Safe Abstractions of Data Encodings in Formal Security Protocol Models. Formal Aspects of Computing, 2012, pp.1-43. ⟨hal-00863393⟩
32
Consultations
0
Téléchargements