Nexus: A new operating system for trustworthy computing

Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005

Volumn , Issue , 2005, Pages

  Shieh, Alan ^a   Williams, Dan ^a   Sirer, Emin Gün ^a   Schneider, Fred B ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CO-PROCESSORS; RUNTIMES; STANDARD HARDWARE; TAMPERPROOF; TRUSTWORTHY COMPUTING;

HARDWARE;

COMPUTER HARDWARE;

EID: 84885633990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095810.1118613     Document Type: Conference Paper

References (8)

1. P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazieres, M. F. Kaashoek, and R. T. Morris. Labels and Event Processes in the Asbestos Operating System. In Proceedings of the Symposium on Operating Systems Principles, Brighton, UK, Oct. 2005.
2. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: A Virtual Machine-Based Platform for Trusted Computing. In Proceedings of the Symposium on Operating Systems Principles, Bolton Landing, NY, Oct. 2003.
3. D. Lie, C. Thekkath, and M. Horowitz. Implementing an Untrusted Operating System on Trusted Hardware. In Proceedings of the Symposium on Operating Systems Principles, Bolton Landing, NY, Oct. 2003.
4. D. Lie, C. Thekkath, M. Mitchell, P. Lincoln, D. Boneh, J. Mitchell, and M. Horowitz. Architectural Support for Copy and Tamper Resistant Software. ACM SIGPLAN Notices, 35(11):168-177, 2000. (Pubitemid 32470896)
5. R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn. Design and Implementation of a TCG-based Integrity Measurement Architecture. In Proceedings of the 13th Usenix Security Symposium, pages 223-238, August 2004.
6. F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):30-50, 2000.
7. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. van Doorn, and P. Khosla. Pioneer: Verifying Integrity and Guaranteeing Execution of Code on Legacy Platforms. In Proceedings of the Symposium on Operating Systems Principles, Brighton, UK, Oct. 2005.
8. Trusted Computing Group. TPM Specification Version 1.2.