Security risk analysis of IaaS based on the abstract state machine model. - Xiang Shuang; Zhao Bo; Xiao Yu; An Yang (Int. J. High Perform. Comput. Netw., 2016)