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

Hiroaki Anada; Seiko Arita; Kouichi Sakurai

doi:10.1145/2600694.2600696

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

Hiroaki Anada, Seiko Arita, Kouichi Sakurai

Mathematical Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

11 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 language	English
Title of host publication	ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography
Publisher	Association for Computing Machinery
Pages	49-58
Number of pages	10
ISBN (Print)	9781450328012
DOIs	https://doi.org/10.1145/2600694.2600696
Publication status	Published - 2014
Event	2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014 - Kyoto, Japan Duration: Jun 3 2014 → Jun 3 2014

Publication series

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

Other

Other	2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014
Country/Territory	Japan
City	Kyoto
Period	6/3/14 → 6/3/14

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.1145/2600694.2600696

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). (ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography). 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 (ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 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

@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",

doi = "10.1145/2600694.2600696",

language = "English",

isbn = "9781450328012",

series = "ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography",

publisher = "Association for Computing Machinery",

pages = "49--58",

booktitle = "ASIAPKC 2014 - Proceedings of the 2nd ACM Workshop on ASIA Public-Key Cryptography",

note = "2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014 ; Conference date: 03-06-2014 Through 03-06-2014",

}

TY - GEN

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

AU - Anada, Hiroaki

AU - Arita, Seiko

AU - Sakurai, Kouichi

PY - 2014

Y1 - 2014

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

AN - SCOPUS:84903128167

SN - 9781450328012

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

SP - 49

EP - 58

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

PB - Association for Computing Machinery

T2 - 2nd ACM Asia Public-Key Cryptography Workshop, AsiaPKC 2014

Y2 - 3 June 2014 through 3 June 2014

ER -

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

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this