The following pages link to (Q5447364):
Displaying 7 items.
- Formally sound implementations of security protocols with JavaSPI (Q1707348) (← links)
- On the secure implementation of security protocols (Q1887732) (← links)
- Safe abstractions of data encodings in formal security protocol models (Q2018750) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)