Méthodes formelles pour le respect de la vie privée par construction

Résumé : Le respect de la vie privée par construction est de plus en plus mentionné comme une étape essentielle vers une meilleure protection de la vie privée. Les nouvelles technologies de l'information et de la communication donnent naissance à de nouveaux modèles d'affaires et de services. Ces services reposent souvent sur l'exploitation de données personnelles à des fins de personnalisation. Alors que les exigences de respect de la vie privée sont de plus en plus sous tension, il apparaît que les technologies elles-mêmes devraient être utilisées pour proposer des solutions davantage satisfaisantes. Les technologies améliorant le respect de la vie privée ont fait l'objet de recherches approfondies et diverses techniques ont été développées telles que des anonymiseurs ou des mécanismes de chiffrement évolués. Cependant, le respect de la vie privée par construction va plus loin que les technologies améliorant simplement son respect. En effet, les exigences en terme de protection des données à caractère personnel doivent être prises en compte au plus tôt lors du développement d’un système car elles peuvent avoir un impact important sur l'ensemble de l'architecture de la solution. Cette approche peut donc être résumée comme « prévenir plutôt que guérir ». Des principes généraux ont été proposés pour définir des critères réglementaires de respect de la vie privée. Ils impliquent des notions telles que la minimisation des données, le contrôle par le sujet des données personnelles, la transparence des traitements ou encore la redevabilité. Ces principes ne sont cependant pas suffisamment précis pour être directement traduits en fonctionnalités techniques. De plus, aucune méthode n’a été proposée jusqu’ici pour aider à la conception et à la vérification de systèmes respectueux de la vie privée. Cette thèse propose une démarche de spécification, de conception et de vérification au niveau architectural. Cette démarche aide les concepteurs à explorer l'espace de conception d'un système de manière systématique. Elle est complétée par un cadre formel prenant en compte les exigences de confidentialité et d’intégrité des données. Enfin, un outil d’aide à la conception permet aux concepteurs non-experts de vérifier formellement les architectures. Une étude de cas illustre l’ensemble de la démarche et montre comment ces différentes contributions se complètent pour être utilisées en pratique.
Type de document :
Thèse
Génie logiciel [cs.SE]. INSA de Lyon, 2015. Français. 〈NNT : 2015ISAL0016〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01235044
Contributeur : Abes Star <>
Soumis le : vendredi 27 novembre 2015 - 14:40:50
Dernière modification le : samedi 27 octobre 2018 - 01:19:56

Fichier

these.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01235044, version 2

Collections

Citation

Thibaud Antignac. Méthodes formelles pour le respect de la vie privée par construction. Génie logiciel [cs.SE]. INSA de Lyon, 2015. Français. 〈NNT : 2015ISAL0016〉. 〈tel-01235044v2〉

Partager

Métriques

Consultations de la notice

395

Téléchargements de fichiers

502