The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols

Résumé

Privacy-preserving security properties in cryptographic protocols are typically modelled by observational equivalences in process calculi such as the applied pi-calulus. We survey decidability and complexity results for the automated verification of such equivalences, casting existing results in a common framework which allows for a precise comparison. This unified view, beyond providing a clearer insight on the current state of the art, allowed us to identify some variations in the statements of the decision problems-sometimes resulting in different complexity results. Additionally, we prove a couple of novel or strengthened results.
Fichier principal
Vignette du fichier
main.pdf (297.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02961617 , version 1 (08-10-2020)

Licence

Paternité

Identifiants

Citer

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina. The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols. Nigam, V., Ban Kirigin, T., Talcott, C., Guttman, J., Kuznetsov, S., Thau Loo, B., Okada, M. Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS-12300, Springer, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-62077-6_10⟩. ⟨hal-02961617⟩
46 Consultations
187 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More