Pages that link to "Item:Q3591419"
From MaRDI portal
The following pages link to Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (Q3591419):
Displaying 5 items.
- An undecidability result for AGh (Q859845) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)