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.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

Cited literature [43 references]  Display  Hide  Download

https://hal.inria.fr/hal-01671356
Contributor : Daniel Le Métayer <>
Submitted on : Friday, December 22, 2017 - 10:56:23 AM
Last modification on : Thursday, November 29, 2018 - 6:18:04 PM

File

BiometricSystems.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01671356, version 1

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⟩

Share

Metrics

Record views

225

Files downloads

204