基于区块链的安全电子投票系统的研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:liongliong588
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在现代信息化社会中,电子投票逐渐取代了传统的纸质投票方式,受到了越来越多的研究者的关注。然而,电子投票系统面临着选票隐私泄露、选票填充攻击、投票活动被恶意投票者中止等诸多安全挑战,严重制约了其广泛应用。与此同时,区块链作为基于点对点网络的分布式账本,具有去中心化、去信任、不可篡改的特点,这些特点与电子投票系统中的公告栏的安全要求不谋而合。因此,将区块链技术与现代密码学技术,如零知识证明、承诺、签名等结合应用,设计具有隐私性和可验证性的安全电子投票系统具有十分重要的现实意义。本文的主要贡献如下:1.对Zaghloul等人于2021年设计的匿名分布式区块链电子投票系统D-BAME进行了安全性分析。分析结果表明,类似于D-BAME这种由登记员生成初始选票,协调员协助匿名分发初始选票的电子投票系统,存在诸如登记员冒用选票、协调员窃取选票隐私、恶意投票者骗取大量初始选票、不能抵抗恶意密文攻击以及选票填充攻击等安全隐患。针对D-BAME存在的诸多安全隐患,提出一个改进的安全电子投票系统:对D-BAME系统模型进行优化,解决了协调员窃取选票隐私的问题;以生成选票之后再对选票签名的方式,取代D-BAME系统签名后再生成选票的操作,解决了冒用选票、骗取选票以及选票填充攻击问题;基于零知识证明技术验证密文选票,确保非法选票不会被接收,从而抵抗恶意密文攻击;根据El Gamal密码算法的同态特性去统计选票,不再解密单张选票,从而最大限度的保护了投票者的选票隐私。此外,通过安全性分析证明了改进的系统既实现了对投票者的隐私保护,又提供了对选票是否有效合法的可验证性。最后对该改进投票系统进行了效率分析和实验测试,进一步说明系统是安全可行的。2.基于区块链和Borda计数的自计票系统沿用了OV-NET协议的两轮投票框架,存在恶意投票者弃权导致投票活动中止的安全问题。为解决投票中止问题,设计了一个具有承诺和恢复计票功能的基于区块链和Borda计数的安全自计票系统。首先设计了系统模型和安全目标,然后具体描述了系统的各阶段,包括初始化,承诺,投票,自计票,恢复计票五个阶段。投票者在投票之前先对选票内容承诺,如果投票者在投票阶段弃权,则进入恢复计票阶段,恢复该投票者的选票内容,确保投票活动不会被中止,提高了系统的安全性。此外,通过分析证明投票系统满足所提出的安全目标要求,即满足最大选票隐私,自计票,可验证性,无争议性和健壮性。最后对该安全自计票系统进行了效率分析和实验测试,证明其具有可行性。
其他文献
随着电子信息化水平的逐步提高,电路板的系统规模也越来越庞大,在设计时往往需要耗费大量时间。尤其是布线阶段,稍有不慎就会出错,导致电路板的设计成本居高不下。若能使用自动布线工具来代替人工布线,不仅能减少成本,而且可以增加电路设计中常见的约束,提高电路板的设计质量。在本文中主要以蚁群算法为基础,对布线中遇到的部分情况进行算法设计,主要的研究工作可以总结为以下三个方面:(1)针对布线中蚁群算法收敛速度慢
学位
氮素是植物生长发育必须的营养物质之一,约占植物干重的5%,在有机体中多以氨基酸、多肽以及蛋白质等形式存在。大豆是一种重要的经济和栽培作物,种子中含有丰富的植物蛋白及多种人体必需氨基酸。大豆与土壤根瘤菌建立的共生固氮体系能够帮助植物将空气中不能被植物直接吸收利用的无机氮(N2)转化为可被植物吸收的有机氮。氨基酸转运蛋白在植物体内各类氨基酸的转运、利用以及应对生物与非生物胁迫中发挥重要作用,但关于氨基
学位
茶树生长发育过程中会遭受到各种不同的胁迫,以致茶树生长和茶叶产量、品质都会受影响;此外,它是利用芽和叶产生经济效益的植物,花期长且花果多是影响茶树经济价值的不利因素,所以从分子遗传学角度挖掘茶树抗逆和改变花期的相关基因,对茶树良性育种和提高茶产业经济效益具有重要意义。本研究从信阳本地茶树品种“信阳大叶”中克隆了一个CsJAZ1基因,利用QRT-PCR、生物信息学、转基因技术等技术对CsJAZ1基因
学位
当前,区块链与云计算、物联网、人工智能、大数据等新技术的融合,为技术创新提供了无限可能。用户的交易数据存储在区块链上,在不引入第三方的情况下,提供去中心化、不可篡改、安全可靠的保证。然而,区块链的开放性和透明性使得链上敏感数据存在隐私泄露的风险。此外,交易手续费用的存在,使得区块链难以适用于小额支付。因此,研究具有新特性的区块链协议,确保链上数据安全,实现小额支付对于区块链未来的发展具有极其重要的
学位
“资源”指的是一切可以被人类利用的物质、能量、信息、结构的总称。资源管理指的是对资源进行的规划配置、开发利用等活动。资源关系模型是一种聚焦于资源间依赖关系的资源管理理论,它通过定义资源、资源槽等概念将资源以及资源间的依赖关系形式化。由于现实中物质状态变化的随机性、人为因素的随机性、意外事件发生的随机性等因素的存在,资源状态的变化存在随机性,人们无法准确预测资源的状态。由于现实中物质状态变化的复杂性
学位
磁悬浮平台是光刻机等超精密系统的核心部件之一,非接触无磨损可控性强的特点使其具有重要的研究意义和应用价值,而磁悬浮平台的位移机构的设计和研究是磁悬浮平台实现的关键。本文提出了一种长行程可控性强的基于分布式线圈的悬浮位移分离式磁悬浮平台位移机构设计方案,并对其磁场与力的解析计算、具有多冗余度高复杂性模型的驱动线圈电流分配方法与控制器设计方法进行了研究。针对位移机构的设计,选取了分布式线圈作为定子,二
学位
在信息爆炸的时代背景下,人们对网络的使用日益增加,对电子通信的依赖也日渐增强。现代通信技术在为人们的生活和学习带来便利的同时,也带来了许多数据安全的问题。大量的信息以不同的载体形式在网络中存储和传播,而图像作为一种常用的信息载体,在医学、军事学等领域得到了广泛的应用。由此,图像在传输、存储和恢复的过程中的安全性问题便逐渐进入到大众视野中,得到越来越高的关注度。随后,秘密图像共享技术作为一个解决上述
学位
近年来,复杂网络理论被大量用来描述大脑网络结构演化规律及网络信息传输性能,并在医学、生物、传统通信等众多领域都取得重大突破。将大脑神经系统与复杂网络结合,探究真实大脑网络结构及其信息传输机制,不仅能促进以数据驱动的新一代脑科学的进步,还能为实现以仿生驱动的类脑智能技术的提供理论基础。首先,本文指出在构建大脑网络模型时,没有实现真正的仿生,难以模拟真实大脑中信息传输机制的问题,分析当前类脑神经元网络
学位
DC-DC变换器被设计为在额定输出功率下实现所需的效率需求。而在高功率密度应用中,发热限制是主要考虑因素,增加便携式设备的电池寿命和降低市电供电设备的待机功耗因而变得迫切。另外电源正朝着更高的开关频率发展,以减小无源元件的尺寸,但导致了更高的开关和栅极驱动功率损耗。在用于电池供电设备的集成电源管理IC中,必须优化系统以实现尽可能长的电池寿命,而负载电流的统计分布人们并不知道。在此背景下,开关电源能
学位
近年来,随着计算设备算力的提升、高质量数据集的构建以及先进模型和算法的提出,人工智能逐步缩小了与人类的差距,并在多个领域击败了人类。在人工智能的发展过程中,深度学习扮演着至关重要的角色。令人遗憾的是,深度学习模型的优异表现需要有大规模数据做支撑,这阻碍了该类技术在现实生活中的应用。如何让深度学习模型从数量有限的数据中提取有效信息并具有较高的泛化能力,这一问题促使学者们提出了少样本学习。学者们针对少
学位