@inbook{61922bf38fcb40819b5a36f1dc58ffb3,
title = "A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies",
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.",
keywords = "data models, data privacy, electronic mail, model checking, privacy, web services",
author = "Rezvan Joshaghani and Hoda Mehrpouyan",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 1st IEEE Symposium on Privacy-Aware Computing, PAC 2017 ; Conference date: 01-08-2017 Through 03-08-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1109/PAC.2017.31",
language = "American English",
series = "2017-January",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "178--179",
booktitle = "Proceedings: 2017 IEEE Symposium on Privacy-Aware Computing: PAC 2017",
}