A quantitative risk-based model for reasoning over critical system properties

Abstract

This position paper suggests the use of a quantitative risk-based model to help support reeasoning and decision making that spans many of the critical properties such as security, safety, survivability, fault tolerance, and real-time.