Pages that link to "Item:Q2842609"
From MaRDI portal
The following pages link to Modal Logics for Cryptographic Processes (Q2842609):
Displaying 6 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- A Logical Characterisation of Static Equivalence (Q5262936) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)
- (Q5856409) (← links)
