Making information flow explicit in HiStar
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify precise data security policies without unduly limiting the structure of applications. HiStar's security features make it...
Main Authors: | Zeldovich, Nickolai, Boyd-Wickizer, Silas, Kohler, Eddie, Mazieres, David |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery (ACM)
2012
|
Online Access: | http://hdl.handle.net/1721.1/73665 https://orcid.org/0000-0003-0238-2703 |
Similar Items
-
Tolerating Malicious Device Drivers in Linux
by: Boyd-Wickizer, Silas, et al.
Published: (2011) -
A Software Approach to Unifying Multicore Caches
by: Boyd-Wickizer, Silas, et al.
Published: (2011) -
OpLog: a library for scaling update-heavy data structures
by: Boyd-Wickizer, Silas, et al.
Published: (2014) -
Optimizing communication bottlenecks in multiprocessor operating system kernels
by: Boyd-Wickizer, Silas
Published: (2014) -
Delegating Network Security with More Information
by: Naous, Jad, et al.
Published: (2011)