A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
复制标题
DOI：
10.1109/pac.2017.31
复制
发表时间：
2017-08
期刊：
影响因子：
--
通讯作者：
Rezvan Joshaghani;Hoda Mehrpouyan
中科院分区：
文献类型：
--
作者：
Rezvan Joshaghani;Hoda Mehrpouyan
随着互联网在生活的各个方面的发展，用户比以往任何时候都更需要共享私人信息。因此，用户需要一个隐私管理工具来执行复杂和定制的隐私策略。在本文中，我们提出了一个隐私管理系统，它不仅允许用户为数据共享操作定义复杂的隐私策略，而且还可以监控用户的行为和关系，以生成现实的策略。此外，该系统使用形式化建模和模型检测的方法来证明信息披露是有效的，并且隐私政策彼此一致。
With the growth of Internet in many different aspects of life, users are required to share private information more than ever. Hence, users need a privacy management tool that can enforce complex and customized privacy policies. In this paper, we propose a privacy management system that not only allows users to define complex privacy policies for data sharing actions, but also monitors users' behavior and relationships to generate realistic policies. In addition, the proposed system utilizes formal modeling and model-checking approach to prove that information disclosures are valid and privacy policies are consistent with one another.