Pages that link to "Item:Q5178896"
From MaRDI portal
The following pages link to Analyzing security protocols with secrecy types and logic programs (Q5178896):
Displaying 15 items.
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Security protocols: from linear to classical logic by abstract interpretation (Q1041815) (← links)
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- Analysis of security protocols based on challenge-response (Q2372525) (← 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)
- Synthesising efficient and effective security protocols (Q2848033) (← links)
- (Q3431408) (← links)
- Constraint Abstraction in Verification of Security Protocols (Q3507341) (← links)
- (Q4790411) (← links)
- Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
- Secrecy Logic: Protoalgebraic S-Secrecy Logics (Q5412170) (← links)
- Modeling and Verifying Time Sensitive Security Protocols with Constraints (Q5415612) (← links)