Pages that link to "Item:Q3163873"
From MaRDI portal
The following pages link to Safe Equivalences for Security Properties (Q3163873):
Displaying 7 items.
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Safety property-driven stubborn sets (Q1708658) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Robust and secure implementation: equivalence theorems (Q2016223) (← links)
- (Q4493894) (← links)
- (Q4994887) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)