Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

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

Protection de la vie privée dès la phase de conception: application à la vérification de propriétés d'architectures de systèmes biométriques

(1) , (1) , (2, 3) , (1)
1
2
3

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.
Fichier principal
Vignette du fichier
BiometricSystems.pdf (779.22 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01671356 , version 1 (22-12-2017)

Identifiers

  • HAL Id : hal-01671356 , version 1

Cite

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⟩

Relations

187 View
221 Download

Share

Gmail Facebook Twitter LinkedIn More