Block-wise p-signatures and non-interactive anonymous credentials with efficient attributes

Malika Izabachène Benoit Libert 1 Damien Vergnaud 2
1 Groupe Crypto
ICTEAM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Anonymous credentials are protocols in which users obtain certificates from organizations and subsequently demonstrate their possession in such a way that transactions carried out by the same user cannot be linked. We present an anonymous credential scheme with non-interactive proofs of credential possession where credentials are associated with a number of attributes. Following recent results of Camenisch and Groß (CCS 2008), the proof simultaneously convinces the verifier that certified attributes satisfy a certain predicate. Our construction relies on a new kind of P-signature, termed block-wise P-signature , that allows a user to obtain a signature on a committed vector of messages and makes it possible to generate a short witness that serves as a proof that the signed vector satisfies the predicate. A non-interactive anonymous credential is obtained by combining our block-wise P-signature scheme with the Groth-Sahai proof system. It allows efficiently proving possession of a credential while simultaneously demonstrating that underlying attributes satisfy a predicate corresponding to the evaluation of inner products (and therefore disjunctions or polynomial evaluations). The security of our scheme is proved in the standard model under non-interactive assumptions.
Type de document :
Communication dans un congrès
Liqun Chen. IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding, Dec 2011, Oxford, UK, United Kingdom. Springer, 7089, pp.431-450, 2011, LNCS - Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-01110210
Contributeur : Brigitte Briot <>
Soumis le : mardi 27 janvier 2015 - 16:37:10
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-01110210, version 1

Collections

Citation

Malika Izabachène, Benoit Libert, Damien Vergnaud. Block-wise p-signatures and non-interactive anonymous credentials with efficient attributes. Liqun Chen. IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding, Dec 2011, Oxford, UK, United Kingdom. Springer, 7089, pp.431-450, 2011, LNCS - Lecture Notes in Computer Science. 〈hal-01110210〉

Partager

Métriques

Consultations de la notice

288