A Stochastic Model for Quantitative Security Analyses of Networked Systems | IEEE Journals & Magazine | IEEE Xplore