From Security Protocols to Pushdown Automata

Rémy Chrétien (1, 2) , Véronique Cortier (2) , Stéphanie Delaune (1)

1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 CASSIS - Combination of approaches to the security of infinite states systems

Domaines: Cryptographie et sécurité [cs.CR]

Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. From Security Protocols to Pushdown Automata. ACM Transactions on Computational Logic, 2015, 17 (1), ⟨10.1145/2811262⟩. ⟨hal-01238159⟩