Pages that link to "Item:Q5178896"
From MaRDI portal
The following pages link to Analyzing security protocols with secrecy types and logic programs (Q5178896):
Displayed 7 items.
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Pattern-matching spi-calculus (Q2500522) (← links)
- Constraint Abstraction in Verification of Security Protocols (Q3507341) (← links)
- Modeling and Verifying Time Sensitive Security Protocols with Constraints (Q5415612) (← links)