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

Preprint English OPEN
Bringer, Julien; Chabanne, Hervé; Le Métayer, Daniel; Lescuyer, Roch;
(2017)
  • Publisher: HAL CCSD
  • Subject: [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY] | ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.6: Regulation | ACM : K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy | regulation | formal methods | [ INFO.INFO-CY ] Computer Science [cs]/Computers and Society [cs.CY] | ACM : K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.6: Regulation | data protection | verification | biometric systems | Privacy by design | ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy
    acm: Data_MISCELLANEOUS

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 architect... View more
  • References (8)

    1. Mart´ın Abadi and C´edric Fournet. Mobile values, new names, and secure communication. In ACM Symposium on Principles of Programming Languages - POPL'01, pages 104-115. ACM Press, 2001.

    2. Thibaud Antignac and Daniel Le M´etayer. Privacy architectures: Reasoning about data minimisation and integrity. In Security and Trust Management - STM'14, volume 8743 of LNCS, pages 17-32. Springer, 2014.

    3. Thibaud Antignac and Daniel Le M´etayer. Trust driven strategies for privacy by design. In Trust Management - IFIP-TM'15, volume 454 of IFIP, pages 60-75. Springer, 2015.

    4. Adam Barth, Anupam Datta, John C. Mitchell, and Helen Nissenbaum. Privacy and contextual integrity: Framework and applications. In IEEE Symposium on Security and Privacy - S&P'06, pages 184-198. IEEE Computer Society, 2006.

    5. Moritz Y. Becker, Alexander Malkis, and Laurent Bussard. S4P: A generic language for specifying privacy preferences and policies. Technical report, Microsoft Research / IMDEA Software / EMIC, 2010.

    6. BioPriv. Biometric systems Private by design. French ANR research project ANR12-INSE-0013, 2013. http://www.agence-nationale-recherche.fr/?Project= ANR-12-INSE-0013.

    7. Marina Blanton and Paolo Gasti. Secure and ecient protocols for iris and fingerprint identification. In European Symposium on Research in Computer Security - ESORICS'11, volume 6879 of LNCS, pages 190-209. Springer, 2011.

    8. Julien Bringer, Herv´e Chabanne, Malika Izabach`ene, David Pointcheval, Qiang Tang, and S´ebastien Zimmer. An application of the Goldwasser-Micali cryptosys-

  • Metrics
Share - Bookmark