TY - GEN
T1 - Achieving full security for lattice-based group signatures with verifier-local revocation
AU - Perera, Maharage Nisansala Sevwandi
AU - Koshiba, Takeshi
N1 - Funding Information:
Acknowledgments. This work is supported in part by JSPS Grant-in-Aids for Scientific Research (A) JP16H01705 and for Scientific Research (B) JP17H01695.
Publisher Copyright:
© Springer Nature Switzerland AG 2018.
PY - 2018
Y1 - 2018
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
T2 - 20th International Conference on Information and Communications Security, ICICS 2018
Y2 - 29 October 2018 through 31 October 2018
ER -