Skip to main content
Contribution to Book
Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems
IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium
  • Rezvan Joshaghani, Boise State University
  • Stacy Black, Boise State University
  • Elena Sherman, Boise State University
  • Hoda Mehrpouyan, Boise State University
Document Type
Conference Proceeding
Publication Date
1-1-2019
Disciplines
Abstract

As our society has become more information oriented, each individual is expressed, defined, and impacted by information and information technology. While valuable, the current state-of-the-art mostly are designed to protect the enterprise/ organizational privacy requirements and leave the main actor, i.e., the user, un-involved or with the limited ability to have control over his/her information sharing practices. In order to overcome these limitations, algorithms and tools that provide a user-centric privacy management system to individuals with different privacy concerns are required to take into the consideration the dynamic nature of privacy policies which are constantly changing based on the information sharing context and environmental variables. This paper extends the concept of contextual integrity to provide mathematical models and algorithms that enables the creations and management of privacy norms for individual users. The extension includes the augmentation of environmental variables, i.e. time, date, etc. as part of the privacy norms, while introducing an abstraction and a partial relation over information attributes. Further, a formal verification technique is proposed to ensure privacy norms are enforced for each information sharing action.

Citation Information
Rezvan Joshaghani, Stacy Black, Elena Sherman and Hoda Mehrpouyan. "Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems" IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium (2019)
Available at: http://works.bepress.com/hoda-mehrpouyan/13/