基于HElib的安全电子投票方案  

Scheme on secure voting system based on HElib

作　　者：王永恒[1,2] 徐晨[2] 陈经纬[2] 吴文渊[2] 

机构地区：[1]中国科学院大学,北京100049 [2]中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室,重庆400714

出　　处：《计算机应用研究》2017年第7期2167-2171,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(11471307;11501540);重庆市基础与前沿研究计划资助项目(cstc2015jcyjys40001);中国科学院西部之光博士项目(2014年)

摘　　要：传统的电子投票应用中,若投票服务器管理方出现安全问题,投票过程中的匿名性、完整性和公开可验证性将难以保证。针对此问题,设计实现了一个基于全同态加密技术的电子投票方案。首先基于全同态加密算法,结合PKI和数字签名技术设计了一个安全电子投票方案;然后针对电子投票的特殊性,基于HElib同态算法库设计了一个高效的同态密文加法器;最后在同态密文加法器的基础上,实现了安全电子投票系统。安全性方面,该投票方案有效地解决了电子投票中匿名性、完整性和公开可验证性的难题;而在性能上,测试表明该投票系统可以基本满足应用场景的使用需求。In traditional electronic voting applications, if malwares infected the voting server, the anonymity, integrity and public verifiability of voting process would be difficult to guarantee.To solve this problem, this paper designed and implemented a secure voting system based on HElib.First, this paper designed a secure electronic voting scheme which was based on full homomorphic encryption algorithm and combined with PKI, digital signature technology.Then according to the particularity of electronic voting, it designed an efficient ciphertext adder based on HElib homomorphic algorithm library.Finally it implemented a secure electronic voting system by making use of the ciphertext adder.The voting system effectively solves the electronic voting’s anonymity, integrity and public verifiability problems in terms of security.Through the system tests, the voting system can basically meet the needs of application scenarios.

关 键 词：同态加密 电子投票 数字签名 公开可验证 HElib 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]