Noninterference for Operating System Kernels
From MaRDI portal
Publication:4916056
DOI10.1007/978-3-642-35308-6_12zbMath1383.68021OpenAlexW140235344MaRDI QIDQ4916056
Daniel Matichuk, Gerwin Klein, Matthew Brassil, Peter Gammie, Toby Murray
Publication date: 19 April 2013
Published in: Certified Programs and Proofs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_12
Related Items (4)
Eisbach: a proof method language for Isabelle ⋮ Dynamic intransitive noninterference revisited ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ Concerned with the unprivileged: user programs in kernel refinement
Uses Software
This page was built for publication: Noninterference for Operating System Kernels
