Modeling Virtual Machine Migration as a Security Mechanism by using Continuous-Time Markov Chain Model | IEEE Conference Publication | IEEE Xplore