Program analysis for secure big data processing
The Hadoop Distributed File System