Another Look at Secure Big Data Processing: Formal Framework and a Potential Approach