From security protocols to pushdown automata

DOI10.1007/978-3-642-39212-2_15MaRDI QIDQ5327429zbMATH OpenOpenAlexFDO

Authors Rémy Chrétien, Véronique Cortier, Stéphanie Delaune

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39212-2_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• From security protocols to pushdown automata
• Deciding equivalence-based properties using constraint solving
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Typing messages for free in security protocols: the case of equivalence properties
• POR for security protocol equivalences. Beyond action-determinism

Cited in

(8)

• A decidable class of security protocols for both reachability and equivalence properties
• Checking trace equivalence: how to get rid of nonces?
• POR for security protocol equivalences. Beyond action-determinism
• Efficiently deciding equivalence for standard primitives and phases
• Typing messages for free in security protocols: the case of equivalence properties
• Deciding equivalence-based properties using constraint solving
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• From security protocols to pushdown automata

Describes a project that uses

Uses Software

• OFMC

This page was built for publication: From security protocols to pushdown automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327429)