Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Silvio Ranise; Vipin Swarup. 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9766, pp.313-327, 2016, Data and Applications Security and Privacy XXX
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01633672
Contributeur : Hal Ifip <>
Soumis le : lundi 13 novembre 2017 - 11:46:09
Dernière modification le : mardi 14 novembre 2017 - 01:11:20

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01633672, version 1

Citation

Julien Bringer, Hervé Chabanne, Daniel Métayer, Roch Lescuyer. Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems. Silvio Ranise; Vipin Swarup. 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9766, pp.313-327, 2016, Data and Applications Security and Privacy XXX. 〈hal-01633672〉

Partager

Métriques

Consultations de la notice

23