The following pages link to (Q4411969):
Displaying 9 items.
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures (Q2268100) (← links)
- Hierarchical combination of intruder theories (Q2482450) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)
- Comparing State Spaces in Automatic Security Protocol Analysis (Q3631370) (← links)
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (Q5325767) (← links)
- Logic Programming (Q5475810) (← links)
