Genom nicolai Zeldovich, Silas Boyd-Wickizer, eddie Kohler, och David Mazières abstrakt HiStar är ett nytt operativsystem utformat för att minimera mängden kod som måste lita på. HiStar tillhandahåller strikt informationsflödeskontroll, vilket gör det möjligt för användare att specificera exakta datasäkerhetspolicyer utan att otillbörligt begränsa strukturen på applikationer. HiStars säkerhetsfunktioner gör det möjligt att implementera en Unix-liknande miljö med acceptabel prestanda nästan helt i ett opålitligt bibliotek på användarnivå. Systemet har ingen uppfattning om superanvändare och ingen helt tillförlitlig kod annat än kärnan. HiStars funktioner tillåter flera nya applikationer, inklusive integritetsbevarande, opålitliga virusskannrar och en dynamisk webbserver med bara några tusen rader pålitlig kod.
Baserat på Asbest-etiketter utvecklades HiStar REF för att minimera mängden betrodd kod.
Making information flow explicit in HiStar
{'venue': 'CACM', 'journal': None, 'mag_field_of_study': ['Computer Science']}