Partial Order Reduction for Security Protocols

DOI10.4230/LIPICS.CONCUR.2015.497zbMath1374.68318arXiv1504.04768OpenAlexW2963407533MaRDI QIDQ5357726

David Baelde, Stéphanie Delaune, Lucca Hirschi

Publication date: 12 September 2017

Full work available at URL: https://arxiv.org/abs/1504.04768

zbMATH Keywords

verificationprocess algebracryptographic protocolstrace equivalence

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

POR for security protocol equivalences. Beyond action-determinism ⋮ Unnamed Item ⋮ A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

This page was built for publication: Partial Order Reduction for Security Protocols