Dependability and its threats: A taxonomy

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 91-120

  Avižienis, Algirdas ^a,b   Laprie, Jean Claude ^c   Randell, Brian ^d  

^a VYTAUTAS MAGNUS UNIVERSITY   (Lithuania)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c LAAS CNRS   (France)

^d NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Availability; Confidentiality; Dependability; Errors; Failures; Faults; Integrity; Maintainability; Reliability; Safety; Security; Survivability; Trustworthiness

Indexed keywords

ACCIDENT PREVENTION; AVAILABILITY; ERRORS; FAILURE (MECHANICAL); FAULTING; MAINTAINABILITY; RELIABILITY;

CONFIDENTIALITY; DEPENDABILITY; INTEGRITY; SECURITY; SURVIVABILITY; TRUSTWORTHINESS;

NETWORK SECURITY;

EID: 84902511451     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4020-8157-6_13     Document Type: Conference Paper

References (47)

1. A. Avižienis, "Design of fault-tolerant computers", in Proc. 1967 Fall Joint Computer Conf., AFIPS Conf. Proc. Vol. 31, pp. 733-743, 1967.
2. A. Avižienis and L. Chen, "On the implementation of N-version programming for software fault tolerance during execution", in Proc. IEEE COMPSAC 77, pp. 149-155, Nov. 1977.
3. A. Avižienis, Y. He, "Microprocessor entomology: a taxonomy of design faults in COTS microprocessors", in Dependable Computing for Critical Applications 7, C.B. Weinstock and J. Rushby, eds, IEEE CS Press, 1999, pp. 3-23.
4. A. Avižienis, J.P.J. Kelly, "Fault tolerance by design diversity: concepts and experiments", Computer, vol. 17, no. 8, Aug. 1984, pp. 67-80.
5. th National Conference of ACM, pp. 295-309, 1969.
6. C. Cachin, J. Camenisch, M. Dacier, Y. Deswarte, J. Dobson, D. Home, K. Kursawe, J.-C. Laprie, J.C. Lebraud, D. Long, T. McCutcheon, J. Muller, F. Petzold, B. Pfitzmann, D. Powell, B. Randell, M. Schunter, V. Shoup, P. Veríssimo, G. Trouessin, R.J. Stroud, M. Waidner, I. Welch, "Malicious- and Accidental-Fault Tolerance in Internet Applications: reference model and use cases", LAAS report no. 00280, MAFTIA, Project IST-1999-11583, Aug. 2000, 113p.
7. V. Castelli, R.E. Harper, P. Heidelberger, S.W. Hunter, K.S. Trivedi, K. Vaidyanathan, W.P. Zeggert, "Proactive management of software aging", IBM J. Res.& Dev., vol. 45, no. 2, March 2001, pp. 311-332.
8. Termes et définitions concernant la qualité de service, la disponibilité et la fiabilité, Recommandation G 106, CCITT, 1984; in French.
9. Information Technology Security Evaluation Criteria, Harmonized criteria of France, Germany, the Netherlands, the United Kingdom, Commission of the European Communities, 1991.
10. F. Cristian, "Understanding Fault-Tolerant Distributed Systems", Com. of the ACM, vol. 34, no. 2, pp. 56-78, 1991.
11. J.E. Dobson and B. Randell. Building reliable secure computing systems out of unreliable insecure compnents. In Proc. of the 1986 IEEE Symp. Security and Privacy, pp. 187-193, April 1986.
12. R.J. Ellison, D.A. Fischer, R.C. Linger, H.F. Lipson, T. Longstaff, N.R. Mead, "Survivable network systems: an emerging discipline", Technical Report CMU/SEI-97-TR-013, November 1997, revised May 1999.
13. W.R. Elmendorf, "Fault-tolerant programming", in Proc. 2nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-2), Newton, Massachusetts, June 1972, pp. 79-83.
14. J.-M. Fray, Y. Deswarte, D. Powell, "Intrusion tolerance using fine-grain fragmentation-scattering", in Proc. 1986 IEEE Symp. on Security and Privacy, Oakland, April 1986, pp. 194-201.
15. Special session. Fundamental concepts of fault tolerance. In Digest of FTCS-12, pages 3-38, June 1982.
16. C. Ghezzi, M. Jazayeri, D. Mandrioli, Fundamentals of Software Engineering, Prentice-Hall, 1991.
17. J. Gray, "Functionality, Availability, Agility, Manageability, Scalability the New Priorities of Application Design", in Proc. HPTS 2001, Asilomar, April 2001.
18. R. Grigonis, "Fault-resilience for communications convergence", Special Supplement to CMP Media's Converging Communications Group, Spring 2001.
19. J.E. Hosford, "Measures of dependability", Operations Research, vol. 8, no. 1,1960, pp. 204-206.
20. Y. Huang, C. Kintala, N. Kolettis, N.D. Fulton, "Software rejuvenation: analysis, module and applications", in Proc. 25th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-25), Pasadena, California, June 1995, pp.
21. V.R. Hunt & G.V. Kloster, editors, "The FAA's Advanced Automation Program", special issue, Computer, February 1987.
22. Industrial-process measurement and control - Evaluation of system properties for the purpose of system assessment. Part 5: Assessment of system dependability, Draft, Publication 1069-5, International Electrotechnical Commission (IEC) Secretariat, Feb. 1992.
23. Intel Corp. Intel Pentium III Processor Specification Update, May 2001. Order No.244453-029.
24. Quality Concepts and Terminology, Part one: Geberic Terms and Definitions, Document ISO/TC 176/SC 1 N 93, Feb. 1992.
25. Common Criteria for Information Technology Security Evaluation, ISO/IEC Standard 15408, August 1999.
26. J. Jacob. "The Basic Integrity Theorem", in Proc. Int. Symp. on Security and Privacy, pp. 89-97, Oakland, CA, USA, 1991.
27. M.K. Joseph and A. Avižienis, "A fault tolerance approach to computer viruses", in Proc. of the 1988 IEEE Symposium on Security and Privacy, pages 52-58, April 1988.
28. L. Lamport, R. Shostak, M. Pease, "The Byzantine generals problem", ACM Trans. on Programming Languages and Systems, vol. 4, no. 3, July 1982, pp. 382-401.
29. C.E. Landwher, A.R. Bull, J.P. McDermott, W.S. Choi, "A Taxonomy of Computer Program Security Flaws", ACM Computing Surv., vol. 26, no. 3, pp. 211-254,1994.
30. J.-C. Laprie. Dependable computing and fault tolerance: concepts and terminology. In Proc. 15th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-15), Ann Arbor, June 1985, pp. 2-11
31. J.-C. Laprie, editor, Dependability: Basic Concepts and Terminology, Springer-Verlag, 1992.
32. Meyer, Michael, "A 'Lesson' for Intel: How It Mishandled the Pentium Flap", Newsweek, December 12, 1994, p.58.
33. E.F. Moore and C.E. Shannon, "Reliable circuits using less reliable relays", J. Franklin Institute, 262:191-208 and 281-297, Sept/Oc. 1956.
34. R.R. Muntz, "Performance measurement and evaluation", in Encyclopedia of Computer Science, A.Ralston, E.D. Reilly, D. Hemmendinger, eds, Nature Publishing Group, 2000.
35. D. Parnas, "On thecriteria to be used in decomposing systems into modules", Comunications of the ACM, vol. 15, no. 12, Dec. 1972, pp. 1053-1058.
36. D. Parnas, "On a 'buzzword': hierarchical structure", in Proc, Information Processing 74".
37. C.P. Pfleeger, "Data security", in Encyclopedia of Computer Science, A.Ralston, E.D. Reilly, D. Hemmendinger, eds, Nature Publishing Group, 2000, pp. 504-507.
38. W.H. Pierce, Failure-Tolerant Computer Design, Academic Press, 1965.
39. th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-18), Tokyo, Japan, June 1988, pp. 246-251.
40. D. Powell, R. Stroud, editors, "Conceptual Model and Architecture of MAFTIA", MAFTIA, Project IST-1999-11583, Jan. 2003, 123 p.
41. B. Randell, "System structure for software fault tolerance", IEEE Transactions on Software Engineering, SE-1:1220-232, 1975.
42. Software considerations in airborne systems and equipment certification, DO-178-B/ED-12-B, Requirements and Technical Concepts for Aviation/European Organization for Civil Aviation Equipment, 1992.
43. F. Schneider, ed., Trust in Cyberspace, National Academy Press, 1999.
44. D.P. Siewiorek, D. Johnson, "A design methodology for high reliability systems: the Intel 432", in D.P. Siewiorek, R.S. Swarz, Reliable Computer Systems, Design and Evaluation, Digital Press, 1992, pp. 737-767.
45. USA Department of Transportation, Office of Inspector General, Audit Report: Advance Automation System, Report No. AV-1998-113, April 15,1998.
46. J. von Neumann, "Probabilistic logics and the synthesis of reliable organisms from unreliable components", in C. E. Shannon and J. McCarthy, editors, Annals of Math Studies, numbers 34, pages 43-98. Princeton Univ. Press, 1956.
47. A. Wood, "NonStop availability in a client/server environment", Tandem Technical Report 94.1, March 1994.