Formalizing and Enforcing Purpose Restrictions in Privacy Policies

Formalizing and Enforcing Purpose Restrictions in Privacy Policies
复制标题

正式化并执行隐私政策中的目的限制

DOI:
10.1109/sp.2012.21
复制
发表时间:
2012
期刊:
2012 IEEE Symposium on Security and Privacy
影响因子:
--
通讯作者:
Jeannette M. Wing
Jeannette M. Wing
中科院分区:
--
文献类型:
--
作者:
Michael Carl Tschantz;Anupam Datta;Jeannette M. Wing

文献摘要

参考文献

被引文献

相似文献

隐私政策通常会对受管辖实体可能使用个人信息的目的进行限制。例如,《健康保险流通与责任法案》(Health Insurance Portability and Accountability Act,HIPAA)等法规要求医院员工只能将医疗信息用于某些目的,如治疗,而不能用于其他目的,如八卦。因此,使用正式的或自动化的方法来执行隐私策略需要目的限制的语义来确定动作是否是为了某个目的。我们提供这样的语义使用基于规划的形式主义。我们使用马尔可夫决策过程(MDP)的修改版本,排除冗余的正式定义冗余的行动模型规划。我们认为,一个行动是为了一个目的,当且仅当该行动是一个计划的一部分,以优化满足该目的下的MDP模型。我们使用这种形式化来定义一个动作序列何时只是为了或不是为了某个目的。这种语义使我们能够创建和实现自动审计的算法,并正式描述和严格比较以前的实施方法。为了验证我们的语义,我们进行了一项调查,将我们的语义与人们通常理解的“目的”一词进行比较。
Privacy policies often place restrictions on the purposes for which a governed entity may use personal information. For example, regulations, such as the Health Insurance Portability and Accountability Act (HIPAA), require that hospital employees use medical information for only certain purposes, such as treatment, but not for others, such as gossip. Thus, using formal or automated methods for enforcing privacy policies requires a semantics of purpose restrictions to determine whether an action is for a purpose or not. We provide such a semantics using a formalism based on planning. We model planning using a modified version of Markov Decision Processes (MDPs), which exclude redundant actions for a formal definition of redundant. We argue that an action is for a purpose if and only if the action is part of a plan for optimizing the satisfaction of that purpose under the MDP model. We use this formalization to define when a sequence of actions is only for or not for a purpose. This semantics enables us to create and implement an algorithm for automating auditing, and to describe formally and compare rigorously previous enforcement methods. To validate our semantics, we conduct a survey to compare our semantics to how people commonly understand the word "purpose".
使用电子病历系统审计进行角色预测。
DOI: --
发表时间: 2011
期刊: AMIA ... Annual Symposium proceedings. AMIA Symposium
影响因子: --
作者:
Zhang,Wen;Gunter,CarlA;Liebovitz,David;Tian,Jian;Malin,Bradley
通讯作者: Malin,Bradley