Pages that link to "Item:Q391121"
From MaRDI portal
The following pages link to Deciding equivalence-based properties using constraint solving (Q391121):
Displaying 14 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557) (← links)
- POR for security protocol equivalences. Beyond action-determinism (Q2167736) (← links)
- Efficiently deciding equivalence for standard primitives and phases (Q2167745) (← links)
- Deciding equivalence of separated non-nested attribute systems in polynomial time (Q2289099) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Safe Equivalences for Security Properties (Q3163873) (← links)
- On Communication Models When Verifying Equivalence Properties (Q3304813) (← links)
- (Q4411838) (← links)
- (Q4818813) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- A reduced semantics for deciding trace equivalence (Q5270090) (← links)
