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 6 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Compositional noninterference from first principles (Q432152) (← 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)
- Preface (Q5970649) (← links)