Pages that link to "Item:Q5394175"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394175):
Displaying 6 items.
- Generic attack on iterated tweakable FX constructions (Q784991) (← links)
- An attack-finding algorithm for security protocols. (Q1850665) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Cryptographic protocol security analysis based on bounded constructing algorithm (Q2507460) (← links)
- Vulnerabilities of one cryptographic protocol (Q2513052) (← links)
- Synthesising efficient and effective security protocols (Q2848033) (← links)