一个声明性的框架，用于支持和实施目的感知策略
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies
摘要：
目的对于隐私保护至关重要，因为它使用户确信其个人数据按预期处理。现有的建议，规范和执行的目的感知的政策是不满意的目的和/或缺乏支持的运行时执行的政策的语义模糊。在本文中，我们提出了一个声明性的框架，一阶时序逻辑的基础上，使我们能够提供一个精确的语义，目的感知的政策和重用算法的运行时监视器执行目的感知的政策的设计。我们还显示的生成和使用的监视器，据我们所知，是第一个这样的结果在文献中的目的意识的政策的复杂性。
英文摘要：
Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous semantics of purposes and/or lack of support to the run-time enforcement of policies. In this paper, we propose a declarative framework based on a first-order temporal logic that allows us to give a precise semantics to purpose-aware policies and to reuse algorithms for the design of a run-time monitor enforcing purpose-aware policies. We also show the complexity of the generation and use of the monitor which, to the best of our knowledge, is the first such a result in literature on purpose-aware policies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
