Privacy Policies with Modal Logic: The Dynamic Turn
Privacy Policies with Modal Logic: The Dynamic Turn
复制标题
具有模态逻辑的隐私政策：动态转向
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Leendert van der Torre
中科院分区：
文献类型：
--
作者：
Guillaume Aucher;G. Boella;Leendert van der Torre
隐私策略通常根据允许的消息来定义。相反，在本文中，我们从根据允许和强制知识定义的静态隐私策略中动态地导出允许的消息。使用这种新方法，我们不必显式地指定所有消息组合的权限和禁止。为了说明和推理这些隐私策略，我们扩展了Cuppens和demoombe引入的多模态逻辑，使用更新运算符对知识和隐私策略的动态建模。我们还展示了如何确定强制性消息，如何表达认知规范，以及如何检查情况是否符合隐私政策。我们公理化并证明了逻辑的可决性。
Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy. We axiomatize and prove the decidability of our logic.