Model-based evaluation: From dependability to security (2004)

by D M Nicol, W H Sanders, K S Trivedi
Venue:IEEE Trans. Dependable Secur. Comput