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 metadatas

https://hal.inria.fr/inria-00628318
Contributor : Guillaume Aucher <>
Submitted on : Sunday, October 2, 2011 - 10:16:17 AM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM
Long-term archiving on : Tuesday, January 3, 2012 - 2:20:23 AM

File

JAIL11.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

43

Files downloads

116