Flow-Graph and Markovian Methods for Cyber Security Analysis. - Kouroush Jenab; Sam Khoury; Kim LaFevor (Int. J. Enterp. Inf. Syst., 2016)