Pages that link to "Item:Q2018754"
From MaRDI portal
The following pages link to Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754):
Displaying 6 items.
- Compositional noninterference from first principles (Q432152) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Security invariants in discrete transition systems (Q1941889) (← links)
- Virtual Grey-Boxes Beyond Obfuscation: A Statistical Security Notion for Cryptographic Agents (Q3181030) (← links)
- Abstract non-interference (Q3452260) (← links)
- Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)