Pages that link to "Item:Q2752046"
From MaRDI portal
The following pages link to Security protocols and their properties (Q2752046):
Displaying 15 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)
- A brief history of security protocols (Q1708719) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- On the secure implementation of security protocols (Q1887732) (← 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)
- Security Protocols: Principles and Calculi (Q3184790) (← links)
- (Q4502739) (← links)
- (Q4938882) (← links)
- (Q4994887) (← links)
- Foundations of Security Analysis and Design II (Q5901853) (← links)