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

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/inria-00628318
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 1, 2013 - 2:37:25 AM
Last modification on : Friday, November 16, 2018 - 1:23:11 AM
Long-term archiving on : Tuesday, December 3, 2013 - 11:20:23 AM

File

JAIL11-corrected.pdf
Files produced by the author(s)

Licence


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

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-00628318v2⟩

Share

Metrics

Record views

1447

Files downloads

335