A formal model for accountability

Walid Benghabrit 1, 2
1 ASCOLA - Aspect and Composition Languages
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Résumé : Nous assistons à la démocratisation des services ducloud et de plus en plus d’utilisateurs (individuels ouentreprises) utilisent ces services dans la vie de tous lesjours. Dans ces scénarios, les données personnellestransitent généralement entre plusieurs entités.L’utilisateur final se doit d’être informé de la collecte, dutraitement et de la rétention de ses donnéespersonnelles, mais il doit aussi pouvoir tenir pourresponsable le fournisseur de service en cas d’atteinte àsa vie privée. La responsabilisation (ou accountability)désigne le fait qu’un système ou une personne estresponsable de ses actes et de leurs conséquences.Dans cette thèse nous présentons un framework deresponsabilisation AccLab qui permet de prendre enconsidération la responsabilisation dès la phase deconception d’un système jusqu’à son implémentation.Afin de réconcilier le monde juridique et le mondeinformatique, nous avons développé un langage dédiénommé AAL permettant d’écrire des obligations et despolitiques de responsabilisation. Ce langage est basé surune logique formelle FOTL ce qui permet de vérifier lacohérence des politiques de responsabilisation ainsi quela compatibilité entre deux politiques. Les politiques sontensuite traduites en une logique temporelle distribuéeque nous avons nommée FO-DTL 3, cette dernière estassociée à une technique de monitorage basée sur laréécriture de formules. Enfin nous avons développé unoutil monitorage appelé AccMon qui fournit des moyensde surveiller les politiques de responsabilisation dans lecontexte d’un système réel. Les politiques sont fondéessur la logique FO-DTL 3 et le framework peut agir enmode centralisée ou distribuée et fonctionne à la fois enligne et hors ligne.
Type de document :
Thèse
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. 〈NNT : 2017IMTA0043〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01692550
Contributeur : Abes Star <>
Soumis le : jeudi 25 janvier 2018 - 11:37:25
Dernière modification le : jeudi 17 janvier 2019 - 13:54:02
Document(s) archivé(s) le : jeudi 24 mai 2018 - 20:10:58

Fichier

2017IMTA0043_Benghabrit_Walid_...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01692550, version 1

Citation

Walid Benghabrit. A formal model for accountability. Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. 〈NNT : 2017IMTA0043〉. 〈tel-01692550〉

Partager

Métriques

Consultations de la notice

519

Téléchargements de fichiers

191