Dependable Computing for Critical Applications 4
By: edited by Flaviu Cristian, Gerard Lann, Teresa Lunt
Contributors: Lann, Gerard; Lunt, Teresa
Series: Dependable Computing and Fault-Tolerant Systems -- 9; Dependable Computing and Fault-Tolerant Systems -- 9
Publisher: Springer Vienna
Published: 1995
Place of publication: Vienna
Language: eng
Format: [electronic resource] /
Number of pages: 499
ISBN-13: 9783709193983; 9783709193969
Subjects: Electronic data processing; Engineering; Computer science; Software engineering
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.