Achieving full security for lattice-based group signatures with verifier-local revocation

Maharage Nisansala Sevwandi Perera, Takeshi Koshiba

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

    Abstract

    Even though Verifier-local revocation mechanism seems to be the most flexible revocation method that suits for any size of groups it could not reach strong security yet. Verifier-local revocation technique needs to update only the verifiers with revocation messages when a member is revoked while most of the revocation mechanisms require to re-initialize the group or track changes of the group. The first lattice-based group signature scheme with verifier-local revocability was suggested by Langlois, Ling, Nguyen, and Wang (PKC 2014). However, their scheme relies on a weaker security notion. On the other hand, Bellare, Micciancio, and Warinschi (EUROCRYPT 2003) proposed formal security definitions called full-anonymity and full-traceability for static groups. Achieving full-anonymity for schemes with verifier-local revocation is technically challenging because those schemes use a token system. This paper provides a scheme with verifier-local revocation that achieves the full-anonymity and full-traceability.

    Original languageEnglish
    Title of host publicationInformation and Communications Security - 20th International Conference, ICICS 2018, Proceedings
    EditorsGregory Blanc, Sihan Qing, Rongxing Lu, Zonghua Zhang, Ahmed Meddahi, David Naccache, Shouhuai Xu, Pierangela Samarati
    PublisherSpringer-Verlag
    Pages287-302
    Number of pages16
    ISBN (Print)9783030019495
    DOIs
    Publication statusPublished - 2018 Jan 1
    Event20th International Conference on Information and Communications Security, ICICS 2018 - Lille, France
    Duration: 2018 Oct 292018 Oct 31

    Publication series

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

    Other

    Other20th International Conference on Information and Communications Security, ICICS 2018
    CountryFrance
    CityLille
    Period18/10/2918/10/31

    Fingerprint

    Group Signature
    Revocation
    Anonymity
    Traceability
    Protein Kinase C
    Group Scheme
    Signature Scheme
    Update

    Keywords

    • Full-anonymity
    • Full-traceability
    • Lattice-based group signatures
    • Verifier-local revocation

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    Cite this

    Perera, M. N. S., & Koshiba, T. (2018). Achieving full security for lattice-based group signatures with verifier-local revocation. In G. Blanc, S. Qing, R. Lu, Z. Zhang, A. Meddahi, D. Naccache, S. Xu, ... P. Samarati (Eds.), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings (pp. 287-302). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11149 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-030-01950-1_17

    Achieving full security for lattice-based group signatures with verifier-local revocation. / Perera, Maharage Nisansala Sevwandi; Koshiba, Takeshi.

    Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. ed. / Gregory Blanc; Sihan Qing; Rongxing Lu; Zonghua Zhang; Ahmed Meddahi; David Naccache; Shouhuai Xu; Pierangela Samarati. Springer-Verlag, 2018. p. 287-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11149 LNCS).

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

    Perera, MNS & Koshiba, T 2018, Achieving full security for lattice-based group signatures with verifier-local revocation. in G Blanc, S Qing, R Lu, Z Zhang, A Meddahi, D Naccache, S Xu & P Samarati (eds), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11149 LNCS, Springer-Verlag, pp. 287-302, 20th International Conference on Information and Communications Security, ICICS 2018, Lille, France, 18/10/29. https://doi.org/10.1007/978-3-030-01950-1_17
    Perera MNS, Koshiba T. Achieving full security for lattice-based group signatures with verifier-local revocation. In Blanc G, Qing S, Lu R, Zhang Z, Meddahi A, Naccache D, Xu S, Samarati P, editors, Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. Springer-Verlag. 2018. p. 287-302. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-01950-1_17
    Perera, Maharage Nisansala Sevwandi ; Koshiba, Takeshi. / Achieving full security for lattice-based group signatures with verifier-local revocation. Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. editor / Gregory Blanc ; Sihan Qing ; Rongxing Lu ; Zonghua Zhang ; Ahmed Meddahi ; David Naccache ; Shouhuai Xu ; Pierangela Samarati. Springer-Verlag, 2018. pp. 287-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
    @inproceedings{99c7fcd5ac4f4a6eaae1813d9a0bb48e,
    title = "Achieving full security for lattice-based group signatures with verifier-local revocation",
    abstract = "Even though Verifier-local revocation mechanism seems to be the most flexible revocation method that suits for any size of groups it could not reach strong security yet. Verifier-local revocation technique needs to update only the verifiers with revocation messages when a member is revoked while most of the revocation mechanisms require to re-initialize the group or track changes of the group. The first lattice-based group signature scheme with verifier-local revocability was suggested by Langlois, Ling, Nguyen, and Wang (PKC 2014). However, their scheme relies on a weaker security notion. On the other hand, Bellare, Micciancio, and Warinschi (EUROCRYPT 2003) proposed formal security definitions called full-anonymity and full-traceability for static groups. Achieving full-anonymity for schemes with verifier-local revocation is technically challenging because those schemes use a token system. This paper provides a scheme with verifier-local revocation that achieves the full-anonymity and full-traceability.",
    keywords = "Full-anonymity, Full-traceability, Lattice-based group signatures, Verifier-local revocation",
    author = "Perera, {Maharage Nisansala Sevwandi} and Takeshi Koshiba",
    year = "2018",
    month = "1",
    day = "1",
    doi = "10.1007/978-3-030-01950-1_17",
    language = "English",
    isbn = "9783030019495",
    series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    publisher = "Springer-Verlag",
    pages = "287--302",
    editor = "Gregory Blanc and Sihan Qing and Rongxing Lu and Zonghua Zhang and Ahmed Meddahi and David Naccache and Shouhuai Xu and Pierangela Samarati",
    booktitle = "Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings",

    }

    TY - GEN

    T1 - Achieving full security for lattice-based group signatures with verifier-local revocation

    AU - Perera, Maharage Nisansala Sevwandi

    AU - Koshiba, Takeshi

    PY - 2018/1/1

    Y1 - 2018/1/1

    N2 - Even though Verifier-local revocation mechanism seems to be the most flexible revocation method that suits for any size of groups it could not reach strong security yet. Verifier-local revocation technique needs to update only the verifiers with revocation messages when a member is revoked while most of the revocation mechanisms require to re-initialize the group or track changes of the group. The first lattice-based group signature scheme with verifier-local revocability was suggested by Langlois, Ling, Nguyen, and Wang (PKC 2014). However, their scheme relies on a weaker security notion. On the other hand, Bellare, Micciancio, and Warinschi (EUROCRYPT 2003) proposed formal security definitions called full-anonymity and full-traceability for static groups. Achieving full-anonymity for schemes with verifier-local revocation is technically challenging because those schemes use a token system. This paper provides a scheme with verifier-local revocation that achieves the full-anonymity and full-traceability.

    AB - Even though Verifier-local revocation mechanism seems to be the most flexible revocation method that suits for any size of groups it could not reach strong security yet. Verifier-local revocation technique needs to update only the verifiers with revocation messages when a member is revoked while most of the revocation mechanisms require to re-initialize the group or track changes of the group. The first lattice-based group signature scheme with verifier-local revocability was suggested by Langlois, Ling, Nguyen, and Wang (PKC 2014). However, their scheme relies on a weaker security notion. On the other hand, Bellare, Micciancio, and Warinschi (EUROCRYPT 2003) proposed formal security definitions called full-anonymity and full-traceability for static groups. Achieving full-anonymity for schemes with verifier-local revocation is technically challenging because those schemes use a token system. This paper provides a scheme with verifier-local revocation that achieves the full-anonymity and full-traceability.

    KW - Full-anonymity

    KW - Full-traceability

    KW - Lattice-based group signatures

    KW - Verifier-local revocation

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

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

    U2 - 10.1007/978-3-030-01950-1_17

    DO - 10.1007/978-3-030-01950-1_17

    M3 - Conference contribution

    AN - SCOPUS:85056484782

    SN - 9783030019495

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

    SP - 287

    EP - 302

    BT - Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings

    A2 - Blanc, Gregory

    A2 - Qing, Sihan

    A2 - Lu, Rongxing

    A2 - Zhang, Zonghua

    A2 - Meddahi, Ahmed

    A2 - Naccache, David

    A2 - Xu, Shouhuai

    A2 - Samarati, Pierangela

    PB - Springer-Verlag

    ER -