HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01633672
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, November 13, 2017 - 11:46:09 AM
Last modification on : Wednesday, November 3, 2021 - 6:01:42 AM
Long-term archiving on: : Wednesday, February 14, 2018 - 1:35:28 PM

File

428203_1_En_22_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • 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. 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.313-327. ⟨hal-01633672⟩

Share

Metrics

Record views

423

Files downloads

101