Model-based evaluation: from dependability to security”, (2004)

by D M Nicol, W H Sanders, K S Trivedi
Venue:Dependable and Secure Computing, IEEE Transactions on , vol.1, no.1,