2013/05/09 by Minh Ngo, Ngo, Minh, Fabio Massacci +3
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #D.2.4 #D.4.6 #FOS: Computer and information sciences #Network Security and Intrusion Detection #Security and Verification in Computing #cs.CR
paper · pdf · doi:10.48550/arxiv.1305.2136
40 pages
arxiv created 2013/05/09 · openalex publication_date 2013/05/09 · arxiv updated 2013/05/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We propose a flexible framework that can be easily customized to enforce a large variety of information flow properties. Our framework combines the ideas of secure multi-execution and map-reduce computations. The information flow property of choice can be obtained by simply changes to a map (or reduce) program that control parallel executions. We present the architecture of the enforcement mechanism and its customizations for non-interference (NI) (from Devriese and Piessens) and some properties proposed by Mantel, such as removal of inputs (RI) and deletion of inputs (DI), and demonstrate formally soundness and precision of enforcement for these properties.