1. 引言
随着电子商务、电子选举、电子货币的普及,人们对公开网络所传输数据的安全性提出了更高要求,于是,全同态加密走进了人们的视野 [1]。同态加密最早是由Rivest [2] 三人提出的,即在不知道加密密钥的情况下,对密文进行计算,其结果与明文作相同计算的结果相同。40多年以来,人们提出的加密方案大多只满足加法同态或乘法同态,同时还有一些能够同时满足有限次加法与乘法的同态方案。直到2009年,由Gentry等人才构造出第一个真正意义上的全同态加密方案 [3] [4]。在此文中,构造了一个可实现有限次同态计算的Some What方案,通过同态解密来实现密文的更新,从而实现全同态加密。但缺点是同态解密的效率低,复杂度相对较高 [5] [6]。
近年来,人们基于Gentry的方案产生了许多全同态加密方案及优化。Dijk等人提出了基于整数的全同态加密方案,称为DGHV方案,其完全基于整数上的算术运算,概念简单,易于理解,但缺点是计算复杂并且易受噪声的干扰 [7]。于是本文从另外一个方面考虑,提出了一个没有噪声的全同态加密方案,该方案概念简单、易于理解,计算易于实现且不会受噪声干扰。
本文针对计票过程中存在的安全问题,面向中大型投票场景,综合采用全同态加密(FHE)、数字签名,设计实现了一个具有更高安全性保障的电子投票系统,并在保证安全的前提下,尽可能地提高了系统的性能 [8] [9] [10]。针对电子投票中存在的问题,引入了椭圆曲线数字签名算法,签名速度更快,更适用于电子投票场景,能更好地解决电子投票中的身份认证问题。从初始化、注册投票、计票和验证查票四个阶段详细阐述了电子投票方案的具体流程。
2. 相关算法
2.1. 无噪声的全同态加密方案
2.1.1. 算法描述
目前提出的方案在进行同态运算时会受到噪声的干扰,这会影响运算速度,在大数据和云计算的环境下有很大的局限性,本文基于文献 [8] 在没有噪声的全同态加密基础上,提出了一个改进的无噪声全同态加密方案,提高了计算效率和安全性。
2.1.2. 具体方案
1) KeyGen:p和q是两个比较大的素数且占
bits (
),h是一个小的正数(
),令
,其中h和N是公开的,p和q是保密的。
h的约束条件:
初始化一个计数器和计时器,用来记录加密的次数和密钥的有效周期。
① 加密的次数小于h,则不用更新密钥K;
② 加密
次后,重新分配密钥
;
③ 密钥K在一个有效周期内最多允许加密
次,完成
次加密后,则立即更新密钥K,并重新计时;
④ 当需要加密的次数为
次时,则密钥K可以变为
(
)。
明文的集合是
,故所有加法或乘法的结果始终是集合
中的整数,又因为
,p是保密的,故在进行操作时,可直接对N取模。
密文的集合是有限的向量空间
,故所有的密文形式为
,且
,
。密钥
。
2) Enc:生成明文
对应密文的过程如下
① 通过随机生成h个在0到
之间的数,生成向量
;
② 令
;
③ 若
则输出C作为m的密文;
④ 若
则随机选取一个
要求
,用
替换C中
,其中
。
那么
等于m即新的C为有效加密。
3) Dec:给定任意一个密文C和对应的私钥
① 解密函数
的结果即为相应明文。
② 若加密次数小于h,则直接应用解密函数。若加密次数不小于h,则对前
次、h至
次…分别应用解密函数。
4) Eval:给定一个希望对密文进行操作的函数和需要处理的密文,将个密文输入到函数中执行同态运算,输出密文c。函数可分解成加法和乘法的组合,对于两个密文c1和c2来说,同态加法和同态乘法的表示如下:
同态加法:
;同态乘法:
。
2.1.3. 同态性
将任意两个密文A和B之间的二元关系 ≈ 定义如下:
(加法同态)令
,
是密文,也即是
,
;那么既有如下所得:
所以
。
(乘法同态)
2.1.4. 正确性证明
对于任意给定的
输出密文
都有
成立,通过定义
可以输出任何密文
使得
C被输出也就意味
因此,有
2.1.5. 安全性证明
本文的安全性可以规约到的大数分解问题。
大数分解困难性分析:设
分别是编码在
上的素数,
。欧拉函数
表示不大于n且与n互素的正整数个数。当n是素数,则有
则有
。
由费马定理,若p是素数,数a与p互素,则
。那么,将N分解为素数p,q乘积的过程就是求解
,我们知道
,则有
。容易看出,上一等式求解规模随p,q的增大成指数级别增加,而目前不能在多项式时间内求解出该问题。例如对十进制五十位的大数进行分解也需要10的11次方年,故而该问题目前仍是困难的。
引理1:任意随机h个密文几乎可以表示为h个独立的方程
证明:概率
式子可知
随着N的增大,P迅速趋近于1。这就意味着人们可以安全地假设任意h给定的密文几乎肯定是独立的。
那么如果在已知P的情况下:
那么可以得到h个方程,未知量个数也为h个,则方程有解系统不安全;为了保持安全性,密码系统不能发送超过
条密文与已知明文。
2.1.6. 性能分析
本文方案采用了大数分解的困难问题,安全级别满足IND-CPA安全。密钥尺寸为
,因为是无噪声的加密,所以密文膨胀率为0,不需要进行密文清洗,计算复杂度为
,优于文献 [10] 的计算复杂度。
2.2. 数字签名算法
2.2.1. 作用
1) 验证签名产生者的身份,以及产生签名的日期和时间;
2) 证实被签消息的内容;
3) 由第三方验证,解决争议。
2.2.2. 椭圆曲线离散对数问题ECDSP
本文基于ECDSA (Elliptic Curve Digital Signature Algorithm,椭圆曲线数字签名算法)来实现方案的公开可验证性。椭圆曲线离散对数问题是构造椭圆曲线密码体制的数学基础,即对于椭圆曲线E上两点P、Q,如果已知存在k满足:
,则求解k的问题称为椭圆曲线上的离散对数问题。根据加法法则,计算Q很容易,但给定Q和P,求k就相当困难。ECDSA算法的求解难度是指数级的,因此椭圆曲线算法具有相当高的单位安全强度,具体原理如图1所示。
3. 全同态加密的电子投票方案
基于云端的电子投票的模型如图2所示,认证注册中心CA负责为参与投票的投票人、投票中心和计票中心等实体进行身份认证,为各方实体生成密钥,签发与管理数字证书,确保各实体的真实可靠。投票中心VC负责接受用户端投票人的合法注册,并为投票人分发选票。CA用于存储用户提交的选票以及其它信息。计票中心CC负责验证投票人提交的选票的真实性与合法性,并统计选票结果。
Figure 2. Electronic voting model diagram
图2. 电子投票模型图
3.1. 系统初始化阶段
主要是CA对投票人T、投票中心VC和计票中心CC等实体进行身份认证,这些实体使用ECDSA签名算法生成签名所需的密钥对,公钥为这些实体本身所有,CA用自己的私钥对这些实体的公钥施加数字签名,生成证书并公布出来,其中证书包含这些实体的身份信息以及公钥。
各个实体的密钥对如下:
注册中心:
;
;
投票中心:
;
;
计票中心:
;
;
投票人的:
;
。
3.2. 投票人注册
投票人需要使用自己的身份材料在注册中心进行注册,注册中心会根据投票人递交的身份信息验证该投票人是否具有投票权以及是否为首次投票,一旦验证通过,则投票中心向该投票人发放与身份信息有关的唯一身份标识
、唯一投票标识
、空白选票以及投票公钥
,并使用自己的私钥对
进行签名并发送给投票人。将选票编号
与
关联,以防止一个
拥有多张选票。
投票人对收到的签名进行验证,若验证通过,确实为来自注册中心的合法签名,则投票人保存
。同时注册中心需要将
发送到公示中心,投票人可以到公示中心查看自己是否已经被公布为合法的投票人。
3.3. 投票阶段
设有n个候选人,投票时投票人选择同意(记为1)或反对(记为0),若不选视为弃权,则任意一张选票一部分应当包含如下信息:
。投票完成后对选票加密,得到
,之后发送给投票中心。
投票中心收到如上信息后,会调用解密算法验证Uid是否合法,若id合法并且在注册中心已被认证,则认为该选票有效。投票中心会把Q分别发送给注册中心和计票系统。
注册中心验证id是否合法。若认证成功则把Q发送给计票中心,同态运算完后返回给注册中心并上传到云端留档,以备将来查验。
3.4. 计票阶段
计票中心收到注册中心发来的密文Q,验证Uid是否合法,若合法则应用同态运算,把计算后的结果发送给注册中心。注册中心在接收消息后验证其合法性,调用同态加密算法的私钥进行解密,并将相应的结果上传到公示板。
3.5. 安全性分析
1) 合法性:在注册时每个投票人都会用自己的身份材料在注册中心进行注册,注册中心在确保投票人身份信息后再进行投票,而数字签名算法确保了数据的可靠性。
匿名性:在投票人通过身份认证信息后,注册中心会发放一个与之身份无关的身份标识,用来隐藏投票人的真实身份信息;其次,在投票过程中采用同态加密对选票进行加密,除了投票人自己,其他任何人都不能获得选票的真实内容,也不能与投票人身份对应。
2) 公正性:通过全同态加密技术,选票信息只有在机票中心通过私钥才可以知晓,其他任何人都无法知道选票信息,因此保证了方案的公正性。
3) 唯一性:在注册阶段,注册中心采用一人一票,保证通过身份认证的投票人有唯一的投票标识。
4) 完备性:首先注册中心对投票人身份信息进行验证,确保身份合法,其次每个人选票有唯一编号,防止重复选票,数字签名对选票内容完整性进行验证,只有全部通过才能被计票中心统计。
5) 可验证性:投票中心会将选票结果公之于众,每位投票人可根据公示信息来确认自己的投票是否被记入。
4. 总结
文中提出了一种基于全同态加密技术的电子投票方案,它综合利用了云计算的分布式特点、强大的计算能力以及安全的数字证书、数字签名、PKI等安全技术,实现了一种安全的电子投票方案。该方案较好地解决了电子投票中的匿名性、完整性和公开可验证性难题,在一定程度上实现了安全、公开、公平和公正的电子投票。不过,相信但随着全同态加密技术研究的深入以及云计算的广泛应用,采用全同态加密技术的电子投票方案将会得到广泛应用。
基金项目
河南科技大学大学生研究训练计划(SRTP)项目(项目编号:2021175)。
NOTES
*通讯作者。