A model of information flow control to determine whether malfunctions cause the privacy invasion
A model of information flow control to determine whether malfunctions cause the privacy invasion
复制标题
判断故障是否导致隐私侵犯的信息流控制模型
DOI：
10.1145/2181196.2181198
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Evans D
中科院分区：
文献类型：
--
作者：
Evans D
在收集、处理和存储个人数据的复杂系统中，隐私很难得到保证。当数据来自感知物理现象时，这个问题尤其严重，因为个人不太可能意识到走过建筑物等行为会产生隐私敏感数据。信息流控制（IFC）是一种成熟的技术，用于管理大型分布式系统中的安全和隐私问题。本文介绍了（i）IFC所需的元数据，以标签的形式，可以反映传感器的物理特性;以及（ii）IFC的正式表达，这允许如何可以被用来静态地确定处理私有数据的系统的比例，以及如何在软件或人为故障面前改变。
Privacy is difficult to assure in complex systems that collect, process, and store data about individuals. The problem is particularly acute when data arise from sensing physical phenomena as individuals are unlikely to realise that actions such as walking past a building generate privacy-sensitive data. Information Flow Control (IFC) is a mature technique for managing security and privacy concerns in large distributed systems. This paper describes (i) how the meta-data required by IFC, in the form of tags, can reflect the physical properties of sensors; and (ii) how the formal expression of the IFC this allows can be used to, statically, determine the proportion of the system that handles private data and how this changes in the face of software or human malfunctions.
用于静态执行用户定义的隐私策略的信息流控制
DOI：
10.1109/policy.2011.23
发表时间：
2011
期刊：
2011 IEEE International Symposium on Policies for Distributed Systems and Networks
影响因子：
--
作者：
Sören Preibusch
通讯作者：
Sören Preibusch
Fabric：安全分布式计算和存储平台
DOI：
10.1145/1629575.1629606
发表时间：
2009
期刊：
Comput. J.
影响因子：
--
作者：
Jed Liu;Michael D. George;K. Vikram;Xin Qi;Lucas Waye;A. Myers
通讯作者：
A. Myers
SIF：加强 Web 应用程序的机密性和完整性
DOI：
--
发表时间：
2007
期刊：
USENIX Security Symposium
影响因子：
--
作者：
Stephen Chong;K. Vikram;A. Myers
通讯作者：
A. Myers