Noninterference for Operating System Kernels
No abstract available.
DOI 10.1007/978-3-642-35308-6_12
Related papers
- Existential Types for Relaxed Noninterference APLAS 2019
- An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+ ECOOP 1988
- A Sound Type System for Secure Currency Flow TOPLAS 2026
- Downgrading policies and relaxed noninterference POPL 2005
- A Sound Type System for Secure Currency Flow ECOOP 2024
- Decidability and proof systems for language-based noninterference relations POPL 2006
- Noninterference for free ICFP 2015
- Code Compaction of an Operating System Kernel CGO 2007