A Formal Approach to the Integrated Analysis of Security and QoS (2007)

by A Aldini, M Bernardo
Venue:in Reliability Engineering & System Safety 92:1503–1520