Conflict and combination in privacy policy languages

  • Authors:
  • Adam Barth;John C. Mitchell;Justin Rosenstein

  • Affiliations:
  • Stanford University;Stanford University;Stanford University and Google, Inc.

  • Venue:
  • Proceedings of the 2004 ACM workshop on Privacy in the electronic society
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many modern enterprises require methods for guaranteeing compliance with privacy legislation and announced privacy policies. IBM has proposed a formal language, the Enterprise Privacy Authorization Language (EPAL), for describing privacy policies rigorously. In this paper, we identify four desirable properties of a privacy policy language: guaranteed consistency, guaranteed safety, admitting local reasoning, and closure under combination. While EPAL achieves only one of these four goals, an extended language framework allows us to achieve three out of four, while retaining the basic EPAL framework of restricting access and imposing obligations on users of confidential information.