A Remote Attestation Approach for a Secure Virtual Machine Migration in Federated Cloud Environments