A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
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.
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. http://dx.doi.org/10.1109/PAC.2017.31