Attribute-based signatures without pairings via the Fiat-Shamir paradigm

Hiroaki Anada, Seiko Arita, Kouichi Sakurai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

We propose the first practical attribute-based signature (ABS) scheme with attribute privacy without pairings in the random oracle model. Our strategy is in the Fiat-Shamir paradigm; we first provide a generic construction of a boolean proof system of Σ-protocol type. Our boolean proof system is a generalization of the well-known OR-proof system; that is, it can treat any boolean formula instead of a single OR-gate. Then, by combining our boolean proof system with a credential bundle scheme of the Fiat-Shamir signature, we obtain a generic attribute-based identification (ABID) scheme of proof of knowledge. Finally, we apply the Fiat-Shamir transform to our ABID scheme to obtain a generic ABS scheme which possesses attribute privacy and can be proved to be secure in the random oracle model. Our ABS scheme can be constructed without pairings.

Original languageEnglish
Title of host publicationASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography
PublisherAssociation for Computing Machinery
Pages49-58
Number of pages10
ISBN (Print)9781450328012
DOIs
Publication statusPublished - Jan 1 2014
Event2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014 - Kyoto, Japan
Duration: Jun 3 2014Jun 3 2014

Other

Other2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014
CountryJapan
CityKyoto
Period6/3/146/3/14

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Anada, H., Arita, S., & Sakurai, K. (2014). Attribute-based signatures without pairings via the Fiat-Shamir paradigm. In ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography (pp. 49-58). Association for Computing Machinery. https://doi.org/10.1145/2600694.2600696

Attribute-based signatures without pairings via the Fiat-Shamir paradigm. / Anada, Hiroaki; Arita, Seiko; Sakurai, Kouichi.

ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography. Association for Computing Machinery, 2014. p. 49-58.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Anada, H, Arita, S & Sakurai, K 2014, Attribute-based signatures without pairings via the Fiat-Shamir paradigm. in ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography. Association for Computing Machinery, pp. 49-58, 2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014, Kyoto, Japan, 6/3/14. https://doi.org/10.1145/2600694.2600696
Anada H, Arita S, Sakurai K. Attribute-based signatures without pairings via the Fiat-Shamir paradigm. In ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography. Association for Computing Machinery. 2014. p. 49-58 https://doi.org/10.1145/2600694.2600696
Anada, Hiroaki ; Arita, Seiko ; Sakurai, Kouichi. / Attribute-based signatures without pairings via the Fiat-Shamir paradigm. ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography. Association for Computing Machinery, 2014. pp. 49-58
@inproceedings{b678d845e6854ec68fa3460a0d777b51,
title = "Attribute-based signatures without pairings via the Fiat-Shamir paradigm",
abstract = "We propose the first practical attribute-based signature (ABS) scheme with attribute privacy without pairings in the random oracle model. Our strategy is in the Fiat-Shamir paradigm; we first provide a generic construction of a boolean proof system of Σ-protocol type. Our boolean proof system is a generalization of the well-known OR-proof system; that is, it can treat any boolean formula instead of a single OR-gate. Then, by combining our boolean proof system with a credential bundle scheme of the Fiat-Shamir signature, we obtain a generic attribute-based identification (ABID) scheme of proof of knowledge. Finally, we apply the Fiat-Shamir transform to our ABID scheme to obtain a generic ABS scheme which possesses attribute privacy and can be proved to be secure in the random oracle model. Our ABS scheme can be constructed without pairings.",
author = "Hiroaki Anada and Seiko Arita and Kouichi Sakurai",
year = "2014",
month = "1",
day = "1",
doi = "10.1145/2600694.2600696",
language = "English",
isbn = "9781450328012",
pages = "49--58",
booktitle = "ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography",
publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - Attribute-based signatures without pairings via the Fiat-Shamir paradigm

AU - Anada, Hiroaki

AU - Arita, Seiko

AU - Sakurai, Kouichi

PY - 2014/1/1

Y1 - 2014/1/1

N2 - We propose the first practical attribute-based signature (ABS) scheme with attribute privacy without pairings in the random oracle model. Our strategy is in the Fiat-Shamir paradigm; we first provide a generic construction of a boolean proof system of Σ-protocol type. Our boolean proof system is a generalization of the well-known OR-proof system; that is, it can treat any boolean formula instead of a single OR-gate. Then, by combining our boolean proof system with a credential bundle scheme of the Fiat-Shamir signature, we obtain a generic attribute-based identification (ABID) scheme of proof of knowledge. Finally, we apply the Fiat-Shamir transform to our ABID scheme to obtain a generic ABS scheme which possesses attribute privacy and can be proved to be secure in the random oracle model. Our ABS scheme can be constructed without pairings.

AB - We propose the first practical attribute-based signature (ABS) scheme with attribute privacy without pairings in the random oracle model. Our strategy is in the Fiat-Shamir paradigm; we first provide a generic construction of a boolean proof system of Σ-protocol type. Our boolean proof system is a generalization of the well-known OR-proof system; that is, it can treat any boolean formula instead of a single OR-gate. Then, by combining our boolean proof system with a credential bundle scheme of the Fiat-Shamir signature, we obtain a generic attribute-based identification (ABID) scheme of proof of knowledge. Finally, we apply the Fiat-Shamir transform to our ABID scheme to obtain a generic ABS scheme which possesses attribute privacy and can be proved to be secure in the random oracle model. Our ABS scheme can be constructed without pairings.

UR - http://www.scopus.com/inward/record.url?scp=84903128167&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84903128167&partnerID=8YFLogxK

U2 - 10.1145/2600694.2600696

DO - 10.1145/2600694.2600696

M3 - Conference contribution

SN - 9781450328012

SP - 49

EP - 58

BT - ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography

PB - Association for Computing Machinery

ER -