Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures

  • Julien Bringer
  • Hervé Chabanne
  • Daniel Le Métayer
  • Roch Lescuyer
Conference paper

DOI: 10.1007/978-3-319-19249-9_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9109)
Cite this paper as:
Bringer J., Chabanne H., Le Métayer D., Lescuyer R. (2015) Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. In: Bjørner N., de Boer F. (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science, vol 9109. Springer, Cham

Abstract

The work presented in this paper is the result of a collaboration between academics, industry and lawyers to show the applicability of the privacy by design approach to biometric systems and the benefit of formal methods to this end. The choice of particular techniques and the role of the components (central server, secure module, terminal, smart card, etc.) in the architecture have a strong impact on the privacy guarantees provided by a biometric system. However, existing proposals were made on a case by case basis, which makes it difficult to compare them and to provide a rationale for the choice of specific options. In this paper, we show that a general framework for the definition of privacy architectures can be used to specify these options and to reason about them in a formal way.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Julien Bringer
    • 1
  • Hervé Chabanne
    • 1
    • 2
  • Daniel Le Métayer
    • 3
  • Roch Lescuyer
    • 1
  1. 1.MorphoIssy-Les-MoulineauxFrance
  2. 2.Télécom ParisTechParisFrance
  3. 3.Inria, Université de LyonLyonFrance

Personalised recommendations