A framework for secure live migration of virtual machines | IEEE Conference Publication | IEEE Xplore