Making information flow explicit in HISTAR

OSDI 2006 - 7th USENIX Symposium on Operating Systems Design and Implementation

Volumn , Issue , 2006, Pages 263-278

  Zeldovich, Nickolai ^a   Boyd Wickizer, Silas ^a   Kohler, Eddie ^a   Mazières, David ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); SECURITY SYSTEMS; SYSTEMS ANALYSIS;

ACCEPTABLE PERFORMANCE; INFORMATION FLOW CONTROL; INFORMATION FLOWS; NOVEL APPLICATIONS; PRIVACY PRESERVING; SECURITY FEATURES; SECURITY POLICY; VIRUS SCANNERS;

COMPUTER VIRUSES;

EID: 84888352157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. D. E. Bell and L. La Padula. Secure computer system: Unified exposition and multics interpretation. Technical Report MTR-2997, Rev. 1, MITRE Corp., Bedford, MA, March 1976.
2. A. C. Bomberger, A. P. Frantz, W. S. Frantz, A. C. Hardy, N. Hardy, C. R. Landau, and J. S. Shapiro. The KeyKOS nanokernel architecture. In Proc. of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 95–112, April 1992.
3. ClamAV. http://www.clamav.net/.
4. D. E. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236–243, May 1976.
5. P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazières, F. Kaashoek, and R. Morris. Labels and event processes in the Asbestos operating system. In Proc. of the 20th SOSP, pages 17–30, October 2005.
6. H. Franke, R. Russell, and M. Kirkwood. Fuss, futexes and furwocks: Fast userlevel locking in Linux. Ottawa Linux Symposium, 2002.
7. T. Fraser. LOMAC: Low water-mark integrity protection for COTS environments. In Proc. of the 2000 IEEE Symposium on Security and Privacy, pages 230–245, Oakland, CA, May 2000.
8. G. Hamilton and P. Kougiouris. The Spring nucleus: A microkernel for objects. In Proc. of the Summer 1993 USENIX, pages 147–159, April 1993.
9. G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An overview of the Singularity project. Technical Report MSR-TR-2005-135, Microsoft, Redmond, WA, October 2005.
10. C. E. Landwehr. Formal models for computer security. Computing Survels, 13(3):247–278, September 1981.
11. P. Loscocco and S. Smalley. Integrating flexible support for security policies into the Linux operating system. In Proc. of the 2001 USENIX, pages 29–40, June 2001. FREENIX track.
12. LWIP. http://savannah.nongnu.org/projects/lwip/.
13. M. D. McIlroy and J. A. Reeds. Multilevel security in the UNIX tradition. Software—Practice and Experience, 22(8):673–694, 1992.
14. A. C. Myers and B. Liskov. Protecting privacy using the decentralized label model. Transactions on Computer Systems, 9(4):410–442, October 2000.
15. R. Naraine. Symantec antivirus worm hole puts millions at risk. eWeek.com, May 2006. http://www.eweek.com/article2/0,1895,1967941,00.asp.
16. OpenVPN. http://openvpn.net/.
17. R. Pike, D. Presotto, S. Dorward, B. Flandrena, K. Thompson, H. Trickey, and P. Winterbottom. Plan 9 from Bell Labs. Computing Systems, 8(3): 221–254, Summer 1995.
18. H. Pötzl. Linux-VServer Technology, 2004. http://linux-vserver.org/Linux-VServer-Paper.
19. K. Poulsen. Slammer worm crashed Ohio nuke plant net. The Register, August 20, 2003. http://www.theregister.co.uk/2003/08/20/ slammer worm crashed ohio nuke/.
20. M. Rosenblum and J. Ousterhout. The design and implementation of a log-structured file system. In Proc. of the 13th SOSP, pages 1–15, Oct. 1991.
21. M. D. Schroeder and J. H. Saltzer. A hardware architecture for implementing protection rings. In Proc. of the Third Symposium on Operating Systems Principles, pages 42–54, March 1972.
22. Seagate. Barracuda 7200.7 Product Manual, Publication 100217279, Rev. L edition, March 2004. http://www.seagate.com/support/disc/manuals/ata/cuda7200pm.pdf.
23. J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Proc. of the 17th SOSP, pages 170–185, December 1999.
24. A. Sweeney, D. Doucette, W. Hu, C. Anderson, M. Nishimoto, and G. Peck. Scalability in the XFS file system. In Proceedings of the USENIX 1996 Technical Conference, pages 1–14, San Diego, CA, USA, 22–26 1996.
25. uClibc. http://uclibc.org/.