A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols - SYSTÈMES LARGE ÉCHELLE
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2017

A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

Fichier principal
Vignette du fichier
1610.08279v1.pdf (356.16 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01906634 , version 1 (09-09-2024)

Identifiants

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⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

More