Basic concepts and taxonomy of dependable and secure computing

1991

1984, Termes et D�finitions Concernant la Qualit� de Service, la Disponibilit� et la fiabilit�

10.1147/rd.452.0311

10.1007/3-540-55092-5_13

10.1109/TSE.1975.6312842

1992, Software Considerations in Airborne Systems and Equipment Certification

2003, Conceptual Model and Architecture of MAFTIA, 123

10.1145/62044.62050

10.1038/scientificamerican0603-54

10.1109/FTCS.1988.5327

10.1109/SECPRI.1996.502675

10.1109/FTCS.1992.243562

10.1109/FTCS.1995.466949

10.1007/BF00403767

ellison, 1999, Survivable Network Systems: An Emerging Discipline

pfleeger, 2000, Data Security, Encyclopedia of Computer Science, 504

debar, 1998, Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, Proc Fifth European Symp Research in Computer Security

10.1145/102792.102801

10.1145/361598.361623

10.1109/32.177364

10.1109/ISSRE.1992.285850

1995, An Introduction to Computer Security The NIST Handbook

2000, Information Technology Frontiers for a New Millennium

10.1109/32.815323

10.1007/978-3-642-79789-7_1

lynch, 1996, Distributed Algorithms

10.1016/0020-0190(85)90065-1

10.1109/TC.1980.1675654

10.1109/FTCSH.1995.532603

1992, Dependability Basic Concepts and Terminology

10.1109/MC.1984.1659219

boehm, 1979, Guidelines for Verifying and Validating Software Requirements and Design Specifications, Proc European Conf Applied Information Technology (IFIP '79), 711

10.1145/800195.805940

cachin, 2000, Malicious- and Accidental-Fault Tolerance in Internet Applications: Reference Model and Use Cases, 113

2004, DBench Dependability Benchmarks, 233

10.1145/357172.357176

10.1109/SECPRI.1988.8097

joseph, 1988, Software Fault Tolerance and Computer Security: A Shared Problem, Proc Ann Joint Conf Software Quality and Reliability, 428

10.1145/185403.185412

1998, Functional Safety of Electical/Electronic/Programmable Electronic Safety-Related Systems

10.1109/CSFW.1991.151573

johnson, 1995, Chaos: The Dollar Drain of IT Project Failures, Application Development Trends, 41

1992, Quality Concepts and Terminology

wood, 1994, NonStop Availability in a Client/Server Environment

1999, Common Criteria for Information Technology Security Evaluation

siewiorek, 1992, Reliable Computer Systems Design and Evaluation

1999, Trust in Cyberspace

sanders, 2002, Probabilistic Validation of Intrusion Tolerance, Supplemental Volume Int'l Conf Dependable Systems and Networks (DSN-2002), 78

rushby, 1995, Formal Methods and Their Role in the Certification of Critical Systems

1998, Audit Report: Advance Automation System

thevenod-fosse, 1981, An Experimental Study on Softawre Structural Testing: Deterministic Testing Versus Random Input Generation, Proc 21st IEEE Int'l Symp Fault-Tolerant Computing, 410

1999, Dependability Assessment Criteria

10.1109/12.2184

10.1093/comjnl/25.4.465

valdes, 2002, An Adaptative Intrusion-Tolerant Server Architecture, Proc 10th Int'l Workshop Security Protocols

gray, 2001, Functionality, Availability, Agility, Manageability, Scalability?the New Priorities of Application Design, Proc Int'l Workshop High Performance Trans Systems

10.1109/T-C.1973.223703

grigonis, 2001, Fault-Resilience for Communications Convergence

10.1287/opre.8.1.53

10.1109/FTCS.1995.466961

huang, 1995, Software Fault Tolerance in the Application Layer, Software Fault Tolerance, 231

10.1109/DCFTS.1999.814287

1992, Industrial-Process Measurement and Control?Evaluation of System Properties for the Purpose of System Assessment

avi?ienis, 1977, On the Implementation of N-Version Programming for Software Fault Tolerance During Execution, Proc IEEE COMPSAC 77 Conf, 149

10.1145/1465611.1465708

10.1109/24.537015

10.1109/SP.1986.10019

1982, Fundamental Concepts of Fault Tolerance, Proc 12th IEEE Int'l Symp Fault-Tolerant Computing (FTCS-12), 3

10.1147/sj.421.0005

gray, 1986, Why do Computers Stop and What Can Be Done About It?, Proc Fifth Symp Reliability in Distributed Software and Database Systems, 3