Douglas P. Ghormley, Steven H. Rodrigues, David Petrou, Thomas E. Anderson  Home/Search
Context Related
| purdue.edu/homes/j...ormleyUSENIX98.ps berkeley.edu/techreport...CSD96920.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: purdue.edu/homes/jv/smc...content (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modern production operating systems are large and complex systems developed over many years by large teams of programmers, containing many hundreds of thousands of lines of code. Consequently, it is extremely difficult to add significant new functionality to these systems [16, 1, 42]. In response to this problem, a number of recent research projects have addressed the issue of extensible operating systems; these include SPIN [7, 5], VINO [45, 41], Exokernel [20], Lipto [17], and Fluke [21].... (Update)
Context of citations to this paper: More
.... advocates interposing security code at the operating system boundary to observe and modify the data passing through [WBDF97, Jon99, GRPA97, GWTB96, FBF99] Interposition techniques e ectively encapsulate untrusted components in wrapper programs that have full control over the...
...seals, or of any other seal. The design has been inspired by the Fluke micro kernel [14] and work on interposition in operating systems [12, 15, 16]. We have not addressed interposition of low level resources such as memory and the scheduler as this requires modifications to...
Cited by: More
Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
User-Level Sandboxing: a Safe and Efficient Mechanism for.. - West, Gloudon (2003) (Correct)
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (Correct)
Similar documents (at the sentence level):
53.7%: SLIC: An Extensibility System for Commodity Operating.. - Ghormley, Rodrigues.. (1998) (Correct)
10.8%: Efficient, Protected Extension of Commodity Operating Systems - Ghormley (1998) (Correct)
Active bibliography (related documents): More All
0.2: Security for Extensible Systems - Robert Grimm Brian (1997) (Correct)
0.2: Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
0.2: Experience with a Distributed File System Implementation - Wang, Anderson, Dahlin (1997) (Correct)
Similar documents based on text: More All
0.3: Traps and Pitfalls: Practical Problems in System Call.. - Garfinkel (2003) (Correct)
0.3: Network Performance for Cascaded Dispersion-Free.. - Cheng, Lin, Towe, .. (2002) (Correct)
0.2: DITools: Application-level Support for Dynamic Extension.. - Serra, Navarro, Cortes (2000) (Correct)
Related documents from co-citation: More All
11: Secure composition of insecure components - Sewell, Vitek - 1999
10: Mobile ambients - Cardelli, Gordon - 1998
7: A Secure Environment for Untrusted Helper Applications --- Confining the Wily Ha.. - Goldberg, Wagner et al. - 1996
BibTeX entry: (Update)
D. Ghormley, S. Rodrigues, D. Petrou, and T. Anderson. Interposition as an operating system extension mechanism. Technical Report CSD-96-920, University of California, Berkeley, Sept 1997. http://citeseer.ist.psu.edu/ghormley97interposition.html More
@techreport{ ghormley97interposition,
author = "Douglas P. Ghormley and Steven H. Rodrigues and David Petrou and Thomas E. Anderson",
title = "Interposition as an Operating System Extension Mechanism",
number = "CSD-96-920",
month = "9,",
pages = "14",
year = "1997",
url = "citeseer.ist.psu.edu/ghormley97interposition.html" }
Citations (may not include all citations):723 Memory Coherence in Shared Virtual Memory Systems - Li, Hudak - 1989
595 Active Messages: a Mechanism for Integrated Communication an.. - von Eicken, Culler et al. - 1992
539 Scale and performance in a distributed file system (context) - Howard, Kazar et al. - 1988
447 Exokernel: An Operating System Architecture for Application-.. - Engler, Kaashoek et al. - 1995
444 Mach: A New Kernel Foundation For UNIX Development (context) - Accetta, Baron et al. - 1986
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
380 Design and implementation of the Sun network filesystem - Sandberg, Goldberg et al.
339 Efficient Software-Based Fault Isolation - Wahbe, Lucco et al. - 1993
326 TreadMarks: Shared memory computing on networks of workstati.. - Amza, Cox et al. - 1996
304 Scheduler Activations: Effective Kernel Support for the User.. - Anderson, Bershad et al. - 1992
241 Transparent Process Migration: Design Alternatives and the S.. - Douglis, Ousterhout - 1991
226 Lightweight Remote Procedure Calls (context) - Bershad, Anderson et al. - 1990
175 Dealing With Disaster: Surviving Misbehaved Kernel Extension.. - Seltzer, Endo et al. - 1996
175 A Secure Environment for Untrusted Helper Applications - Goldberg, Wagner et al. - 1996
170 The Harvest information discovery and access system - Bowman, Danzig et al. - 1994
137 The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
126 Vnodes: An architecture for multiple file system types in Su.. - Kleiman - 1986
123 Preemptable Remote Execution Facilities for the V System (context) - Theimer, Landtz et al. - 1985
105 The Duality of Memory and Communication in the Implementatio.. - Young, Tevanian et al. - 1987
100 Interposition Agents: Transparently Interposing User Code at.. - Jones - 1993
92 Microkernels Meet Recursive Virtual Machines - Ford, Hibler et al. - 1996
89 SPIN---An Extensible Microkernel for Application-Specific Op.. - Bershad, Chambers et al. - 1994
81 HYDRA: The Kernel of a Multiprocessor Operating System (context) - Wulf, Cohen et al. - 1974
78 Utopia: A Load Sharing Facility for Large (context) - Zhou, Wang et al. - 1992
53 Extensible File Systems in Spring - Khalidi, Nelson - 1993
52 Evolving the vnode interface - Rosenthal - 1990
52 PGP: Pretty Good Privacy (context) - Garfinkel - 1994
48 Why Aren't Operating Systems Getting Faster As Fast As Hardw.. - Ousterhout - 1990
32 Spritely NFS: Experiments with cache-consistency protocols (context) - Srinivasan, Mogul - 1989
28 Beyond Micro-Kernel Design: Decoupling Modularity and Protec.. (context) - Druschel, Peterson et al. - 1992
22 Language support for extensible operating systems - Hsieh, Fiuczynski et al. - 1996
22 Quantify User's Guide (context) - Software - 1996
21 Microsoft Press (context) - Brockschmidt - 1994
19 VINO: An Integrated Platform for Operating System and Databa.. - Small, Seltzer - 1994
17 Efficient user-level file cache management on the Sun vnode .. - Steere, Kistler et al. - 1990
17 COLA: Customized overlaying - Krell, Krishnamurthy - 1992
17 Operating System Support for Portable Filesystem Extensions (context) - Webber - 1993
14 Language Environment: A White Paper (context) - Gosling, McGilton et al. - 1995
14 Safe dynamic linking in an extensible operating system - Sirer, Fiuczynski et al. - 1996
11 Protected Shared Libraries --- a new approach to modularity .. - Banerji, Tracey et al. - 1997
8 CERT Advisory CA (context) - expreserve - 1996
8 CERT Advisory CA (context) - Solaris - 1996
8 CERT Advisory CA (context) - WorkMan - 1996
8 CERT Advisory CA (context) - talkd - 1997
6 Dynamic binding in an extensible system (context) - aw, Brian et al. - 1996
6 Writing an operating system using Modula (context) - Sirer, Savage et al. - 1996
5 Purify User's Guide (context) - Software - 1996
5 The Breakneck Race to Create Windows NT and the Next Generat.. (context) - Zachary - 1994
4 ActiveX used as hacking tool (context) - Wingfield - 1997
4 CCC: Microsoft security alert (context) - Club - 1997
2 Informix slices its way to front (context) - Dyck - 1997
2 Publication pending from IEEE Press (context) - Seltzer, Endo et al. - 1997
2 The Structuring of SystemsUsing Upcalls (context) - Clark - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/homes/jv/smc/bib/content.html): More
Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Compiling with Proofs - Necula (1998) (Correct)
History-based Access Control for Mobile Code - Edjlali, Acharya, Chaudhary (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