Pages that link to "Item:Q2892723"
From MaRDI portal
The following pages link to Automated Verification of Equivalence Properties of Cryptographic Protocols (Q2892723):
Displayed 13 items.
- Akiss (Q32423) (← links)
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557) (← links)
- A decidable class of security protocols for both reachability and equivalence properties (Q2031426) (← links)
- POR for security protocol equivalences. Beyond action-determinism (Q2167736) (← links)
- Efficiently deciding equivalence for standard primitives and phases (Q2167745) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- SPEC: An Equivalence Checker for Security Protocols (Q3179281) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q4993330) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)