The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …

This paper gives the main definitions relating to dependability, a generic concept including
as special case such attributes as reliability, availability, safety, confidentiality, integrity …

Security researchers are applying software reliability models to vulnerability data, in an
attempt to model the vulnerability discovery process. I show that most current work on these …

SURF-2, a software tool for evaluating system dependability, is described. It is especially
designed for an evaluation-based system design approach in which multiple design …

This paper presents a new approach to integrated security and dependability evaluation,
which is based on stochastic modeling techniques. Our proposal aims to provide operational …

The work described here concerns the use of so-called multilegged arguments to support
dependability claims about software-based systems. The informal justification for the use of …

This paper gives the main definitions relating to dependability, a generic concept including a
special case of such attributes as reliability, availability, safety, integrity, maintainability, etc …

This paper deals with the problem of interpreting security and dependability in such a way
that they can be incorporated into the same framework. This calls for a modified …

Dependability evaluation is an important often-mandatory step in designing and analyzing
(critical) systems. Introducing control and/or computing devices to automate processes …

The focus of Software for Dependable Systems is a set of fundamental principles that
underlie software system dependability and that suggest a different approach to the …