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

On Backward-Style Anonymity Verification Pada Pengesahan Tanpa Nama Gaya Belakang

Yoshinobu KAWABE, Ken MANO, Hideki SAKURADA, Yasuyuki TSUKADA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Banyak perkhidmatan dan protokol Internet harus menjamin kerahasiaan nama; sebagai contoh, sistem pengundian elektronik harus menjamin untuk mengelakkan pendedahan siapa yang mengundi calon mana. Untuk membuktikan ketanpanamaan jejak, yang merupakan lanjutan daripada rumusan tanpa nama oleh Schneider dan Sidiropoulos, makalah ini membentangkan kaedah induktif berdasarkan simulasi tanpa nama ke belakang. Kami menunjukkan bahawa kewujudan simulasi tanpa nama ke belakang terhingga imej membayangkan ketaknamaan jejak. Kami juga menunjukkan pengesahan tanpa nama bagi protokol e-undi (protokol FOO) dengan teknik simulasi tanpa nama ke belakang kami. Apabila membuktikan jejak tanpa nama, makalah ini menggunakan alat pengesahan berbantukan komputer berdasarkan prover teorem.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E91-A No.9 pp.2597-2606
Tarikh penerbitan
2008/09/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1093/ietfec/e91-a.9.2597
Jenis Manuskrip
PAPER
kategori
Kriptografi dan Keselamatan Maklumat

Pengarang

Kata kunci

Contents [show]