Noninterference for a practical DIFC-based operating system

Noninterference for a practical DIFC-based operating system

The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical extension to the Linux operating system, allowing real Web applications to achieve useful security guarantees. However, t...

Full description

Bibliographic Details
Main Authors: Krohn, Maxwell, Tromer, Eran
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Institute of Electrical and Electronics Engineers 2010
Subjects:
noninterference
covert channels
Information flow control
Communicating Sequential Processes
Online Access:http://hdl.handle.net/1721.1/58828

Internet

http://hdl.handle.net/1721.1/58828

Similar Items