Pages that link to "Item:Q923889"
From MaRDI portal
The following pages link to The shadow knows: refinement and security in sequential programs (Q923889):
Displayed 12 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Compositional noninterference from first principles (Q432152) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Dynamic intransitive noninterference revisited (Q1688559) (← links)
- Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
- Security invariants in discrete transition systems (Q1941889) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)
- Program Synthesis Using Dual Interpretation (Q3454117) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)
- Algebraic foundations for quantitative information flow (Q5740627) (← links)
- Preface (Q5970649) (← links)