A Remote Attestation Approach for a Secure Virtual Machine Migration in Federated Cloud Environments | IEEE Conference Publication | IEEE Xplore