Abstract Information technology has penetrated into all aspects of politics, economy, and
culture of the whole society. The information revolution has changed the way of …

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 …

Mobius 2.3 is an extensible dependability, security, and performance modeling environment
for large-scale discrete-event systems. It provides multiple model formalisms and solution …

By intruding on the substations and control center of the supervisory control and data
acquisition system, trip commands can be sent to intelligent electronic devices that control …

For mission-oriented mobile group systems designed to continue mission execution in
hostile environments in the presence of security attacks, it is critical to properly deploy …

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 …

To trust a computer system that is supposed to be secure, it is necessary to predict the
degree to which the system's security level can be achieved when operating in a specific …

In mobile ad hoc networks (MANETs), denial of service (DoS) attacks not only consume the
scarce system resources, such as bandwidth, battery energy, or CPU cycles, but also isolate …

This paper presents ongoing work on using stochastic game theory as a mathematical tool
for computing the expected behavior of attackers. The possible use of the Nash Equilibrium …

Historiquement séparées, sûreté et sécurité sont pourtant deux problématiques intimement
liées. Si les trop rares initiatives de décloisonnement, adaptant notamment des outils d'un …