From Security Protocols to Pushdown Automata

DOI10.1007/978-3-642-39212-2_15zbMath1335.94040OpenAlexW1966049700MaRDI QIDQ5327429

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

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)

Related Items (2)

A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ A decidable class of security protocols for both reachability and equivalence properties

Uses Software

• OFMC

This page was built for publication: From Security Protocols to Pushdown Automata