David J. Taylor  Home/Search
Context
Related
| gmu.edu/~csis/conf/fns98/pa...taylor.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: gmu.edu/~csis/conf...williamsburg (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a large software system that is required to be dependable, preventing the spread of damage from one system component to another is important. Damage confinement both allows damage to be assessed in a reasonable way once an error is detected and prevents a fault in a single component from causing sudden collapse of the entire system. This paper examines techniques for constraining the spread of damage, both the kinds of constraints required and the means for enforcing those... (Update)
Active bibliography (related documents): More All
0.5: The Design and Verification of the Rio File Cache - Ng, Chen (2001) (Correct)
0.4: Code Importing Techniques for Fast, Safe Client/Server Access - Bank (1996) (Correct)
0.4: Safe and Efficient Sharing of Persistent Objects in Thor - Liskov, Adya, Castro.. (1996) (Correct)
Similar documents based on text: More All
0.0: Adaptive Anchoring Discretization for Learnable Evolution.. - Michalski, Cervone (Correct)
0.0: New Confining N=1 Supersymmetric Gauge Theories - Csáki, Murayama (1998) (Correct)
0.0: The Confining N = 1 Supersymmetric Gauge Theories: A Review - Csáki (1998) (Correct)
BibTeX entry: (Update)
@misc{ taylor-practical,
author = "David J. Taylor",
title = "Practical Techniques for Damage Confinement in Software",
url = "citeseer.ist.psu.edu/article/taylor98practical.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
400 safety and performance in the SPIN operating system (context) - Bershad - 1995
339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
265 Secure computer system: Unified exposition and Multics inter.. (context) - Bell, Padula - 1976
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
226 Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
118 The interaction of architecture and operating system design - Anderson, Levy et al. - 1991
98 Fault Tolerance: Principles and Practice (context) - Lee, Anderson - 1990
82 Department of Defense Trusted Computer System Evaluation Cri.. (context) - Defense - 1985
60 Hermes: A Language for Distributed Computing (context) - Strom - 1991
55 version approach to fault-tolerant software (context) - Avizienis - 1985
27 Regulated coordination in open distributed systems - Minsky, Ungureanu - 1997
20 Englewood Cliffs (context) - Harbison, Prentice-Hall - 1992
15 Computer Science Laboratory (context) - Rushby, transitivity et al. - 1992
14 Community error recovery in N-version software: A design stu.. (context) - Tso, Avizienis - 1987
13 How fail-stop are faulty programs (context) - Chandra, Chen - 1998
12 Kernels for safety (context) - Rushby - 1989
10 Application transparent fault management in fault tolerant M.. (context) - Russinovich, Segall et al. - 1993
9 Law-governed regularities in object systems; Part 1: An abst.. - Minsky - 1996
6 A model of cooperative noninterference for integrated modula.. - Di Vito - 1999
5 Supporting multiple levels of criticality (context) - Totel, Blanquart et al. - 1998
5 Increasing cross-domain call batching using promises and bat.. - Zondervan - 1995
4 Type-safe heterogeneous sharing can be fast - Liskov, Adya et al. - 1996
3 Architectural approaches to information survivability (context) - Knight, Lubinsky et al. - 1997
2 Software exploitation of a fault-tolerant computer with a la.. - Eskesen, Hack et al. - 1998
1 Strong partitioning protocol for a multiprocessor VME system (context) - Younis, Zhou et al. - 1998
Documents on the same site (http://ise.gmu.edu/~csis/conf/fns98/williamsburg.html): More
From Security to Safety and Back - Stavridou, Dutertre (Correct)
Certificate Revocation the Responsible Way - Millen, Wright (1999) (Correct)
Error Recovery in Critical Infrastructure Systems - Knight, Elder, Du (1999) (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