Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations Sistem Kelayakan Tanpa Nama dengan Bukti Atribut Saiz Malar untuk Formula CNF dengan Penolakan

Ryo OKISHIMA, Toru NAKANISHI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Untuk meningkatkan privasi pengguna dalam ID elektronik, sistem kelayakan tanpa nama telah dikaji. Dalam sistem bukti kelayakan tanpa nama, organisasi pengeluar yang dipercayai mula-mula mengeluarkan sijil yang memperakui atribut pengguna kepada pengguna. Kemudian, sebagai tambahan kepada pemilikan sijil, pengguna boleh membuktikan secara tanpa nama hanya atribut yang diperlukan. Sebelum ini, sistem kelayakan tanpa nama telah dicadangkan, di mana formula CNF (Conjunctive Normal Form) pada atribut boleh dibuktikan. Kelebihannya ialah bukti atribut dalam pengesahan mempunyai saiz tetap untuk bilangan atribut yang dimiliki pengguna dan saiz formula terbukti. Oleh itu, pelbagai hubungan logik ekspresif pada atribut boleh disahkan dengan cekap. Walau bagaimanapun, sistem sebelumnya mempunyai had: Formula CNF yang terbukti tidak boleh memasukkan sebarang penolakan. Oleh itu, dalam kertas kerja ini, kami mencadangkan sistem bukti kelayakan tanpa nama dengan bukti atribut saiz tetap supaya pengguna boleh membuktikan formula CNF dengan penolakan. Untuk sistem yang dicadangkan, kami melanjutkan penumpuk sebelumnya untuk formula CNF terhad untuk mengesahkan formula CNF dengan penolakan.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E103-A No.12 pp.1381-1392
Tarikh penerbitan
2020/12/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.2020TAP0003
Jenis Manuskrip
Special Section PAPER (Special Section on Information Theory and Its Applications)
kategori
Kriptografi dan Keselamatan Maklumat

Pengarang

Ryo OKISHIMA
  Department of Information Engineering, Hiroshima University
Toru NAKANISHI
  Department of Information Engineering, Hiroshima University

Kata kunci

Contents [show]