Pages that link to "Item:Q3527287"
From MaRDI portal
The following pages link to Hierarchical Combination of Intruder Theories (Q3527287):
Displayed 4 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823) (← links)