The following pages link to (Q2752046):
Displaying 8 items.
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Pattern-matching spi-calculus (Q2500522) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
