TY - GEN
T1 - Anonymous credential system with efficient proofs for monotone formulas on attributes
AU - Sadiah, Shahidatul
AU - Nakanishi, Toru
AU - Funabiki, Nobuo
N1 - Funding Information:
his work was partially supported by JSPS KAKENHI Grant Number 25330153.
Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - An anonymous credential system allows a user to convince a service provider anonymously that he/she owns certified attributes. Previously, a system to prove AND and OR relations simultaneously by CNF formulas was proposed. To achieve a constant-size proof of the formula, this system adopts an accumulator that compresses multiple attributes into a single value. However, this system has a problem: the proof generation requires a large computational time in case of lots of OR literals in the formula. One of the example formulas consists of lots of birthdate attributes to prove age. This greatly increases the public parameters correspondent to attributes, which causes a large delay in the accumulator computation due to multiplications of lots of parameters. In this paper, we propose an anonymous credential system with constant-size proofs for monotone formulas on attributes, in order to obtain more efficiency in the proof generation. The monotone formula is a logic formula that contains any combination of AND and OR relations. Our approach to prove the monotone formula is that the accumulator is extended to be adapted to the tree expressing the monotone formula. Since the use of monotone formulas increases the expression capability of the attribute proof, the number of public parameters multiplied in the accumulator is greatly decreased, which impacts the reduction of the proof generation time.
AB - An anonymous credential system allows a user to convince a service provider anonymously that he/she owns certified attributes. Previously, a system to prove AND and OR relations simultaneously by CNF formulas was proposed. To achieve a constant-size proof of the formula, this system adopts an accumulator that compresses multiple attributes into a single value. However, this system has a problem: the proof generation requires a large computational time in case of lots of OR literals in the formula. One of the example formulas consists of lots of birthdate attributes to prove age. This greatly increases the public parameters correspondent to attributes, which causes a large delay in the accumulator computation due to multiplications of lots of parameters. In this paper, we propose an anonymous credential system with constant-size proofs for monotone formulas on attributes, in order to obtain more efficiency in the proof generation. The monotone formula is a logic formula that contains any combination of AND and OR relations. Our approach to prove the monotone formula is that the accumulator is extended to be adapted to the tree expressing the monotone formula. Since the use of monotone formulas increases the expression capability of the attribute proof, the number of public parameters multiplied in the accumulator is greatly decreased, which impacts the reduction of the proof generation time.
UR - http://www.scopus.com/inward/record.url?scp=84944730268&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944730268&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-22425-1_16
DO - 10.1007/978-3-319-22425-1_16
M3 - Conference contribution
AN - SCOPUS:84944730268
SN - 9783319224244
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 262
EP - 278
BT - Advances in Information and Computer Security - 10th International Workshop on Security, IWSEC 2015, Proceedings
A2 - Tanaka, Keisuke
A2 - Suga, Yuji
PB - Springer Verlag
T2 - 10th International Workshop on Security, IWSEC 2015
Y2 - 26 August 2015 through 28 August 2015
ER -