论文信息 - Nexus: a new operating system for trustworthy computing

Nexus: a new operating system for trustworthy computing

Tamper-proof coprocessors for secure computing are poised to become a standard hardware feature on future computers. Such hardware provides the primitives necessary to support trustworthy computing applications, that is, applications that can provide strong guarantees about their run time behavior.

[1] Dan Boneh,et al. Architectural support for copy and tamper resistant software , 2000, SIGP.

[2] Fred B. Schneider,et al. Enforceable security policies , 2000, TSEC.

[3] Tal Garfinkel,et al. Terra: a virtual machine-based platform for trusted computing , 2003, SOSP '03.

[4] Mark Horowitz,et al. Implementing an untrusted operating system on trusted hardware , 2003, SOSP '03.

[5] Trent Jaeger,et al. Design and Implementation of a TCG-based Integrity Measurement Architecture , 2004, USENIX Security Symposium.

[6] Steve Vandebogart,et al. Labels and event processes in the Asbestos operating system , 2005, TOCS.

[7] Elaine Shi,et al. Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems , 2005, SOSP '05.