Pages that link to "Item:Q2842609"
From MaRDI portal
The following pages link to Modal logics for cryptographic processes (Q2842609):
Displaying 8 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- Flow logic for Dolev–Yao secrecy in cryptographic processes (Q4788309) (← links)
- A Logical Characterisation of Static Equivalence (Q5262936) (← links)
- Secrecy Logic: Protoalgebraic S-Secrecy Logics (Q5412170) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)
- (Q5856409) (← links)