Another Look at Secure Big Data Processing: Formal Framework and a Potential Approach | IEEE Conference Publication | IEEE Xplore