The following pages link to (Q4417886):
Displayed 6 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (Q3636822) (← links)
- A Symbolic Framework to Analyse Physical Proximity in Security Protocols (Q5090968) (← links)
- One vote is enough for analysing privacy (Q6173285) (← links)