Log Analysis for Data Protection Accountability

Denis Butin 1, 2, * Daniel Le Métayer 1, 2
* Auteur correspondant
1 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : Accountability is increasingly recognised as a cornerstone of data protection, notably in European regulation, but the term is frequently used in a vague sense. For accountability to bring tangible benefits, the expected properties of personal data handling logs (used as "accounts") and the assumptions regarding the logging process must be defined with accuracy. In this paper, we provide a formal framework for accountability and show the correctness of the log analysis with respect to abstract traces used to specify privacy policies. We also show that compliance with respect to data protection policies can be checked based on logs free of personal data, and describe the integration of our formal framework in a global accountability process.
Type de document :
Communication dans un congrès
FM2014 - 19th International Symposium on Formal Methods, May 2014, National University of Singapore (NUS), Singapore. Springer, pp.163-178, 2014, Lecture Notes in Computer Science. 〈http://www.comp.nus.edu.sg/~pat/FM2014/〉. 〈10.1007/978-3-319-06410-9_12〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00984308
Contributeur : Denis Butin <>
Soumis le : lundi 28 avril 2014 - 10:40:46
Dernière modification le : mercredi 28 février 2018 - 15:20:28
Document(s) archivé(s) le : lundi 28 juillet 2014 - 11:16:01

Fichier

bm-accountability-camready.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Denis Butin, Daniel Le Métayer. Log Analysis for Data Protection Accountability. FM2014 - 19th International Symposium on Formal Methods, May 2014, National University of Singapore (NUS), Singapore. Springer, pp.163-178, 2014, Lecture Notes in Computer Science. 〈http://www.comp.nus.edu.sg/~pat/FM2014/〉. 〈10.1007/978-3-319-06410-9_12〉. 〈hal-00984308〉

Partager

Métriques

Consultations de la notice

443

Téléchargements de fichiers

727