安全电子投票协议设计与分析

项目名称： 安全电子投票协议设计与分析

项目编号： No.61363069

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 刘忆宁

作者单位： 桂林电子科技大学

项目金额： 43万元

中文摘要： 安全电子投票协议要求在保证投票者匿名性的同时，实现投票的合法性和计票的准确性。更有挑战性的是，如何实现一对看似矛盾的目标：既保证投票者能够验证自己的结果是否被正确计票，又使投票者无法向他人证明自己投了特定候选人的票，以防止选票买卖。本项目拟以Shamir的秘密共享为基础，实现投票结果的可验证性、选票的无收据性、并能抵抗胁迫攻击。主要包括：研究无可信第三方的信任模型与攻击模型，消除由于可信第三方造成的安全瓶颈，提高协议的健壮性；以安全模型为基础，设计满足安全目标的电子投票协议，使得投票者可验证自己的意图是否被正确记录及正确计票，即使恶意投票者发起边信道攻击，也无法获得额外的信息向他人证明选票内容，以抵抗各种胁迫攻击。此外，探索具有信息理论意义上安全性的电子投票协议设计。该项目的成果，能够促进无可信第三方的安全模型及安全电子投票协议的研究，保障电子选举活动的顺利进行。

中文关键词： 电子投票；可验证的正确性；抗胁迫攻击；k-匿名；

英文摘要： A secure voting system is designed to protect the anonymity of voters, while at the same time guarantee the validity of the voting, and assure that the voting is cast accurately. The more challenging subject is that, how to achieve two goals that seem con

英文关键词： e-voting；verifiable correctness；coercion attack resistance；k-anonymity；