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 Access content directly
Book Sections Year : 2020

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
188 Download

Altmetric

Share

Gmail Facebook X LinkedIn More