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) -
Delegating Network Security with More Information
by: Naous, Jad, et al.
Published: (2011) -
An Analysis of Linux Scalability to Many Cores
by: Boyd-Wickizer, Silas, et al.
Published: (2011)