Security and Availability Modeling of VM Migration as Moving Target Defense | IEEE Conference Publication | IEEE Xplore