Skip to Main content Skip to Navigation
Journal articles

A Dynamic Logic for Privacy Compliance

Guillaume Aucher 1, * Leendert van der Torre 2 Guido Boella 3
* Corresponding author
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Sunday, September 1, 2013 - 2:37:25 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:18 PM
Long-term archiving on: : Tuesday, December 3, 2013 - 11:20:23 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License



Guillaume Aucher, Leendert van der Torre, Guido Boella. A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law, Springer Verlag, 2011, 19 (2-3), pp.187-231. ⟨10.1007/s10506-011-9114-3⟩. ⟨inria-00628318v2⟩



Les métriques sont temporairement indisponibles