Dependable Computing for Critical Applications 4

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On Doubly Guarded Multiprocessor Control System Design
3. Altmetric Badge
   Chapter 2 Using Data Consistency Assumptions to Show System Safety
4. Altmetric Badge
   Chapter 3 Formal Methods Panel: Are Formal Methods Ready for Dependable Systems?
5. Altmetric Badge
   Chapter 4 Industrial Use of Formal Methods
6. Altmetric Badge
   Chapter 5 Formal Methods for Safety in Critical Systems
7. Altmetric Badge
   Chapter 6 Can we rely on Formal Methods?
8. Altmetric Badge
   Chapter 7 A Role for Formal Methodists
9. Altmetric Badge
   Chapter 8 Toward a Multilevel-Secure, Best-Effort Real-Time Scheduler
10. Altmetric Badge
    Chapter 9 Fault-Detecting Network Membership Protocols for Unknown Topologies
11. Altmetric Badge
    Chapter 10 Denial of Service: A Perspective
12. Altmetric Badge
    Chapter 11 Reasoning about Message Integrity
13. Altmetric Badge
    Chapter 12 On the Security Effectiveness of Cryptographic Protocols
14. Altmetric Badge
    Chapter 13 Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology
15. Altmetric Badge
    Chapter 14 On Managing Fault-Tolerant Design Risks
16. Altmetric Badge
    Chapter 15 Qualitative vs. Quantitative Assessment of Security: A Panel Discussion
17. Altmetric Badge
    Chapter 16 A Fault Forecasting Approach for Operational Security Monitoring
18. Altmetric Badge
    Chapter 17 Measurement of Operational Security
19. Altmetric Badge
    Chapter 18 Quantitative Measures of Security
20. Altmetric Badge
    Chapter 19 The Feasibility of Quantitative Assessment of Security
21. Altmetric Badge
    Chapter 20 Quantitative Measures vs. Countermeasures
22. Altmetric Badge
    Chapter 21 Continual On-Line Diagnosis of Hybrid Faults
23. Altmetric Badge
    Chapter 22 The General Convergence Problem: A Unification of Synchronous and Asynchronous Systems
24. Altmetric Badge
    Chapter 23 Specification and Verification of Behavioral Patterns in Distributed Computations
25. Altmetric Badge
    Chapter 24 Specification and Verification of an Atomic Broadcast Protocol
26. Altmetric Badge
    Chapter 25 Trace-Based Compositional Refinement of Fault Tolerant Distributed Systems
27. Altmetric Badge
    Chapter 26 A Modular Robust Binary Tree
28. Altmetric Badge
    Chapter 27 Secondary Storage Error Correction Utilizing the Inherent Redundancy of the Stored Data
29. Altmetric Badge
    Chapter 28 Common Techniques Panel: Common Techniques in Fault-Tolerance and Security
30. Altmetric Badge
    Chapter 29 Improving Security by Fault Tolerance
31. Altmetric Badge
    Chapter 30 The Need for a Failure Model for Security
32. Altmetric Badge
    Chapter 31 Reliability and Security
33. Altmetric Badge
    Chapter 32 Fault Tolerance and Security
34. Altmetric Badge
    Chapter 33 Common Techniques in Fault Tolerance and Security (and Performance!)
35. Altmetric Badge
    Chapter 34 Upper and Lower Bounds on the Number of Faults a System Can Withstand Without Repairs
36. Altmetric Badge
    Chapter 35 Scheduling Fault Recovery Operations for Time-Critical Applications
37. Altmetric Badge
    Chapter 36 Effects of Physical Injection of Transient Faults on Control Flow and Evaluation of Some Software-Implemented Error Detection Techniques
38. Altmetric Badge
    Chapter 37 System-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures
39. Altmetric Badge
    Chapter 38 Improving Availability Bounds using the Failure Distance Concept