MAP-REDUCE 对信息流策略的运行时强制
密码学与安全
2013-05-10 v1
摘要
我们提出了一种灵活的框架，可轻松定制以强制实施多种多样的信息流属性。我们的框架结合了安全多执行与 map-reduce 计算的思想。所需的信息流属性仅需通过更改控制并行执行的 map（或 reduce）程序即可获得。我们展示了该强制机制的架构及其针对非干扰（NI）（源自 Devriese 和 Piessens）以及 Mantel 提出的一些属性（如输入移除 RI 和输入删除 DI）的定制方案，并形式化地证明了针对这些属性的强制机制的健全性和精确性。
引用
@article{arxiv.1305.2136,
title = {MAP-REDUCE Runtime Enforcement of Information Flow Policies},
author = {Minh Ngo and Fabio Massacci and Olga Gadyatskaya},
journal= {arXiv preprint arXiv:1305.2136},
year = {2013}
}
备注
40 pages