The Coprelobri project: the logical approach to privacy

Abstract : The aim of the Coprelobri project (standing for " Computers and privacy regulations: the logical bridge ") is to provide tools to design , verify and enforce privacy policies, using logic as a means to reach this goal. The backbone of the project is the design of a logical language that can be used to represent and reason on privacy policies. In a first stage, this language, primarily based on epistemic and deontic logics, will be used to model current privacy regulations. Afterwards, theorem proving and model checking techniques will then be adapted to this language to build practical software tools for regulation makers, corporate lawyers, computer engineers and end users. Given the aims and expectations of this project, it is of paramount importance to take a truly multidisciplinay approach in which computer scientists and legal experts participate jointly to this research.
Type de document :
Communication dans un congrès
2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
Liste complète des métadonnées

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

https://hal-supelec.archives-ouvertes.fr/hal-00606014
Contributeur : Myriam Andrieux <>
Soumis le : lundi 7 septembre 2015 - 17:33:50
Dernière modification le : lundi 9 octobre 2017 - 11:20:01
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:06:39

Fichier

APVP11.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

  • HAL Id : hal-00606014, version 1

Citation

Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin, Sébastien Gambs, et al.. The Coprelobri project: the logical approach to privacy. 2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France. 〈hal-00606014〉

Partager

Métriques

Consultations de
la notice

878

Téléchargements du document

82