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

DOI10.1007/978-3-030-62077-6_10OpenAlexW3096621201MaRDI QIDQ2037996

Vincent Cheval, Itsaka Rakotonirina, Steve Kremer

Publication date: 8 July 2021

Full work available at URL: https://hal.inria.fr/hal-02961617/file/main.pdf

zbMATH Keywords

complexityformal verificationcryptographic protocols

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

POR for security protocol equivalences. Beyond action-determinism ⋮ Unnamed Item

This page was built for publication: The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols