Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures

Abstract : The goal of the work presented in this paper is to show the applicability of the privacy by design approach to biometric systems and the benefit of using formal methods to this end. We build on a general framework for the definition and verification of privacy architectures introduced at STM 2014 and show how it can be adapted to biometrics. The choice of particular techniques and the role of the components (central server, secure module, biometric terminal, smart card, etc.) in the architecture have a strong impact on the privacy guarantees provided by a biometric system. Some architectures have already been analysed but on a case by case basis, which makes it dicult to draw comparisons and to provide a rationale for the choice of specific options. In this paper, we describe the application of a general privacy architecture framework to specify di↵erent design options for biometric systems and to reason about them in a formal way.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01671356
Contributeur : Daniel Le Métayer <>
Soumis le : vendredi 22 décembre 2017 - 10:56:23
Dernière modification le : mardi 17 avril 2018 - 09:05:29

Fichier

BiometricSystems.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01671356, version 1

Collections

Citation

Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer. Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. 2017. 〈hal-01671356〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

54