Dependability and Its Threats: A Taxonomy
Published 7 April 2008
Algirdas Avižienis, Jean Claude Laprie, Brian Randell
Citations223
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality, integrity, maintainability, etc.
Abstract
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality, integrity, maintainability, etc. Basic definitions are given first. They are then commented upon, and supplemented by additional definitions, which address the threats to dependability (faults, errors, failures), and the attributes of dependability. The discussion on the attributes encompasses the relationship of dependability with security, survivability and trustworthiness.
Keywords
Computer Science
ACM Transactions on Programming Languages and SystemsThe Byzantine Generals Problem
5,966 Citations1982Leslie Lamport, Robert E. Shostak +1 more
It is shown that, using only oral messages, the problem of a group of generals camped with their troops around an enemy city is solvable if and only if more than two-thirds of the generals are loyal; so a single traitor can confound two loyal generals.
Communications of the ACMOn the criteria to be used in decomposing systems into modules
4,674 Citations1972David Lorge Parnas
IEEE Transactions on Software EngineeringSystem structure for software fault tolerance
1,091 Citations1975Brian Randell
Association for Computing Machinery eBooksThe Byzantine generals problem
1,019 Citations2019Leslie Lamport, Robert E. Shostak +4 more
Software rejuvenation: analysis, module and applications
916 Citations2002Yennun Huang, Chandra M. R. Kintala +2 more
A model for analyzing software rejuvenation in continuously-running applications is presented and express downtime and costs due to downtime during rejuvenations in terms of the parameters in that model and Threshold conditions for rejuvenation to be beneficial are derived.
Journal of the Franklin InstituteReliable circuits using less reliable relays
714 Citations1956Edward F. Moore, Claude E. Shannon
It is shown that by using a sufficiently large number of relays in the proper manner, circuits can be built which are arbitrarily reliable, regardless of how unreliable the original relays are.
Communications of the ACMUnderstanding fault-tolerant distributed systems
690 Citations1991F. Cristian
This article attempts to introduce some discipline and order in understanding fault-tolerance issues in distributed system architectures by examining various proposals, discusses their relative merits, and illustrates their use in existing commercial fault-Tolerance systems.
ACM Computing SurveysA taxonomy of computer program security flaws
447 Citations1994Carl E. Landwehr, Alan R. Bull +2 more
This survey provides a taxonomy for computer program security flaws, with an Appendix that documents 50 actual security flaws that provide a good introduction to the characteristics of security flaws and how they can arise.
Survivable Network Systems: An Emerging Discipline
424 Citations1997Robert J. Ellison, David Fisher +3 more
The survivability approach to helping assure that a system that must operate in an unbounded network is robust in the presence of attack and will survive attacks that result in successful intrusions is described.
IBM Journal of Research and DevelopmentProactive management of software aging
297 Citations2001V. Castelli, R.E. Harper +5 more
This group has developed techniques that detect the occurrence of software aging due to resource exhaustion, estimate the time remaining until the exhaustion reaches a critical level, and automatically perform proactive software rejuvenation of an application, process group, or entire operating system.
Reliability modeling techniques for self-repairing computer systems
237 Citations1969W. G. Bouricius, W. C. Carter +1 more
Techniques for generating and using mathematical models applicable to architectural evaluation of the tradeoffs involved in designing self-repairing highly reliable computers for long missions, shown to be the single most important parameter in high-reliability system design are developed.
Trust in Cyberspace
224 Citations1999Fred B. Schneider
The Delta-4 approach to dependability in open distributed computing systems
209 Citations1988David Powell, Gottfried Bonn +3 more
The authors present the overall Delta-4 framework for open, fault-tolerant, distributed computing systems and sketch the current implementation, which is based on a local area network with specific atomic multicasting and error-processing protocols for communicating between replicated software components.
Design of fault-tolerant computers
165 Citations1967Algirdas Avižienis
Improper functioning of the logic circuits in a digital system is manifested by logic faults, which are defined for this paper as permanent or transient deviations of logic variables from the values specified in design.
On a ‘Buzzword’: Hierarchical Structure
135 Citations2001David Lorge Parnas
This paper discusses the use of the term "hierarchically structured" to describe the design of operating systems and attempts to provide an understanding of the different meanings of this term.
Operations ResearchMeasures of Dependability
101 Citations1960John E. Hosford
This paper defines dependability as the probability that a system will be able to operate when needed, and states that most systems are not required to perform their duty constantly, so the system has a different set of failure and repair rates depending upon whether the system is performing its duty, is off, or is warming up.
A fault tolerance approach to computer viruses
71 Citations2003Mark K. Joseph, A. Avižienis
Extensions of program flow monitors and n-version programming can be combined to provide a solution to the detection and containment of computer viruses.
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering
54 Citations1986Jean-Michel Fray, Yves Deswarte +1 more
A simple and fast solution is proposed that nevertheless ensures a high level of file security and authenticity that is based on the concept of fault- and intrusion-tolerance rather than avoidance techniques.
Building Reliable Secure Computing Systems Out Of Unreliable Insecure Components
38 Citations1986John E. Dobson, Brian Randell
An alternative approach to the design of highly secure computing systems is put forward, based on fault tolerance concepts and techniques.
Microprocessor entomology: a taxonomy of design faults in COTS microprocessors
28 Citations2003A. Avižienis, Yutao He
Based on the proposed methodology, an in-depth analysis of design faults uncovered in the Intel Pentium II microprocessor since its initial release is presented in detail, raising concerns about the use of such processors in high-confidence systems and point to potential solutions.
The basic integrity theorem
11 Citations2002J. Jacob
The author proves an important theorem relating functionality and integrity; the theorem tells one about the methods one may use to develop systems that satisfy integrity properties.
Network SecurityTrust in Cyberspace
10 Citations1999Wayne Madsen
All the work done heretofore by NSA, the Communications Security Establishment of Canada, and a group of four European countries on information security standards, has been largely fruitless, a study by the Committee on Information Systems Trustworthiness concluded.
Performance measurement and evaluation
9 Citations1990Clive Emmanuel, David Otley +1 more