Pages that link to "Item:Q826053"
From MaRDI portal
The following pages link to Non-interference through determinism (Q826053):
Displaying 19 items.
- `Non-interference' implies equality (Q733776) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Elements of security: Closure, convergence, and protection (Q1607088) (← links)
- Information flow, distributed systems, and refinement, by example (Q1708712) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Creating high confidence in a separation kernel (Q1857290) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Security invariants in discrete transition systems (Q1941889) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- Nondeterministic admissible interference (Q2709234) (← 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)
- On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308397) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709373) (← links)
- Unwinding Possibilistic Security Properties (Q5862302) (← links)
- Foundations of Security Analysis and Design II (Q5901850) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)