Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or
From MaRDI portal
Publication:3591419
DOI10.1007/11787006_12zbMath1133.94315MaRDI QIDQ3591419
Pascal Lafourcade, Stéphanie Delaune, Ralf Treinen, Denis Lugiez
Publication date: 11 September 2007
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.8668
94A60: Cryptography
Related Items
A Proof Theoretic Analysis of Intruder Theories, An undecidability result for AGh, Intruder deduction for the equational theory of abelian groups with distributive encryption, Symbolic protocol analysis for monoidal equational theories