Bayesian attack graphs for platform virtualized infrastructures in clouds. (April 2020)