Dependable Computing for Critical Applications 4

Flaviu Cristian, Gerard LeLann, Teresa Lunt (Herausgeber)

XIII, 499 Seiten

1995
Springer Wien (Hersteller)
9783211826492 (ISBN)

Infos

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.

Produkt-Details

• Zusatzinfo: 62 figs.
• Verlagsort: Vienna
• Sprache: englisch
• Gewicht: 1090 g
• Einbandart: gebunden
• Themenwelt: Informatik ► Theorie / Studium ► Kryptologie
• ISBN-13: 9783211826492 / 9783211826492
• Zustand: Neuware