Pages that link to "Item:Q876047"
From MaRDI portal
The following pages link to Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047):
Displayed 7 items.
- Computing knowledge in security protocols under convergent equational theories (Q437033) (← links)
- Unification modulo homomorphic encryption (Q437037) (← links)
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Easy intruder deduction problems with homomorphisms (Q1045939) (← links)
- Unification Modulo Homomorphic Encryption (Q3655194) (← links)
- Computing Knowledge in Security Protocols under Convergent Equational Theories (Q5191113) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)