Dependable Computing for Critical Applications 4 /
This book contains articles accepted for presentation at the 4th IFIP Working Conference on Dependable Computing for Critical Applications. 21 papers selected from a total of 95 submitted articles address all aspects of dependability, a broad term defined as the degree of trust that may justifiably...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Vienna :
Springer Vienna,
1995.
|
| Series: | Dependable computing and fault-tolerant systems ;
9. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book contains articles accepted for presentation at the 4th IFIP Working Conference on Dependable Computing for Critical Applications. 21 papers selected from a total of 95 submitted articles address all aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security and performance. The presentations aim to contribute to a unified understanding and integration of these concepts, so future computer based systems will indeed be more dependable. In addition contributions to three panel sessions are included: The first, entitled "Formal Methods for Safety in Critical Systems" explored the role of formal methods in specifying and assessing system safety; the second, entitled "Qualitative versus Quantitative Assessment of Security?" debated the role that methods based on mathematical logic and stochastic techniques ought to play in assessing system security; and the third entitled "Common Techniques for Fault-tolerance and Security" explored techniques that are useful for attaining both fault-tolerance and security. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (viii, 499 pages 62 illustrations) |
| ISBN: | 9783709193969 (electronic bk.) 3709193966 (electronic bk.) |
| ISSN: | 0932-5581 ; |