New proof techniques for DLIN-based adaptively secure attribute-based encryption

Katsuyuki Takashima

doi:10.1007/978-3-319-60055-0_5

New proof techniques for DLIN-based adaptively secure attribute-based encryption

Katsuyuki Takashima^*

^*Corresponding author for this work

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

7 Citations (Scopus)

Abstract

We propose adaptively secure attribute-based encryption (ABE) schemes for boolean formulas over large universe attributes from the decisional linear (DLIN) assumption, which allow attribute reuse in an available formula without the previously employed redundant multiple encoding technique. Thus our KP-(resp. CP-)ABE has non-redundant ciphertexts (resp. secret keys). For achieving the results, we develop a new encoding method for access policy matrix for ABE, by decoupling linear secret sharing (LSS) into its matrix and randomness, and partially randomizing the LSS shares in simulation. The new techniques are of independent interest and we expect it will find another application than ABE.

Original language	English
Title of host publication	Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings
Editors	Josef Pieprzyk, Suriadi Suriadi
Publisher	Springer Verlag
Pages	85-105
Number of pages	21
ISBN (Print)	9783319600543
DOIs	https://doi.org/10.1007/978-3-319-60055-0_5
Publication status	Published - 2017
Externally published	Yes
Event	22nd Australasian Conference on Information Security and Privacy, ACISP 2017 - Auckland, New Zealand Duration: 2017 Jul 3 → 2017 Jul 5

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10342 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd Australasian Conference on Information Security and Privacy, ACISP 2017
Country/Territory	New Zealand
City	Auckland
Period	17/7/3 → 17/7/5

Keywords

Adaptive security
Attribute-based encryption
Multi-use attributes in policy
Static assumption

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-319-60055-0_5

Cite this

Takashima, K. (2017). New proof techniques for DLIN-based adaptively secure attribute-based encryption. In J. Pieprzyk, & S. Suriadi (Eds.), Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings (pp. 85-105). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10342 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-60055-0_5

New proof techniques for DLIN-based adaptively secure attribute-based encryption. / Takashima, Katsuyuki.
Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings. ed. / Josef Pieprzyk; Suriadi Suriadi. Springer Verlag, 2017. p. 85-105 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10342 LNCS).

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

Takashima, K 2017, New proof techniques for DLIN-based adaptively secure attribute-based encryption. in J Pieprzyk & S Suriadi (eds), Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10342 LNCS, Springer Verlag, pp. 85-105, 22nd Australasian Conference on Information Security and Privacy, ACISP 2017, Auckland, New Zealand, 17/7/3. https://doi.org/10.1007/978-3-319-60055-0_5

Takashima K. New proof techniques for DLIN-based adaptively secure attribute-based encryption. In Pieprzyk J, Suriadi S, editors, Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings. Springer Verlag. 2017. p. 85-105. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-60055-0_5

Takashima, Katsuyuki. / New proof techniques for DLIN-based adaptively secure attribute-based encryption. Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings. editor / Josef Pieprzyk ; Suriadi Suriadi. Springer Verlag, 2017. pp. 85-105 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fbd66659ad5b4ac382e8aebd21d4c4ac,

title = "New proof techniques for DLIN-based adaptively secure attribute-based encryption",

abstract = "We propose adaptively secure attribute-based encryption (ABE) schemes for boolean formulas over large universe attributes from the decisional linear (DLIN) assumption, which allow attribute reuse in an available formula without the previously employed redundant multiple encoding technique. Thus our KP-(resp. CP-)ABE has non-redundant ciphertexts (resp. secret keys). For achieving the results, we develop a new encoding method for access policy matrix for ABE, by decoupling linear secret sharing (LSS) into its matrix and randomness, and partially randomizing the LSS shares in simulation. The new techniques are of independent interest and we expect it will find another application than ABE.",

keywords = "Adaptive security, Attribute-based encryption, Multi-use attributes in policy, Static assumption",

author = "Katsuyuki Takashima",

note = "Funding Information: This work was supported by JST CREST Grant Number JPMJCR14D6. Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 22nd Australasian Conference on Information Security and Privacy, ACISP 2017 ; Conference date: 03-07-2017 Through 05-07-2017",

year = "2017",

doi = "10.1007/978-3-319-60055-0_5",

language = "English",

isbn = "9783319600543",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "85--105",

editor = "Josef Pieprzyk and Suriadi Suriadi",

booktitle = "Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings",

}

TY - GEN

T1 - New proof techniques for DLIN-based adaptively secure attribute-based encryption

AU - Takashima, Katsuyuki

N1 - Funding Information: This work was supported by JST CREST Grant Number JPMJCR14D6. Publisher Copyright: © Springer International Publishing AG 2017.

PY - 2017

Y1 - 2017

N2 - We propose adaptively secure attribute-based encryption (ABE) schemes for boolean formulas over large universe attributes from the decisional linear (DLIN) assumption, which allow attribute reuse in an available formula without the previously employed redundant multiple encoding technique. Thus our KP-(resp. CP-)ABE has non-redundant ciphertexts (resp. secret keys). For achieving the results, we develop a new encoding method for access policy matrix for ABE, by decoupling linear secret sharing (LSS) into its matrix and randomness, and partially randomizing the LSS shares in simulation. The new techniques are of independent interest and we expect it will find another application than ABE.

AB - We propose adaptively secure attribute-based encryption (ABE) schemes for boolean formulas over large universe attributes from the decisional linear (DLIN) assumption, which allow attribute reuse in an available formula without the previously employed redundant multiple encoding technique. Thus our KP-(resp. CP-)ABE has non-redundant ciphertexts (resp. secret keys). For achieving the results, we develop a new encoding method for access policy matrix for ABE, by decoupling linear secret sharing (LSS) into its matrix and randomness, and partially randomizing the LSS shares in simulation. The new techniques are of independent interest and we expect it will find another application than ABE.

KW - Adaptive security

KW - Attribute-based encryption

KW - Multi-use attributes in policy

KW - Static assumption

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

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

U2 - 10.1007/978-3-319-60055-0_5

DO - 10.1007/978-3-319-60055-0_5

M3 - Conference contribution

AN - SCOPUS:85020623301

SN - 9783319600543

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 85

EP - 105

BT - Information Security and Privacy - 22nd Australasian Conference, ACISP 2017, Proceedings

A2 - Pieprzyk, Josef

A2 - Suriadi, Suriadi

PB - Springer Verlag

T2 - 22nd Australasian Conference on Information Security and Privacy, ACISP 2017

Y2 - 3 July 2017 through 5 July 2017

ER -

New proof techniques for DLIN-based adaptively secure attribute-based encryption

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this