Pages that link to "Item:Q1887730"
From MaRDI portal
The following pages link to Security properties: two agents are sufficient (Q1887730):
Displayed 8 items.
- Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach (Q540685) (← links)
- Rigid tree automata and applications (Q553317) (← links)
- Safely composing security protocols (Q1028731) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)
- Comparing State Spaces in Automatic Security Protocol Analysis (Q3631370) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)
- Safely Composing Security Protocols (Q5458848) (← links)