Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or

DOI10.1007/11787006_12zbMath1133.94315OpenAlexW1544129038MaRDI QIDQ3591419

Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen

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

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (4)

An undecidability result for AGh ⋮ Intruder deduction for the equational theory of abelian groups with distributive encryption ⋮ Symbolic protocol analysis for monoidal equational theories ⋮ A Proof Theoretic Analysis of Intruder Theories

This page was built for publication: Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or