Making Information Flow Explicit in HiStar

被引：33
|
作者：
Zeldovich, Nickolai [1 ]
Boyd-Wickizer, Silas [1 ]
Kohler, Eddie [2 ]
Mazieres, David [3 ]
机构：
[1] MIT, CSAIL, Cambridge, MA 02139 USA
[2] Univ Calif Los Angeles, Los Angeles, CA USA
[3] Stanford Univ, Stanford, CA 94305 USA
来源：
COMMUNICATIONS OF THE ACM | 2011年 / 54卷 / 11期
关键词：
D O I：
10.1145/2018396.2018419
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 possible to implement a Unix-like environment with acceptable performance almost entirely in an untrusted user-level library. The system has no notion of superuser and no fully trusted code other than the kernel. HiStar's features permit several novel applications, including privacy-preserving, untrusted virus scanners and a dynamic Web server with only a few thousand lines of trusted code.
引用
收藏
页码：93 / 101
页数：9
相关论文
共 50 条
  • [21] Information flow and group decision making in social bees
    Schneider, S
    Spivak, M
    APIDOLOGIE, 2004, 35 (02) : 97 - 97
  • [22] CORPORATE DECISION-MAKING AND INFORMATION FLOW MODEL
    DONNELLY, PR
    HOSPITAL PROGRESS, 1974, 55 (03): : 33 - 39
  • [23] Logicism as Making Arithmetic Explicit
    Vojtěch Kolman
    Erkenntnis, 2015, 80 : 487 - 503
  • [24] MAKING PAROLING POLICY EXPLICIT
    GOTTFREDSON, DM
    HOFFMAN, PB
    SIGLER, MH
    WILKINS, LT
    CRIME & DELINQUENCY, 1975, 21 (01) : 34 - 44
  • [25] Making Agents' Abilities Explicit
    Zhang, Yedi
    Song, Fu
    Chew, Taolue
    IEEE ACCESS, 2019, 7 : 101804 - 101819
  • [26] MAKING THE GRADUATE CURRICULUM EXPLICIT
    SULLIVAN, TA
    TEACHING SOCIOLOGY, 1991, 19 (03) : 408 - 413
  • [27] Making it explicit - Brandom,R
    Halbig, C
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1997, 51 (01): : 153 - 157
  • [28] Making lifting obstructions explicit
    Neeb, Karl-Hermann
    Wagemann, Friedrich
    Wockel, Christoph
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2013, 106 : 589 - 620
  • [29] MAKING STUDENTS' FRAMES EXPLICIT
    Moller, Louise
    Hansen, Poul Kyvsgaard
    DESIGN EDUCATION: COLLABORATION AND CROSS-DISCIPLINARY, 2016, : 558 - 563
  • [30] MAKING THE DEMOGRAPHY CURRICULUM EXPLICIT
    SULLIVAN, TA
    POPULATION INDEX, 1988, 54 (03) : 434 - 434
12345