A Dynamic Logic for Privacy Compliance - Archive ouverte HAL Access content directly
Journal Articles Artificial Intelligence and Law Year : 2011

A Dynamic Logic for Privacy Compliance

(1) , (2) , (3)


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.
Fichier principal
Vignette du fichier
JAIL11-corrected.pdf (361.47 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00628318 , version 1 (02-10-2011)
inria-00628318 , version 2 (01-09-2013)


Attribution - NonCommercial - NoDerivatives - CC BY 4.0



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



Gmail Facebook Twitter LinkedIn More