【摘 要】
:
隐私保护集合交集(Private Set Intersection,PSI)是一种重要的密码协议,有许多实际应用。随着云计算能力的增强,人们希望利用云存储私有数据集并将PSI计算委托给它。随着个人消费需求的智能化,位置信息日益彰显其重要性,安全的位置验证必不可少。尽管已存在一些高效的PSI协议,但没有一个协议同时支持数据外包、距离限定和区域限定。然而,设计可靠高效的数据外包隐私保护集合交集协议,仍
论文部分内容阅读
隐私保护集合交集(Private Set Intersection,PSI)是一种重要的密码协议,有许多实际应用。随着云计算能力的增强,人们希望利用云存储私有数据集并将PSI计算委托给它。随着个人消费需求的智能化,位置信息日益彰显其重要性,安全的位置验证必不可少。尽管已存在一些高效的PSI协议,但没有一个协议同时支持数据外包、距离限定和区域限定。然而,设计可靠高效的数据外包隐私保护集合交集协议,仍面临着许多问题:(1)在传统的PSI协议中,各方都可以完全控制自己的数据集。在数据外包PSI协议中,数据集被外包,客户端必须将其控制权委托给云服务器。因此,需要建立一个可执行的授权机制,确保只有在所有数据所有者同意的情况下才能进行计算。(2)现有的数据外包PSI协议中没有提供位置验证,所以无法对客户端所在区域进行限定。在一些位置敏感场景中,用户的位置信息扮演着十分重要的角色,故需要保证用户处于限定区域内。(3)在客户端数据完全外包的PSI协议中,需要保证外包数据安全性和PSI计算安全性。因为云服务器会通过多次PSI运算推断有关集合元素和交集的信息,所以需要保证云服务器在PSI计算过程中无法获取集合中的数据以及计算结果。结合现有技术,本文首先设计了基于距离限定的外包隐私保护集合交集协议,实现距离限定的同时,安全地计算外包隐私保护集合交集。针对数据完全外包的安全需求,本文构建了客户端数据外包下支持距离限定的隐私保护集合交集协议的系统模型,设计了协议的敌手模型,提出了协议应满足的设计目标。为实现距离限定和数据外包的PSI计算,本协议采用距离限定协议,使得云服务器能够验证客户端的位置是否满足距离限定条件,保证只有通过验证才可以将数据外包到云服务器。使用加法同态加密算法,保证了外包数据安全和PSI计算安全。使用点值多项式表示集合,保证只有在双方客户端都授权的情况下才可以进行PSI计算。通过安全性分析,证明了该协议可实现提出的所有安全目标。接着,本文提出了基于区域限定的高效隐私保护集合交集协议,在对客户端的距离限定的前提下,对客户端的所在区域进行限定。针对基于区域限定的高效外包隐私保护集合交集协议的系统模型和敌手模型,提出了此协议的设计目标。并在协议中引入了区域验证协议,完成对客户端所在区域的限定。同时改变了客户端数据外包隐藏其多项式的方式,不使用任何计算成本高的公钥加密。客户端可以将其原始多项式分解为次数更小的多项式,更快地找到多项式的根(即集合交集),提高了PSI计算的效率。通过安全性分析,证明了该协议可实现提出的所有安全目标。最后,分别对本文提出的两个协议进行了性能测试和分析。并且通过仿真模拟实验对两种协议进行性能评估与分析。分析结果表明,本文所设计的外包隐私保护集合交集协议均满足对应的设计目标,同时对比相关工作,本文提出的协议具有更高的安全性和更好的性能。
其他文献
论文课题来源于模拟前端电容/电压转换电路工程项目,具体要求为研究并设计一款稳定的低温度系数带隙基准源。电容/电压转换电路将电容信号转换为电压信号,广泛应用于陀螺仪、加速度计等电容式传感器电路系统中。基准源电路作为基准模块单元,为电容/电压转换电路提供稳定的共模电压和偏置电流,在整个电路系统中发挥着重要作用。在本论文课题中,基准源的设计工作包括电路前端设计、版图绘制、寄生参数提取、仿真验证、芯片测试
氮化镓基材料由于自发极化和压电极化使得在未掺杂的异质结中能形成高密度高迁移率的二维电子气(2DEG),2DEG是影响GaN基高电子迁移率晶体管(HEMT)器件性能的关键因素。然而它们的性能受到两个相互矛盾的因素的限制,即2DEG浓度和栅极可控性。由于栅极长度和器件的频率特性成反比,一般通过减薄(Al,Ga)N(AlGaN)势垒层厚度以减小栅极到异质结界面的距离,以保持良好的栅极可控性。但另一方面减
近年来,随着无人驾驶技术、人工智能、传感和机器视觉等技术的迅速发展,类似于3D游戏、移动增强现实(Mobile Augmented Reality,MAR)等新型车载应用层次不穷,该类应用极大地提升用户驾驶体验和驾驶安全,然而它们通常是计算密集和时延敏感的,因此它们的出现对无人驾驶车辆的资源提出了更高要求。考虑到单辆无人驾驶车辆资源有限,若全部本地化处理将会大大加重无人驾驶车辆的资源负担,可能导致
研究背景痣样基底细胞癌综合征(Nevoid basal cell carcinoma syndrome,NBCCS),又称Gorlin-Goltz综合征(Gorlin-Goltz syndrome,GGS)、多发性基底细胞癌综合症Basal cell nevus syndrome(BCNS),是一种常染色体显性遗传病,具有高外显率和变异性表达。目前已有文献报道的临床表现达百种以上,以多发性基底细胞
虽然有机-无机杂化钙钛矿太阳能电池具有较高的光电转换效率,但其低结构稳定性和铅的毒性会严重限制它的商业应用。因而,探究无毒高稳定性钙钛矿具有重要意义。相比于铅基钙钛矿,锡基钙钛矿不仅具有合适的能带、高载流子迁移率,而且还具有无毒特性等;同时在无机层之间插入具有疏水性质的有机分子链可以提高材料的稳定性,使材料成为有机阳离子和无机物交替连接的低维钙钛矿结构。因此,本论文研究了一种具有有机二胺阳离子1,
近年来,复杂网络系统可靠性已成为诸多实际网络与应用系统的研究热点。当前研究主要基于人工构建出的网络模型,在实际复杂系统中尚缺乏系统验证。本论文以实际交通流量网络与电子信息系统为研究对象,重点研究基于节点重要性识别的实际网络系统可靠性的问题定义、识别方法设计、算法实现与验证、得出结论。所研究的模型和方法具有很好的可扩展性与通用性。本文主要研究内容如下:1.提出了一种基于节点属性值重新计算的关键节点识
嵌入式系统应用广泛,嵌入式软件规模和复杂度急剧上升,呈现出组件化、综合化的发展趋势。同时,物联网、工业控制、航空航天等领域对嵌入式软件的可靠性、安全性要求越来越高,如何提高嵌入式软件的安全性和可靠性成为长期被关注的关键问题。基于模型的系统工程(Model-Based Systems Engineering,MBSE)常用于开发大型嵌入式软件系统,以提高软件可靠性。其中常用的系统建模语言(Syste
在人群聚集的场馆进行安全疏散需要应对许多挑战,如果引导不当,容易造成踩踏事件,造成重大人员伤亡。针对疏散中的人群动态变化,设计高效、合理的疏散策略引导行人有序疏散,能够有效降低风险,对人群安全管理具有重大意义。然而,人群疏散受多因素影响,充满不确定性,任何不可预见的突发事件都可能引起人群状态的不稳定,疏散策略应当能够应对环境和人群状态的变化,针对已发生的群体异常提供有效解决方案,防止进一步引发群体
随着传感器的普及和感知技术的不断发展,越来越多的时序数据在连续不断地产生。这些时序数据中蕴含着丰富的信息,能够用于多种场景,例如预测城市中未来空气质量变化、工业监控数据自动风险排查、个性化商品推荐服务以及挖掘潜藏的自然规律等。其中时序相似性搜索作为时序分析的基本算子之一,用于支持以上应用,且这些应用普遍对其拥有较高的时效性要求。然而大数据时代的来临使得时序数据具有基数大、维度高且不断产生的特点,想