A Model Driven Framework for Secure Outsourcing of Computation to the Cloud | IEEE Conference Publication | IEEE Xplore