Pages that link to "Item:Q2765456"
From MaRDI portal
The following pages link to Simulation and analysis of cryptographic protocols (Q2765456):
Displaying 8 items.
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis (Q931442) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- A calculus for cryptographic protocols: The spi calculus (Q1283776) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Synthesising efficient and effective security protocols (Q2848033) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Encryption Simulatability Reconsidered (Q3001860) (← links)
- Cryptographic Protocols Analysis in Event B (Q3402286) (← links)