Pages that link to "Item:Q3631368"
From MaRDI portal
The following pages link to Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368):
Displaying 5 items.
- Rigid tree automata and applications (Q553317) (← links)
- A (restricted) quantifier elimination for security protocols (Q860909) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)