Pages that link to "Item:Q2852062"
From MaRDI portal
The following pages link to Static equivalence \textit{is} harder than knowledge (Q2852062):
Displaying 5 items.
- Reducing equational theories for the decision of static equivalence (Q437026) (← links)
- Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949) (← links)
- Satisfiability of Dolev-Yao constraints (Q2848039) (← links)
- Relating two standard notions of secrecy (Q2917407) (← links)
- A Logical Characterisation of Static Equivalence (Q5262936) (← links)