Virtualisation security risk assessment for enterprise cloud services based on stochastic game nets model. - Junjie Lv; Juling Rong (IET Inf. Secur., 2018)