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 条
  • [31] Making Folk Psychology Explicit
    Strijbos, Derek W.
    de Bruin, Leon C.
    PHILOSOPHIA, 2012, 40 (01) : 139 - 163
  • [32] MAKING PROGRAMMING KNOWLEDGE EXPLICIT
    NAVRAT, P
    ROZINAJOVA, V
    COMPUTERS & EDUCATION, 1993, 21 (04) : 281 - 299
  • [33] Logicism as Making Arithmetic Explicit
    Kolman, Vojtech
    ERKENNTNIS, 2015, 80 (03) : 487 - 503
  • [34] MAKING IT EXPLICIT - BRANDOM,RB
    LEVI, I
    JOURNAL OF PHILOSOPHY, 1996, 93 (03): : 145 - 158
  • [35] Making patterns explicit with metaprogramming
    von Dincklage, D
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, 2003, 2830 : 287 - 306
  • [36] Neural correlates of decision making based on explicit information about probabilities and incentives in healthy subjects
    Labudda, Kirsten
    Woermann, Friedrich G.
    Mertens, Markus
    Pohlmann-Eden, Bernd
    Markowitsch, Hans J.
    Brand, Matthias
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2008, 43 (3-4) : 640 - 640
  • [37] Neural correlates of decision making with explicit information about probabilities and incentives in elderly healthy subjects
    Kirsten Labudda
    Friedrich G. Woermann
    Markus Mertens
    Bernd Pohlmann-Eden
    Hans J. Markowitsch
    Matthias Brand
    Experimental Brain Research, 2008, 187 : 641 - 650
  • [38] Neural correlates of decision making with explicit information about probabilities and incentives in elderly healthy subjects
    Labudda, Kirsten
    Woermann, Friedrich G.
    Mertens, Markus
    Pohlmann-Eden, Bernd
    Markowitsch, Hans J.
    Brand, Matthias
    EXPERIMENTAL BRAIN RESEARCH, 2008, 187 (04) : 641 - 650
  • [39] Controlling the information flow: Effects on consumers' decision making and preferences
    Ariely, D
    JOURNAL OF CONSUMER RESEARCH, 2000, 27 (02) : 233 - 248
  • [40] LEGISLATIVE DECISION-MAKING AND SUBSTANTIVE POLICY INFORMATION - MODELS OF INFORMATION-FLOW
    SABATIER, P
    WHITEMAN, D
    LEGISLATIVE STUDIES QUARTERLY, 1985, 10 (03) : 395 - 421
12345