Article Dans Une Revue
Journal of Logical and Algebraic Methods in Programming
Année : 2017
Stéphanie Delaune : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01906634
Soumis le : samedi 27 octobre 2018-10:59:52
Dernière modification le : vendredi 24 mars 2023-14:53:08
Dates et versions
Identifiants
- HAL Id : hal-01906634 , version 1
- ARXIV : 1610.08279
- DOI : 10.1016/j.jlamp.2016.10.005
Citer
Stéphanie Delaune, Lucca Hirschi. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Journal of Logical and Algebraic Methods in Programming, 2017, 87, pp.127 - 144. ⟨10.1016/j.jlamp.2016.10.005⟩. ⟨hal-01906634⟩
Collections
31
Consultations
0
Téléchargements