Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications
Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications
复制标题
应用不透明计算模型在物联网应用中实施信息流策略
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
A. Prakash
中科院分区：
文献类型：
--
作者：
Amir Rahmati;Earlence Fernandes;A. Prakash
执行流量控制是一个重要的，尽管很难在实际应用中实现安全目标。在本文中，我们考虑了物联网应用程序中流量控制的问题，并提出了一种对其进行信息流策略的方法。我们描述了一个称为“无情计算”的模型及其实现，流动范围，并将如何将现有的IoT应用程序（无流策略执行）移植到使用FlowFence来保证防止数据泄漏的保护的模型。最后，我们报告性能开销，并讨论未来工作的方向。
Enforcing flow-control is an important, albeit difficult to achieve security goal in practical applications. In this paper, we consider the problem of flow-control in IoT applications and present an approach to enforce information flow policies on them. We describe a model called Opacified Computation and its implementation, FlowFence, and show how to port an existing IoT application (without flow policy enforcement) to one that uses FlowFence to guarantee protection against data leakage. Finally, we report on performance overhead and discuss directions for future work.
DOI：
--
发表时间：
2014-10
期刊：
--
影响因子：
--
作者：
D. Stefan;Edward Z. Yang;Petr Marchenko;Alejandro Russo;David Herman;B. Karp;David Mazières
通讯作者：
D. Stefan;Edward Z. Yang;Petr Marchenko;Alejandro Russo;David Herman;B. Karp;David Mazières