A Language Based Security Approach for Securing Map-Reduce Computations in the Cloud | IEEE Conference Publication | IEEE Xplore