A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
Document Type
Conference Proceeding
Publication Date
2017
DOI
https://doi.org/10.1109/PAC.2017.31
Abstract
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.
Publication Information
Joshaghani, Rezvan and Mehrpouyan, Hoda. (2017). "A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies". Proceedings: 2017 IEEE Symposium on Privacy-Aware Computing: PAC 2017, 178-179.