基于零知识证明和同态加密的隐私保护算法研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:sunningyou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在大数据时代,数据价值急剧增长,与国家安全、社会发展和个人合法权益的关系也日渐紧密。数据流通是释放数据价值的重要环节,但随着互联网的高速发展,隐私数据的泄露问题日趋严重。同态加密是一类在密文数据的基础上直接进行运算的加密算法,可以保证数据的安全性,不会导致隐私泄露。经过加密的数据都是不可见的,这又会导致数据滥用、无法监管验证的情况出现。零知识证明能够向其他人证明数据的合法性。同态加密与零知识证明技术结合应用能够解决数据滥用、无法监管验证的问题。在日常应用中,由于半同态加密算法具有计算复杂度低、性能较好的特点,被广泛应用在各大场景中,但是已有的半同态加密算法并不能进行零知识相等性证明。因此,本文分别在满足加法同态的BGN同态加密算法和满足乘法同态的Elgamal加密算法的基础上设计了能够满足零知识证明的隐私保护算法。本文在传统区块链的交易模型基础上,将交易信息通过加密算法进行隐藏,并以密文的形式存储到区块链网络中。利用同态加密算法的加法同态性进行验证,并引入了监管组织对区块链上记录的用户金额信息和转账金额信息监管,除了监管组织利用私钥可以解密外,其他任何人在区块链网络中只能看到密文形式的信息。经过用户公钥加密的转账金额,用户可以使用私钥解密获得其他人转账过来的金额。为了使验证者在不知道密文包含的真实信息情况下,验证该笔交易的合法性,结合同态加密技术和零知识证明技术,提出了基于BGN同态加密的交易隐私保护算法,包括交易信息隐藏算法、交易信息验证算法和本地账户余额更新算法,同时将该验证算法中的零知识相等性证明协议应用到了安全计算中。通过分析现有的承诺技术及其与同态加密算法的结合应用,发现在同态加密算法中很少有既能够进行乘法同态运算又能进行零知识证明的隐私保护算法。因此本文在Pedersen承诺的基础上提出了一种能够满足乘法同态的M-Pedersen承诺,基于此承诺设计了两个应用协议,能够满足信息隐藏及其零知识相等性证明,并进行了正确性与安全性分析。进一步,将Elgamal加密算法进行了扩充,使其能够进行零知识相等性证明,并对其进行了安全性分析。经过测试,在隐私计算和零知识证明过程中,消耗时间仅在毫秒级内,能够在各大场景中部署应用。作为补充将Elgamal变体算法也进行了零知识证明,并对其进行了性能测试。
其他文献
高光谱成像系统将成像技术与光谱技术相结合来检测物体的空间特征,使高光谱图像可以捕捉场景的详细光谱分布。高光谱图像数据作为一个数据立方体,通常具有多个相邻的窄带,采集到的图像相比于普通RGB彩色图像包含更加丰富的信息,在诸多领域拥有巨大优势,广泛应用于许多遥感领域,包括目标检测、变化检测、分类、聚类和分割。然而光谱、空间等不同维度无法同时高分成像,这是由于高光谱成像机理的限制。在获取高光谱图像时使用
学位
当今世界,随着人工智能技术在军事指挥领域的应用,战争形态已经发生了巨大的变化。在许多场景下,特别是无人机群作战场景下,战场形势瞬息万变,传统的依赖指挥官的指挥决策方式已经完全不能满足作战指挥的要求。必须针对各种场景研究指挥官辅助决策系统,为指挥官快速提供多套可行的作战方案,供指挥官选择。论文针对无人机群对地面目标的进攻作战和防空武器部署两个作战场景,研究指挥官辅助决策系统,决策系统具有指挥官意图识
学位
在工业领域,生产设备故障甚至停机可能为工厂带来无法估量的经济损失。如果技术人员能够提前预知设备故障的发生,就可以提前拟定维修方案,减少因为故障发生带来的影响。收集生产数据并在工业物联网(Industrial Internet of Things,IIo T)的中心云端进行故障预测是目前工厂生产提质增效的有效手段。但大量生产数据的传输可能会由于网络带宽的限制产生不可预知的延迟,还会对中心云造成巨大的
学位
语义分割作为计算机视觉的基础,是预测图像不同语义类别的像素级任务,广泛应用于人机交互、自动驾驶和场景理解等领域。深度学习的使用极大提高了语义分割的性能,但一般的分割模型因卷积叠加和多尺度特征聚合导致存储成本增加和速度降低。因此,本文针对现有分割算法精度和速度难以平衡且空间占用大的问题,重点研究了应用在嵌入式平台上的语义分割算法,包括瞳孔目标分割算法和城市街景目标分割算法,具体的研究和创新内容如下:
学位
近年来,人工智能技术发展迅猛,已被广泛应用于各个领域,例如个性化推荐系统、自动语音识别以及计算机视觉等。这些技术的成功都是建立在大量的数据基础之上的,但是随着社会的不断发展以及人工智能应用的落地,人们对数据隐私的重视程度越来越高,数据共享不再那么容易,人工智能的发展面临着一定的挑战。联邦学习的出现打破了数据壁垒,使得多方能够在一定安全的条件下进行数据的共享。不幸的是,传统的联邦学习并不能完全保护参
学位
对于世界各国而言,农业都是国民经济的重要组成部分,维持社会的稳定和经济的长期发展都需要农作物的稳定生产。多年以来,农作物产量预测对于政府部门指导农业生产、保证农业及相关贸易的良性运转乃至国家的经济发展都具有关键作用。然而,影响农作物产量的因素是复杂多变的,实现产量的精准预估一直是农业领域中的一个难题。神经网络在处理大规模复杂非线性问题时具有突出优势,能够契合产量预测的需求。因此,本文围绕组合神经网
学位
本文应用中国微生物保藏中心得到的两株典型乳酸菌:德氏保加利亚乳杆菌(Lactobacillus bulgaricus,Lb1.2717)和嗜热链球菌(Streptococcus thermophilus,St1.2718),协同活化的安琪酵母菌,选取对数后期的菌种接种于米-面混合面团中,通过研究菌种的复配比、发酵时间对米-面混合酸面团的理化及质构特性、发酵活力及感官评定、菌落总数及基础流变特性的影
学位
随着三维传感和重构技术的迅速发展,点云已经被广泛应用于虚拟现实/增强现实、生物医学成像、多人协作、自动驾驶、数字博物馆等多个领域,为用户提供丰富逼真的视觉信息。点云通常包含百万甚至千万个点,如此庞大的数据量对多媒体系统的存储和传输等环节造成了严峻的挑战,如何有效提升点云数据的压缩性能已成为当下的研究热点。点云数据通常分为几何信息和属性信息,现有的点云压缩方案,在对几何信息和属性信息进行编码时,由于
学位
随着机器人技术的蓬勃发展,越来越多的智能机器人走进人类日常生活中的各个领域并完成各种特定任务,为人们的生活带来了诸多便利。而移动机器人能够准确地移动到指定位置并完成特定任务的前提是:在未知的环境中确定自身所处的位置并得到环境地图,即同步定位与地图构建(Simultaneous Location and Mapping,SLAM)。由于现实环境的复杂性以及传感器自身的测量误差,搭载单一传感器的移动机
学位
数据链是信息技术与战术结合的产物,是按照特定的消息规格和通信标准,使用相应的调制解调、差错控制编码和组网通信等技术方案传输信息的通信系统。近些年来,数据链在科学研究以及民生应用等很多领域发挥着重要作用。在民航业务领域,国际民航组织(International Civil Aviation Organization,ICAO)提出了L波段数字航空通信系统1(L-band Digital Aerona
学位