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 possi...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 54; no. 11; pp. 93 - 102
Autores principales: Zeldovich, Nickolai, Boyd-Wickizer, Silas, Kohler, Eddie, Mazières, David
Formato: Artículo
Publicado: Association for Computing Machinery Nov2011
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario: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.