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

第34卷第7期 计 算 机 应 用 研 究 Vo1．34 No．7 2017年 7月 ApplicationResearchofComputers Ju1．2017 基于 HElib的安全 电子投票方案 王永恒 ，徐 晨升，陈经纬 ，吴文渊 (1．中国科学院大学，北京 100049；2．中国科学院重庆绿色智能技术研究院 自动推理与认知重庆市重点实验 室，重庆 400714) 摘 要：传统的电子投票应用中，若投票服务器管理方 出现安全问题 ，投票过程中的匿名性、完整性和公开可验 证性将难以保证。针对此问题，设计实现了一个基于全同态加密技术的电子投票方案。首先基于全 同态加密算 法，结合PKI和数字签名技术设计了一个安全电子投票方案；然后针对电子投票的特殊性，基于HElib同态算法 库设计 了一个高效的同态密文加法器；最后在 同态密文加法器的基础上 ，实现 了安全 电子投票系统。安全性方 面，该投票方案有效地解决了电子投票中匿名性、完整性和公开可验证性的难题；而在性能上，测试表 明该投票 系统可以基本满足应用场景的使用需求。 关键词 ：同态加密；电子投票 ；数字签名 ；公开可验证；HElib 中图分类号 ：TP309．2 文献标志码 ：A 文章编号：1001-3695(2017)07—2167—05 doi：10．3969／j．issn．1001-3695．2017．07．055 Schemeonsecurevotingsystem basedonHElib WangYongheng。，_ XuChen甜 ， ， ChenJingwei，WuWenyuan (1．UniversityofChineseAcademyofSciences，Being100049，China；2．ChongqingKeyLaboratoryofAutomatedReasoningCognition， ChongqingInstituteofGreen＆Intelligen；tTechnology，ChineseAcademyofSciences，Chongqing400714，China) Abstract：Intraditionalelectronicvotingapplications，ifmalwaresinfectedthevotingserver，theanonymity，integrityandpub- licverifiabilityofvotingprocesswouldbedifficulttoguarantee．Tosolvethisproblem ，thispaperdesignedandimplementeda securevotingsystem basedonHElib．First，thispaperdesigned asecureelectronicvotingschemewhichwasbasedonfull homomorphieencryptionalgorithm andcombinedwithPKI，digital signaturetechnology．Thenaccordingtotheparticularityof electronicvoting，itdesignedanefficientciphertextadderbasedonHElibhomomorphicalgorithm library．Finallyitimplemen· tedasecureelectronicvotingsystem bymakinguseoftheciphertextadder．Thevotingsystem effectivelysolvestheelectronic voting’Sanonymity，integrityandpublicverifibailityproblemsintermsof