一个基于安全多方求和的一票否决协议

一票否决协议在现实生活中具有重要的应用价值,现行多数协议主要基于DDH假设及零知识证明等密码学知识.提出一个一票否决协议,使得投票人只能得知议案是否一致通过,而当议案被否决时任何人都无法知道有几个人投了否决票.与一般方案相比,该方案不需可信第三方及传统加密技术等.该方案主要基于安全多方求和和多精度计算,对于n个投票人,通信和计算位复杂度均为O(n2log2n).     

一种安全高效的一票否决电子选举方案

基于半诚信模型下的安全多方求和,提出了一种安全高效的一票否决电子选举方案,除了满足电子选举应满足的一般性质外,与以前方案相比,当合谋人数小于n-1时,该方案满足选票的完全保密性。方案中,每个投票人可以灵活地应用随机数来确定自己的选票形式,不需要做多精度运算,使得方案具有更高的计算效率。     

一种安全的多候选人电子投票方案

随着电子通信的发展,电子投票以其独特的优势弥补了传统投票的不足。电子选举的发展不但体现在需要满足的性质上,其形式也在不断变化,例如从起初的多选一到后来的多选多。对仲红等提出的多候选人方案进行安全性分析,指出其方案并不满足完全保密性,并给出了基于随机数隐藏的多候选人电子投票方案,达到了完全保密性的目的。     

基于安全多方计算的多候选人电子投票方案

多候选人的电子投票方案在很多实际选举场景中有重要的应用价值.全隐私性是安全电子投票方案关注的一个重要性质,是指对选民和候选人的隐私保护.本文基于安全多方计算提出了一个多选多的电子投票方案.此方案将选民的投票意见映射为数组的形式,结合ElGamal同态加密系统,在半诚实模型下由选民和候选人通过交互计算输出选举结果,实现了...     

一种可验证的多候选人电子投票方案

电子投票相对传统投票具有安全、便捷、低成本的优势,近年来得到了广泛的关注。2012年孙培勇等人提出了基于多方求和的多候选人电子投票方案。经分析发现该方案不满足可验证性,给出了一种具有可验证性的多候选人电子投票方案,保证计票结果的不可欺骗性。     

基于博弈论的安全多方求和方法*

在已知的安全求和方法基础上,针对合作各方可能不诚实提供数据或共谋的情况,提出了一种基于博弈论的安全多方求和算法。算法中各方基于最大化收益的目标,自觉选择诚实、不共谋的参与计算。分析表明算法能很好地完成计算,保护隐私信息。     

一个基于OT协议的电子选举方案

将OT协议应用于电子选举中,提出一个新的电子选举方案。该方案能较好地解决电子选举对多选性的要求,同时满足安全电子选举方案的基本特性,且效率较高,可适用于较大规模的选举,进一步改进和完善了现有的电子选举方案。     

基于群盲签名的电子选举方案

数字签名是安全领域中的一项重要技术。盲签名有着与传统签名不同的特性，这使得电子选举的应用成为可能。本文主要针对基于F00的Sensus电子选举系统进行讨论，从而提出一种新型的电子选举协议。     

基于区块链的安全电子选举方案

当前电子选举方案主要存在两个矛盾点:一是既要保证选举行为的合法合规性,又要保证选举过程的匿名性;二是既要保证选票信息的隐私保密要求,又要保证选举结果的公众可验证性.针对这些矛盾,提出一种基于以太坊区块链和零知识证明的去中心化的安全电子选举方案.在该方案中,利用非交互式零知识证明算法和区块链去中心化架构设计了选民身份合法...     

基于同态实现多候选人的电子投票方案

选举是当今公民实现民主的重要方式,相比于传统选举方式,电子选举以密码学为基础,可以有效避免在各个环节中出现徇私舞弊现象,并且在计票阶段也比传统选举方式更快、更准确。在满足电子选举的公正性、唯一性、匿名性等八个基本特性的基础上,该方案通过使用Paillier加密的加法同态性来避免在计票环节对选民选票进行舞弊操作,同时能够大幅度提高电子选举在最后计票环节的效率。     

安全多方计算在解决销售量问题中的研究

提出了一个销售量问题:不同的厂家有不同的商品,他们想知道相同商品在市场上的销售总量,但各自都不透露自己的私有数据。同时提出了一个解决销售量问题的协议,并且在半诚实模型下对协议的安全性和计算复杂度及通信复杂度进行了分析。     

一个实用的电子评审方案

电子评审是一种特殊的电子选举，由于投票人很少。直接使用现有电子选举方案很难实现安全评审．本文将改进的矩阵传送安全多方求和协议与保密比较协议相结合，采用少数服从多数的选举规则，秘密比较计票结果是否大于一个预定门限值。不泄露计票值就能得出评审结果．该方案具有投票的隐私性、无收据性、计果的保密性和无争议性等性质。满足安全评审的需求；计算代价和通信代价均低于现有方案，容易设计实用的系统．     

电子商务数字签证的快速实现方法

电子商务存在着一个大问题,就是系统安全。我们可以用公开密钥RSA来解决这个问题。本文给出了实现RSA的快速算法,包括寻找大素数和欧几里德的快速实现。     

基于SEAL库的同态加权电子投票系统

电子投票比传统纸质投票更为灵活高效,能节省大量人力物力,在不同选举场合中的地位越来越重要.同态加密技术可以在电子投票过程中发挥重要作用,同态加密技术结合其他安全技术和手段来设计的电子投票系统,可以在计票过程中有效保护投票者的身份隐私,相比其他类型的电子投票系统也更为简洁高效.为了解决电子投票中的身份隐私保护和实现效率问题,本文提出了一种基于SEAL库的同态加权电子投票系统,通过同态操作实现密文计票,可有效抵抗来自计票中心内部的恶意攻击,保证选票保密性和计票结果正确性;通过在选票中引入投票权重,可以使电子投票系统实现加权投票;通过将选票信息密态存储在云端数据库,将计票中心部署在云端,可在保证安全的前提下借助云计算服务实现高效计票;系统中加密算法的安全性基于格上RLWE困难问题,可以抵抗量子计算攻击.对所设计投票系统的效率测试表明,完成对1000张选票的计票工作仅耗时1.867 s,相比Will等人在ICCCRI2015中提出的基于Paillier的电子投票系统计票耗时减少了32.73%,相比Wang等人在2017年提出的基于Helib的电子投票系统计票耗时减少了99.26%,相比Li在2017年提出的基于Helib的电子投票系统计票耗时减少了91.81%.本文提出的同态加权电子投票系统可以满足多个候选人投票和加权投票,能够适用于多种投票场景,且计票效率可以满足大规模投票的应用需求.     

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model

We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the discrete state space of a PEPA model by a continuous equivalent, we can draw on rate equation simulation techniques from both chemical and biological modelling to avoid having to directly enumerate the huge state spaces involved. We use stochastic simulation techniques to provide traces of course-of-values time series representing the number of components in a particular state. Using such a technique we can get simulation results for models exceeding 10¹⁰⁰⁰⁰ states within only a few seconds.     

基于安全多方求和的选举系统开发与实现

电子投票系统是一项具有广泛应用前景的一项技术,基于安全多方求和技术,设计与开发了具有高效与安全性能的电子投票系统,不需要可信任第三方,并且选举过程有效保障民主、安全、高效,本系统还可以应用于手机平台。     

Performability of a Secure Electronic Voting Algorithm

This paper considers modelling the performance and reliability of a secure electronic voting scheme. The scheme provides secure verifiable blind voting, however there is a considerable administration overhead to this level of security. A Markovian process algebra is used to build a performance model of a basic system of n distributed voters. This model is shown to suffer from the familiar state space explosion problem. A simpler model is therefore developed to allow larger and more practically relevant systems to be studied. The original model is then extended to include the possibility that voters may fail and two modes of recovery are considered. The models are evaluated numerically using data obtained from measuring an implementation of this scheme in order to determine the accuracy of the approximations.     

一种改进的预加密可验证电子投票方案

简要回顾Morales-Rocha等人的方案,针对这些缺陷提出相应的解决方案。经过性能分析并与原方案对比后,得出结论:改进方案解决了以上缺陷,从而具有优于原方案的性能。