Noninterference for Operating System Kernels.

Toby C. Murray Daniel Matichuk Matthew Brassil Peter Gammie Gerwin Klein

Published in: CPP (2012)

Keyphrases

operating system
computer systems
microsoft windows
security policies
distributed systems
virtual machine
memory management
operating environment
multi tasking
windows xp
data processing
virtual memory
address space
interprocess communication
databases
linux kernel
command line
application level
e learning