Pages that link to "Item:Q826053"
From MaRDI portal
The following pages link to Non-interference through determinism (Q826053):
Displaying 8 items.
- The security pi-calculus and non-interference (Q1772311) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- Scheduler-Independent Declassification (Q2908558) (← links)
- May Testing, Non-interference, and Compositionality (Q4923384) (← links)
- Threat scenarios as a means to formally develop secure systems (Q5096418) (← links)
- Unwinding Possibilistic Security Properties (Q5862302) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
