Pages that link to "Item:Q2841218"
From MaRDI portal
The following pages link to Models for an adversary-centric protocol logic (Q2841218):
Displaying 4 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Finite reasons for safety (Q2351397) (← links)
- Modeling adversaries in a logic for security protocol analysis (Q2881088) (← links)