Pages that link to "Item:Q1045939"
From MaRDI portal
The following pages link to Easy intruder deduction problems with homomorphisms (Q1045939):
Displaying 10 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Intruder deduction problem for locally stable theories with normal forms and inverses (Q683746) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- (Q4993330) (← links)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)
