A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols - Archive ouverte HAL
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

Domaines

Informatique [cs]
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

Lucca Hirschi  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01906634

Soumis le : lundi 9 septembre 2024-09:45:43

Dernière modification le : jeudi 17 octobre 2024-08:54:16

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA CENTRALESUPELEC IRISA-D1 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE ANR UR1-MATH-NUM ENS-PARIS-SACLAY
74 Consultations
5 Téléchargements

Altmetric

Partager

More