Dependable Computing for Critical Applications 4
Seiten
1995
Springer Wien (Hersteller)
978-3-211-82649-2 (ISBN)
Springer Wien (Hersteller)
978-3-211-82649-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
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.
| Zusatzinfo | 62 figs. |
|---|---|
| Verlagsort | Vienna |
| Sprache | englisch |
| Gewicht | 1090 g |
| Einbandart | gebunden |
| Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
| ISBN-10 | 3-211-82649-1 / 3211826491 |
| ISBN-13 | 978-3-211-82649-2 / 9783211826492 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
