Pages that link to "Item:Q1853749"
From MaRDI portal
The following pages link to A new logic for electronic commerce protocols (Q1853749):
Displaying 5 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- A (restricted) quantifier elimination for security protocols (Q860909) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
