Basic concepts and taxonomy of dependable and secure computing

作者: A. Avizienis , J.-C. Laprie , B. Randell , C. Landwehr

DOI: 10.1109/TDSC.2004.2

关键词:

摘要: This paper gives the main definitions relating to dependability, a generic concept including special case of such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, addition availability and integrity. Basic are given first. They then commented upon, supplemented by additional definitions, which address threats dependability security (faults, errors, failures), their attributes, means achievement (fault prevention, fault tolerance, removal, forecasting). The aim is explicate set general concepts, relevance across wide range situations and, therefore, helping communication cooperation among number scientific technical communities, ones that concentrating on particular types system, system failures, or causes failures.

参考文章(53)
T. Anderson, P. A. Lee, Fault Tolerance Terminology Proposals Reliable Computer Systems. pp. 6- 13 ,(1985) , 10.1007/978-3-642-82470-8_3
Jean-Claude Laprie, Dependability — Its Attributes, Impairments and Means Springer, Berlin, Heidelberg. pp. 3- 18 ,(1995) , 10.1007/978-3-642-79789-7_1
Michel Cukier, Franklin Webber, Partha Pal, William H. Sanders, Ronald Watro, Probabilistic Validation of Intrusion Tolerance 1 ,(2002)
Chandra Kintala, Yennun Huang, Software Fault Tolerance in the Application Layer ,(1995)
Brian P Bailey, Laura J Gurak, Joseph A Konstan, Trust in Cyberspace ,(1999)
Robert S. Swarz, Daniel P. Siewiorek, Reliable Computer Systems: Design and Evaluation ,(1992)
Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi, Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior european symposium on research in computer security. pp. 1- 15 ,(1998) , 10.1007/BFB0055852
John Rushby, Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 237- 257 ,(1992) , 10.1007/3-540-55092-5_13