See this document in CiteSeerX!

Implementation and Analysis of Software Based Fault Isolation (1996)  (Make Corrections)  (6 citations)
Scott M. Silver



  Home/Search   Context   Related

 
View or download:
dartmouth.edu/TR/TR96287.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dartmouth.edu (more)
(Enter author homepages)

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

Abstract: Extensible applications rely upon user-supplied, untrusted modules to extend their functionality. To remain reliable, applications must isolate themselves from user modules. One method places each user module in a separate address space (process), which uses hardware virtual memory support to isolate the user process. Costly inter-process communication, however, prohibits frequent communication between the application and the untrusted module. We implemented and analyzed a software method for... (Update)

Context of citations to this paper:   More

.... server (e.g. the Illustra database server [Bloor96] Software fault isolation techniques can be implemented in a compiler pass [Silver96], a filter between the compiler and assembler (as in the case of MiSFIT) or a binary editing tool [Wahbe93] MiSFIT works as an...

.... to world wide web browsers (e.g. Netscape Navigator) Software fault isolation techniques can be implemented in a compiler pass [Sil96], a filter between the compiler and assembler, or a binary editing tool [Wahbe93] We implemented MiSFIT as an assemblerlevel filter for...

Cited by:   More
Building An Extensible Operating System - Small (1998)   (Correct)
Flexible Code Safety for Win32 - Twyman (1999)   (Correct)
MiSFIT: A Freely Available Tool for Building Safe Extensible Systems - Small   (Correct)

Active bibliography (related documents):   More   All
0.0:   Compiler Generation for Interactive Graphics using Intermediate.. - Draves (1996)   (Correct)
0.0:   Evaluation and Comparison of Program Slicing Tools - Hoffner (1995)   (Correct)
0.0:   Software Debugging With Dynamic Instrumentation And Test-Based.. - Pan (1993)   (Correct)

Similar documents based on text:   More   All
0.4:   Omniware: A Universal Substrate for Web Programming - Lucco, Sharp, Wahbe (1995)   (Correct)
0.1:   Persistence and Prevalence in the Mobility of Dartmouth Wireless.. - Lee (2003)   (Correct)
0.1:   Janus: An Approach for Confinement of Untrusted Applications - Wagner (1999)   (Correct)

Related documents from co-citation:   More   All
6:   Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
4:   Optimizing dynamically-dispatched calls with run-time type feedback (context) - OLZLE, UNGAR - 1994
4:   Exokernel: an operating system architecture for application-specif ic resource m.. - Engler, Kaashoek et al. - 1995

BibTeX entry:   (Update)

Scott M. Silver. Implementation and Analysis of Software Based Fault Isolation. Technical Report PCS-TR96-287, Darthmouth College, June 1996. http://citeseer.ist.psu.edu/silver96implementation.html   More

@techreport{ silver96implementation,
    author = "Scott M. Silver",
    title = "Implementation and Analysis of Software Based Fault Isolation",
    number = "TR96-287",
    year = "1996",
    url = "citeseer.ist.psu.edu/silver96implementation.html" }
Citations (may not include all citations):
339   Efficient Software -Based Fault Isolation - Wahbe, Lucco et al. - 1993
296   Free Software Foundation (context) - Stallman, Programmers - 1995



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.dartmouth.edu.html):   More
MRI On The Fly: Accelerating MRI Imaging Using LDA.. - Ko, Taylor   (Correct)
The Dark Side of Risk (What your mother never told you about.. - Nicol, Liu (1996)   (Correct)
DartCVL: The Dartmouth C Vector Library - Cormen, Chawla, Crow, Hirschl.. (1995)   (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