Noninterference for a Practical DIFC-Based Operating System.

Maxwell N. Krohn Eran Tromer

Published in: IEEE Symposium on Security and Privacy (2009)

Keyphrases

operating system
computer systems
virtual machine
memory management
microsoft windows
operating environment
information flow control
virtual memory
red hat
distributed systems
application level
multi tasking
command line
multi threaded
windows xp
address space
information systems
application programs
data analysis