A Dynamic Logic for Privacy Compliance

Guillaume Aucher 1, * Leendert Van Der Torre 2 Guido Boella 3
* Auteur correspondant
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.
Type de document :
Article dans une revue
Journal of Artificial Intelligence and Law, Springer, 2011, 19 (2-3), pp.187-231. 〈http://www.springerlink.com/content/m6tl3832163628h8/〉. 〈10.1007/s10506-011-9114-3〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00628318
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 02:37:25
Dernière modification le : mercredi 11 avril 2018 - 02:00:07
Document(s) archivé(s) le : mardi 3 décembre 2013 - 11:20:23

Fichier

JAIL11-corrected.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

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. 〈http://www.springerlink.com/content/m6tl3832163628h8/〉. 〈10.1007/s10506-011-9114-3〉. 〈inria-00628318v2〉

Partager

Métriques

Consultations de la notice

454

Téléchargements de fichiers

221