| Project/Area Number |
14580358
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Ibaraki University |
|---|
Principal Investigator |
KUROSAWA Kaoru Ibaraki University, College of Engineering, Professor, 工学部, 教授 (60153409)
|
|---|
| Project Period (FY) |
2002 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2003: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2002: ¥2,100,000 (Direct Cost: ¥2,100,000)
|
|---|
| Keywords | Shuffle / privacy / MIX-net / ElGamal encryption / Paillier encryption / Decisional DH assumption / Decisional Nth residue assumption / 匿名性 / 安全性 |
|---|
| Research Abstract |
This research preject proposes a formal model for security of verifiable shuffles and prove the security of some recently proposed shuffle schemes in this model. The model is general and can be extended to mix-nets and verifiable shuffle decryption. The research preject also proposes a new, verifiable shuffle system based on Paillier encryption scheme and prove its security in the proposed model. The new shuffle has the least number of rounds and exponentiations if a variant of Paillier scheme is used
|
