- 著者
-
許 容碩
今本 健二
櫻井 幸一
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. ISEC, 情報セキュリティ (ISSN:09135685)
- 巻号頁・発行日
- vol.104, no.200, pp.149-156, 2004-07-14
- 参考文献数
- 30
SakoとKillianは無証拠性と全体検証性を満足するMix-net電子投票システムを提案した。それに対し、MichelsとHorsterは、Sakoらの電子投票システムにおけるプライバシと頑健性の問題を指摘した。本論文では、Golleらにより提案された普遍再暗号化を用いたMixnetを導入することにより、プライバシと頑健性、および無証拠性や全体検証性を同時に満たし、効率的な計算が可能な電子投票システムを提案する。また、普遍再暗号化を用いたMixnetにおけるミキシングの有効性を証明するため、既存のDesignated-Verifier Re-encryption Proofを修正し、提案システムへ適用する。さらに、提案システムでは通常の選挙で使われている投票用紙と類似の電子投票用紙、および上書き可能な公開掲示板を導入している。