Back to Search
Start Over
An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations
- Source :
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :1381-1392
- Publication Year :
- 2020
- Publisher :
- Institute of Electronics, Information and Communications Engineers (IEICE), 2020.
-
Abstract
- To enhance the user’s privacy in electronic ID, anonymous credential systems have been researched. In the anonymous credential system, a trusted issuing organization first issues a certificate certifying the user’s attributes to a user. Then, in addition to the possession of the certificate, the user can anonymously prove only the necessary attributes. Previously, an anonymous credential system was proposed, where CNF (Conjunctive Normal Form) formulas on attributes can be proved. The advantage is that the attribute proof in the authentication has the constant size for the number of attributes that the user owns and the size of the proved formula. Thus, various expressive logical relations on attributes can be efficiently verified. However, the previous system has a limitation: the proved CNF formulas cannot include any negation. Therefore, in this paper, we propose an anonymous credential system with constant-size attribute proofs such that the user can prove CNF formulas with negations. For the proposed system, we extend the previous accumulator for the limited CNF formulas to verify CNF formulas with negations.
- Subjects :
- Authentication
Theoretical computer science
Computer science
Applied Mathematics
Mathematical proof
Certificate
Computer Graphics and Computer-Aided Design
Credential
Accumulator (cryptography)
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Constant (computer programming)
Negation
Signal Processing
Electrical and Electronic Engineering
Conjunctive normal form
Subjects
Details
- ISSN :
- 17451337 and 09168508
- Database :
- OpenAIRE
- Journal :
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
- Accession number :
- edsair.doi...........e80c0c54cc21fe07ebe43ff420fb5af2