A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies

Rezvan Joshaghani, Hoda Mehrpouyan

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Scopus citations

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.

Original languageAmerican English
Title of host publicationProceedings: 2017 IEEE Symposium on Privacy-Aware Computing: PAC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages178-179
Number of pages2
ISBN (Electronic)9781538610275
DOIs
StatePublished - 1 Jan 2017
Event1st IEEE Symposium on Privacy-Aware Computing, PAC 2017 - Washington, United States
Duration: 1 Aug 20173 Aug 2017

Publication series

Name2017-January

Conference

Conference1st IEEE Symposium on Privacy-Aware Computing, PAC 2017
Country/TerritoryUnited States
CityWashington
Period1/08/173/08/17

Keywords

  • data models
  • data privacy
  • electronic mail
  • model checking
  • privacy
  • web services

EGS Disciplines

  • Computer Sciences
  • Information Security

Fingerprint

Dive into the research topics of 'A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies'. Together they form a unique fingerprint.

Cite this