%0 Conference Proceedings
%T Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems
%+ Morpho
%+ Laboratoire Traitement et Communication de l'Information (LTCI)
%+ Département Communications & Electronique (COMELEC)
%+ Université de Lyon
%A Bringer, Julien
%A Chabanne, Hervé
%A Métayer, Daniel, Le
%A Lescuyer, Roch
%Z ANR
%Z Part 6: Reasoning about Security and its Cost
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)
%C Trento, Italy
%Y Silvio Ranise
%Y Vipin Swarup
%I Springer International Publishing
%3 Data and Applications Security and Privacy XXX
%V LNCS-9766
%P 313-327
%8 2016-07-18
%D 2016
%K Privacy by design
%K Formal methods
%K Biometric systems
%Z Computer Science [cs]Conference papers
%X This paper follows a recent line of work that advocates the use of formal methods to reason about privacy properties of system architectures. We propose an extension of an existing formal framework, motivated by the need to reason about properties of architectures including group authentication functionalities. By group authentication, we mean that a user can authenticate on behalf of a group of users, thereby keeping a form of anonymity within this set. Then we show that this extended framework can be used to reason about privacy properties of a biometric system in which users are authenticated through the use of group signatures.
%G English
%Z TC 11
%Z WG 11.3
%2 https://inria.hal.science/hal-01633672/document
%2 https://inria.hal.science/hal-01633672/file/428203_1_En_22_Chapter.pdf
%L hal-01633672
%U https://inria.hal.science/hal-01633672
%~ INSTITUT-TELECOM
%~ ENST
%~ TELECOM-PARISTECH
%~ PARISTECH
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ UNIV-PARIS-SACLAY
%~ TELECOM-PARISTECH-SACLAY
%~ IFIP-LNCS-9766
%~ LTCI
%~ COMELEC
%~ SSH
%~ INSTITUTS-TELECOM
%~ ANR