A dynamic logic for privacy compliance

Artificial Intelligence and Law 19 (2-3):187-231 (2011)
  Copy   BIBTEX

Abstract

Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but also to represent explicitly the declarative privacy policies together with their dynamics. The logic can be used to check both regulatory and behavioral compliance, respectively by checking that the permissions and obligations set up by the security monitor of an organization are not in conflict with the privacy policies, and by checking that these obligations are indeed enforced.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Online privacy as a corporate social responsibility: an empirical study.Irene Pollach - 2011 - Business Ethics, the Environment and Responsibility 20 (1):88-102.
DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Different Perspectives on Cross-Compliance.Stefan Mann - 2005 - Environmental Values 14 (4):471 - 482.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
The Epistemic Account of Privacy.Martijn Blaauw - 2013 - Episteme 10 (2):167-177.
PDL has interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.

Analytics

Added to PP
2013-10-27

Downloads
58 (#248,081)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A bimodal simulation of defeasibility in the normative domain.Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay - 2020 - In Proceedings of FCR-2020. CEUR Workshop Proceedings. pp. 41-54.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.

View all 17 references / Add more references