Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. E#cient software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP '93), pages 203--216, New York, 1993. ACM Press. ISBN 0-89791-632-8. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2001) (2 citations) (Correct)
Sharing in Typed Module Assembly Language - Duggan (2000) (14 citations) (Correct)
Resource Control of Untrusted Code in an Open Network Environment - Menage (2003) (2 citations) (Correct)
Bridging the Gap between TCPA/Palladium and Personal Security - Sadeghi, Stüble (2003) (Correct)
Isolation, Resource Management and Sharing in the Kaffeos Java.. - Back (2002) (Correct)
IRM Enforcement of Java Stack Inspection - Erlingsson, Schneider (2000) (41 citations) (Correct)
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
GIVS: Integrity Validation for Grid Security - And (Correct)
Secure Untrusted Binaries Provably! - Simon Winwood And (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
Slinky: Static Linking Reloaded - Christian Collberg John (2004) (Correct)
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
A Type System for Expressive Security Policies - Walker (1999) (28 citations) (Correct)
Project Description - We Propose To (Correct)
Protection in the Think exokernel - Christophe Rippert Jean-Bernard (Correct)
Transforming Policies into Mechanisms with Infokernel - Arpaci-Dusseau.. (2003) (3 citations) (Correct)
Formalizing Java-MaC - Sammapun, Sharykin, DeLap, Kim.. (2003) (Correct)
Improving the Reliability of Commodity Operating Systems - Swift, Bershad, Levy (2003) (12 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Computability Classes for Enforcement Mechanisms - Hamlen, Morrisett, Schneider (2003) (8 citations) (Correct)
HOKES/POKES: Light-weight resource sharing - Bos, Samwel (Correct)
Protection in Flexible Operating System Architectures - Rippert (Correct)
A Taxonomy of Computer Worms - Weaver, Paxson, Staniford, Cunningham (2003) (19 citations) (Correct)
Computability Classes for Enforcement Mechanisms - Hamlen, Morrisett, Schneider (2003) (8 citations) (Correct)
First 50 documents
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