See this document in CiteSeerX!

Separating Protection and Resource Management in Operating Systems (2002)  (Make Corrections)  
David Lie, Chandramohan A. Thekkath, Mark Horowitz



  Home/Search   Context   Related

 
View or download:
stanford.edu/papers/dl_osdi_02.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/cg...apers.cgi?paper (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Traditionally, operating systems have fulfilled the dual roles of enforcing security on computer systems, as well as managing and virtualizing resources for the various applications sharing the machine. However, more recently, there have been some promising proposals in creating systems where hardware, rather than software enforces security and protection. These proposals would require an operating system running on such hardware to manage resources on behalf of applications that do not trust... (Update)

Similar documents (at the sentence level):
7.1%:   Implementing an Untrusted Operating System on Trusted Hardware - Lie, Thekkath, Horowitz (2003)   (Correct)

Active bibliography (related documents):   More   All
0.8:   Architectural Support for Copy and Tamper-Resistant Software - Lie (2003)   (Correct)
0.3:   Architecture for Protecting Critical Secrets in Microprocessors - Ruby Lee Peter   (Correct)
0.2:   Specifying and Verifying Hardware for Tamper-Resistant.. - Lie, Mitchell.. (2003)   (Correct)

Similar documents based on text:   More   All
0.6:   Architectural Support for Copy and Tamper Resistant.. - Lie, Thekkath.. (2000)   (Correct)
0.2:   Latency Analysis of TCP on an ATM Network - Wolman, Voelker, Thekkath (1994)   (Correct)
0.2:   Differential Fault Analysis of Secret Key Cryptosystems - Biham, Shamir (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ lie-separating,
  author = "David Lie and Chandramohan A. Thekkath and Mark Horowitz",
  title = "Separating Protection and Resource Management in Operating Systems",
  url = "citeseer.ist.psu.edu/lie02separating.html" }
Citations (may not include all citations):
1529   A method for obtaining digital signatures and public key cry.. - Rivest, Shamir et al. - 1978
217   HMAC: Keyed-hashing for message authentication (context) - Krawczyk, Bellare et al. - 1997
194   The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
57   Self-securing storage: Protecting data in compromised system.. - Strunk, Goodson et al. - 2000
57   programmable secure coprocessor (context) - Smith, Palmer et al. - 1998
54   Architectural support for copy and tamper resistant software - Lie, Thekkath et al. - 2000
33   How to build a trusted database system on untrusted storage (context) - Maheshwari, Vingralek et al. - 2000
32   Using Complete Machine Simulation to Understand Computer Sys.. (context) - Herrod - 1998
30   Microprocessor User's Manual (context) - Heinrich - 1996
25   Dyad: A system for using physically secure coprocessors - Tygar, Yee - 1991
19   Untrusted hosts and confidentiality: Secure program partitio.. - Zdancewic, Zheng et al. - 2001
16   Sifting out the gold: Delivering compact applications from a.. - Agesen, Ungar - 1994
11   Message authentication with MD (context) - Jr, Robshaw - 1995
6   The TrustNo1 cryptoprocessor concept (context) - Kuhn - 1997
4   An architecture of security management unit for safe hosting.. - Gilmont, Legat et al. - 1998
4   Hardware security for software privacy support (context) - Gilmont, Legat et al. - 2096
1   comsoftware irix (context) - Home, http et al. - 2002

Documents on the same site (http://velox.stanford.edu/cgi-bin/papers.cgi?paper):   More
Supply and Threshold Voltage Scaling for Low Power CMOS - Gonzalez (1997)   (Correct)
A Fully Digital, Energy-Efficient, Adaptive Power-Supply.. - Gu-Yeon Wei And (1999)   (Correct)
Low-Power SRAM Design Using Half-Swing Pulse-Mode Techniques - Kenneth Mai Toshihiko (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC