CN107222302A - 用部分同态加密方案构建的空间众包任务分配***及方法 - Google Patents
用部分同态加密方案构建的空间众包任务分配***及方法 Download PDFInfo
- Publication number
- CN107222302A CN107222302A CN201710533442.6A CN201710533442A CN107222302A CN 107222302 A CN107222302 A CN 107222302A CN 201710533442 A CN201710533442 A CN 201710533442A CN 107222302 A CN107222302 A CN 107222302A
- Authority
- CN
- China
- Prior art keywords
- workman
- mrow
- task
- servers
- space
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000009826 distribution Methods 0.000 title claims abstract description 34
- 238000000034 method Methods 0.000 title claims abstract description 26
- 238000004422 calculation algorithm Methods 0.000 claims description 16
- 230000005540 biological transmission Effects 0.000 claims description 3
- 238000010276 construction Methods 0.000 claims description 3
- 238000012545 processing Methods 0.000 claims description 2
- 230000007423 decrease Effects 0.000 description 13
- 238000010586 diagram Methods 0.000 description 10
- 239000000243 solution Substances 0.000 description 10
- 238000004891 communication Methods 0.000 description 7
- 238000004364 calculation method Methods 0.000 description 6
- 230000008569 process Effects 0.000 description 6
- 238000004088 simulation Methods 0.000 description 6
- 230000000007 visual effect Effects 0.000 description 6
- 238000002474 experimental method Methods 0.000 description 5
- 238000004458 analytical method Methods 0.000 description 4
- 238000013461 design Methods 0.000 description 3
- 238000011156 evaluation Methods 0.000 description 3
- 239000004576 sand Substances 0.000 description 3
- 230000004888 barrier function Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000005802 health problem Effects 0.000 description 2
- 238000011160 research Methods 0.000 description 2
- 241001269238 Data Species 0.000 description 1
- 241000233805 Phoenix Species 0.000 description 1
- 230000018199 S phase Effects 0.000 description 1
- 230000009471 action Effects 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 239000003795 chemical substances by application Substances 0.000 description 1
- 230000006378 damage Effects 0.000 description 1
- 238000013480 data collection Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 235000013399 edible fruits Nutrition 0.000 description 1
- 230000005021 gait Effects 0.000 description 1
- 238000002347 injection Methods 0.000 description 1
- 239000007924 injection Substances 0.000 description 1
- 230000003902 lesion Effects 0.000 description 1
- 239000011159 matrix material Substances 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000012846 protein folding Effects 0.000 description 1
- 238000012827 research and development Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 238000013518 transcription Methods 0.000 description 1
- 230000035897 transcription Effects 0.000 description 1
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/008—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols involving homomorphic encryption
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0631—Resource planning, allocation, distributing or scheduling for enterprises or organisations
- G06Q10/06311—Scheduling, planning or task assignment for a person or group
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
- H04L9/0861—Generation of secret information including derivation or calculation of cryptographic keys or passwords
- H04L9/0863—Generation of secret information including derivation or calculation of cryptographic keys or passwords involving passwords or one-time passwords
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Entrepreneurship & Innovation (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Strategic Management (AREA)
- Economics (AREA)
- Game Theory and Decision Science (AREA)
- Educational Administration (AREA)
- Development Economics (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Tourism & Hospitality (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Storage Device Security (AREA)
Abstract
本发明公开了一种用部分同态加密方案构建的空间众包任务分配***及方法,包括SC服务器、加密服务提供者、空间任务请求者和工人;加密服务提供者生成密钥,采用Paillier密码和ElGamal密码***;空间任务请求者创建空间任务,将任务位置返回SC服务器;SC服务器加密任务位置,每个工人计算任务位置与工人位置的距离,从而计算得到隐私保护距离;每个工人的速度被加密发送SC服务器,每个工人计算其行进时间,加密后发送给SC服务器;SC服务器借助加密服务提供者计算获胜工人,将一名获胜工人加密后返回SC服务器;SC服务器加密任务位置向所有工人广播,获胜工人到达指定位置执行任务。本发明在空间众包中实现双方隐私保护,且计算成本大大降低。
Description
技术领域
本发明属于计算机领域,具体涉及一种空间众包的任务分配***,尤其涉及一种用部分同态加密方案构建的空间众包任务分配***;此外,本发明还涉及该用部分同态加密方案构建的空间众包任务分配***的实现方法。
背景技术
众包通过将一项任务(通常由指定代理人执行)通过公开招募的形式外包给大众,彻底改变了问题解决方法的格局。众包可以按需提供人才容量和专家服务,所需成本远远少于雇佣专业人士,已经被成功应用于转录书籍、蛋白质折叠、星系分类和交通监测等。最近,众包也已广泛用于应急管理,因为它可以在紧急情况和灾害中高效和低成本的收集关键信息,例如影响区域,危险人群,以及可能需要搜索和救援行动的潜在地区。例如,2015年4月25日,尼泊尔遭受了7.8级地震的袭击。为了提供详细的损伤评估,DigitalGlobe收集了受影响地区地震前后到高分辨率卫星图像,这些图像被分成小部分并提供给在线人群以识别受损建筑物和道路。因为众包的帮助,21000多个损坏的建筑和道路在一个月内被识别和标记,为救助和重建提供了有价值的数据。
由于无处不在的无线网络和智能移动设备的快速发展,在应急管理中众包可以扮演更为积极主动的角色。一种新型的众包,空间众包(SC)将一个空间任务(即与位置相关的任务)外包给持有移动设备的多个工作者,这些工作者需要到达指定位置并完成任务。我们继续上述在地震中的应急管理的例子。SC服务器发送一个在特定的倒塌建筑物中是否存在幸存者的空间任务给所有可用工作者,包括志愿者和配备有生命检测仪器的专业人员。愿意执行任务的工作者到达建筑物进行检查,并将结果发送回SC服务器。基于随后可以进行的救援计划,例如,如果有人被识别为被困在瓦砾中,则会在现场部署专业重型救援设备。
不管在任何应用领域,众包的成功取决于人群的积极参与。对于空间众包,位置隐私问题是妨碍工人从事空间任务的主要因素。为了实现有效的任务分配(这里的有效性指空间任务可以通过分配给附近的工人而快速完成),SC服务器需要通过工人们的移动设备不断地收集他们的位置。然而,工人非常难以控制由不受信任的第三方,即SC服务器,存储他们的位置数据的使用。事实上,所收集的位置数据很可能被共享,出租或出售,这对个人隐私有严重的影响。基于这些位置数据,入侵者可以对个人进行广泛的攻击,比如物理监视和跟踪,身份窃取和敏感信息(例如家庭住址和生活习惯)破坏等。因此,位置隐私保护,或者更一般地,工作者的隐私保护是空间众包的一个重要方面,因为它可以激励工人积极参与完成空间任务。这对于应急管理特别重要,因为更活跃的工人通常意味着任务可以更快地完成。
现有众包平台上的任务(如Amazon Mechanical Turk)对所有工人都是公开的。这种模式可能不适合在紧急情况下的空间众包。一旦任务的位置被公开,由利他主义激励的过度工作者便可以去那里执行任务,即使他们没有被要求这样做。这可能引起更多其他的混论,比如交通堵塞。因此,任务的位置不应该被工作人员掌握,除了任务被分配到的人。有时,从任务请求者的角度来看,任务位置保护也是受欢迎的。例如,在家中患有健康问题的人可以通过众包寻求帮助,但是公开其健康问题以及家庭地址明显侵犯了个人隐私。因此,任务位置隐私也应该在空间众包中得到保护。
在基于位置服务的场景下,虽然已经有很多针对位置隐私策略的努力,但是在空间众包应用中的研究工作较少。在[To,H.,Ghinita,G.and Shahabi,C.:A framework forprotecting worker location privacy in spatial crowdsourcing.PVLDB,7(10),919-930(2014)]中,工作人员的位置被信任方收集和干扰,根据隐私差分注入校准噪声到原始数据[参见Dwork,C.,2008,April.Differential privacy:A survey of results.InInternational Conference on Theory and Applications of Models of Computation(pp.1-19).Springer Berlin Heidelberg.]。在接收到空间任务时,SC服务器查询被干扰过的位置数据,以确定在任务位置附近可能包含足够工人的区域。位于该区域的工人将会接到任务通知,并有权决定是否执行。在这项开创性的工作中提出的解决方案有几个缺点。首先,它只考虑工人的位置隐私,而不考虑任务位置的隐私。第二,它主要基于工人的行进距离执行任务分配,而没有考虑到其他重要因素,例如工人的行进速度,这使得分配结果有时不能令人满意。此外,它的工作基于一个非常强的假设,即有一个可信任方有权访问所有工人的位置。可以设计一种基于完全同态加密(FHE)的方案来实现***的计算,但这将导致高昂的计算成本,使得该方法具有有限的实际意义。
因此,亟需研发一种既可以保护工人的位置隐私,还可以保护任务位置隐私的空间众包任务分配***,控制该***的计算成本也成为一个技术难题。
发明内容
本发明要解决的技术问题在于提供一种用部分同态加密方案构建的空间众包任务分配***,在任务分配期间,不仅应保护工作者的隐私,还应保护任务隐私,本发明实现了对双方的私人数据进行加密,从而实现强大的互保性,且该***的计算成本大大降低。为此,本发明还提供该用部分同态加密方案构建的空间众包任务分配***的实现方法。
为解决上述技术问题,本发明提供一种用部分同态加密方案构建的空间众包任务分配***,包括SC服务器、加密服务提供者、空间任务请求者和工人;所述SC服务器为空间众包服务器;
所述加密服务提供者用于生成密钥,其采用Paillier密码***和ElGamal密码***,所述加密服务提供者生成ElGamal的域参数和Paillier和ElGamal的密钥对,其对私钥进行保密,并向SC服务器和所有工人发送公钥;
所述空间任务请求者用于创建空间任务,将任务位置传送给所述SC服务器;所述SC服务器用公钥加密任务位置后,向所有工人发送密文,从SC服务器接收到该加密信息后,每个工人计算任务位置与工人位置的距离,从而计算得到隐私保护距离;
每个工人的速度被加密并发送到与加密服务提供者协作的SC服务器,SC服务器对加密后的所有工人的速度求乘积,并由加密服务提供者解密得到V,发送给每个工人;每个工人计算其行进时间,加密后发送给SC服务器(由工人计算行进距离和行进时间,可以大大减轻SC服务器的负载);
SC服务器借助加密服务提供者根据加密的隐私保护行进时间计算获胜工人,将一名获胜工人加密后返回给SC服务器;
SC服务器加密任务位置并向所有工人广播,将任务分配给工人,加密后的任务位置只有获胜工人能解密,获胜工人到达指定位置执行相应的任务。
作为本发明优选的技术方案,所述空间任务s是指要在位置ls执行,并与截止日期es相关联的任务;所述工人w是愿意执行空间任务的人,每个工人与由SC服务器指定的IDidw,速度vw和其当前所处的位置lw相关联。
作为本发明优选的技术方案,所述SC服务器根据工人集合W={w1,w2,…,wn}和空间任务s的位置ls和截止日期es,通过任务分配算法,将任务分配给工作者wi*,工作者wi*需满足两个条件:第一,wi*可以在截止日期es之前到达ls;第二,没有其他工人可以在wi*之前到达ls。
作为本发明优选的技术方案,所述ElGamal密码***能被扩展为支持交换式加密,采用如下两种新算法定义如下:
–二次加密给定用公钥ha加密的密文E’ha(m)=(gra,mha ra),其可以通过选择随机数rb,其中0≤rb≤q–1,并计算c1=gra,c2=grb和c3=mha rahb rb,其中hb为公钥,来进行二次加密。E’ha(m)的密文为
–二次解密密文(c1,c2,c3)可以通过以不同的顺序使用私钥xa和xb进行解密,其解密结果是相同的。如果首先使用私钥xa,我们有 可以被xb再次解密以获得m。很容易验证,如果首先使用xb然后使用xa,解密结果也是相同的。
此外,本发明还提供一种用部分同态加密方案构建的空间众包任务分配***的实现方法,包括如下步骤:
第一阶段,任务位置与工人位置距离计算:空间众包服务器用Paillier公钥加密任务位置ls=(xs,ys)后,向所有工人发送三份密文:E(xs 2+ys 2),E(xs)和E(ys),从空间众包服务器接收到该加密信息后,每个工人wi计算ls和其当前位置li的距离的平方,并进行加密,即:
第二阶段,每个工人行进时间计算:令W={w1,w2,…,wn}是n个工人的集合,V是所有工人速度的乘积,即且vk‘=V/vk,其中1≤k≤n;对于任意两个工人wi,wj∈W,当且仅当d(li,ls)vi‘<d(lj,ls)vj‘时有d(li,ls)/vi<d(lj,ls)/vj;为每个工人计算虚拟行程时间ti’=d(li,ls)vi’,其等同于确切的行程时间ti=d(li,ls)/vi,即具有最短虚拟行程时间的工人必定具有最短的确切行程时间;
第三阶段,获胜工人计算:空间众包服务器具有2元组<i,E(ti’2)>的列表,其中i是工人wi的ID,1≤i≤n;为了保护工人,尤其是获胜者的身份,它通过一个PRF fk函数加密每个工人的ID,并向加密服务提供单元发送<fk(i),E(tfk(i)’2)>,以找到哪个工人的行程时间最短,以及其是否可以在截止日期es之前到达任务位置;
第四阶段,任务位置广播:一旦接收到E’C(fk(i*)),空间众包服务器便加密任务位置ls并向所有工人广播以如下方式加密ls:
其中h是长度匹配哈希函数,用于将较长的位串映射到较短的位串;一种被证明是语义安全的h的构建方法是,将一个较长的位串截断为多个固定长度的较短位串,并在这些较短位串上进行异或计算并输出;只有获得E’C(fk(i*))信息的工人才能通过计算 得到任务位置信息。
作为本发明优选的技术方案,所述第一阶段中,要求所有工人以E(xi 2+yi 2),E(xi)和E(yi)的形式向空间众包服务器发送加密位置,并要求空间众包服务器计算E(d2(li,ls))。
作为本发明优选的技术方案,所述第二阶段中,每个工人通过ElGamal密码***对其速度进行加密,并将E‘(vi)发送给空间众包服务器,空间众包服务器通过将所有加密的速度相乘获得E’(V);然后,空间众包服务器要求加密服务提供单元解密E’(V),并给所有工人移动端发送V;通过用其速度vi除V,每个工人wi得到vi’的值并计算E(d2(li,ls))vi’2=E(d2(li,ls)vi’2)=E(ti’2);加密的虚拟行程时间被发送到空间众包服务器进行进一步处理;该过程中加密服务提供单元和所有工人都知道V的确切值,这并不违反任何工人的个人隐私。
作为本发明优选的技术方案,所述第三阶段中,由于加密服务提供单元具有Paillier的私钥,因此能通过解密E(ti’2)来获得ti’2并计算实际的行程时间然后,加密服务提供单元很容易的找到具有最短行程时间的工人,并判断其是否可以满足截止日期限制;如果不能,加密服务提供单元通知空间众包服务器没有获胜者,否则,它使用ElGamal加密获胜者的ID fk(i*),并将E’C(fk(i*))发送到空间众包服务器。
作为本发明优选的技术方案,所述第四阶段中,以下步骤确保只有获胜者才能获得E’C(fk(i*))信息:
首先,每个工人wi从空间众包服务器获取加密的ID fk(i)),并使用自己的公钥通过ElGamal进行加密,然后将加密后的信息E’wi(fk(i))发送给加密服务提供单元,加密服务提供单元接收到该信息后,使用其公钥和用于加密E’C(fk(i*))的相同随机数r再次通过ElGamal进行加密;加密服务提供单元随后将结果发送到每个可以通过其私钥来解密以获得E’C(fk(i))的工人;所述公钥应该保密,以保护隐私。
与现有技术相比,本发明具有以下有益效果:
1、双方的隐私保护。在任务分配期间,不仅应保护工作者的隐私,还应保护任务隐私。本发明采用著名的密码***对双方的私人数据进行加密,从而实现强大的互保性。
2、高效的任务分配。在任务分配期间,行进时间比行进距离更加重要,特别是对于有最后期限的任务,因此在最近的空间众包应用中工作者速度被认为是一个重要指标。本发明统一工人速度与工人的位置,以实现更有效的任务分配。本发明由工人计算行进距离和行进时间,可以大大减轻SC服务器的负载,实现更有效的任务分配。
3、可接收的开销。隐私保护的强度以附加的计算或通信成本为代价。在任务分配期间,本发明组合部分同态加密方案以有效地实现在加密数据上所需的复杂操作,从而避免显著的性能损失。相比采用基于完全同态加密(FHE)的方案来实现上述计算导致高昂的计算成本,本发明使用部分同态加密方案有效降低了高昂的计算成本。且本发明***算法解决了不能支持计算不等式(8)所需的所有操作的技术难题。
4、本发明可以实现空间众包中进行高效的任务分配,并提供工作者和任务两方面的隐私保护。这是首次在空间众包中实现双方隐私保护,具有创造性。
5、本发明可以实现现有实用密码***不能支持的一些复杂操作,通过这种策略,本发明协议可以在可接受的开销下实现双方的隐私保护。
附图说明
下面结合附图和实施例对本发明进一步说明。
图1是空间众包的***模型示意图;其中,图1(a)是非私人空间众包的***模型示意图;图1(b)是本发明隐私保护空间众包的任务分配***模型示意图。
图2是本发明用部分同态加密方案构建的空间众包任务分配***的流程图。
图3是本发明协议中工人数量相对于行程时间的效率示意图;其中图3(a)代表密钥长度为1024,图3(b)代表密钥长度为2048。
图4是本发明协议中工人数量相对于各方通信开销的示意图;其中图4(a)代表密钥长度为1024,图4(b)代表密钥长度为2048。
图5是通过改变MAR来显示本发明协议在WTD(工人行程距离)方面的效率示意图;其中,图5(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图5(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图5(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图5(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
图6是通过改变α来显示本发明协议在WTD(工人行程距离)方面的效率示意图;其中,图6(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图6(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图6(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图6(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
图7是通过改变∈来显示本发明协议在WTD(工人行程距离)方面的效率示意图;其中,图7(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图7(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图7(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图7(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
图8是通过改变MAR来显示本发明协议在NNW(通知人数)方面的效率示意图;其中,图8(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图8(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图8(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图8(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
图9是通过改变α来显示本发明协议在NNW(通知人数)方面的效率示意图;其中,图9(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图9(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图9(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图9(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
图10是通过改变∈来显示本发明协议在NNW(通知人数)方面的效率示意图;其中,图10(a)代表所使用数据集为Gowalla,工人接受率为行程时间的线性递减函数,图10(b)代表所使用数据集为Gowalla,工人接受率服从Zipf分布,图10(c)代表所使用数据集为Yelp,工人接受率为行程时间的线性递减函数,图10(d)代表所使用数据集为Yelp,工人接受率服从Zipf分布。
具体实施方式
现在结合附图对本发明作进一步详细的说明。这些附图均为简化的示意图,仅以示意方式说明本发明的基本结构,因此其仅显示与本发明有关的构成。
一、***模型和问题定义
图1描述了空间众包的***模型。对于非私人空间众包(见图1(a))有三个组成部分,即SC服务器(SC-server),持有移动设备的工人(workers)和空间任务请求者(taskrequester)。SC服务器负责将适当的工作人员分配给任务请求者创建的空间任务。工人需要通过他们的移动设备向SC服务器报告他们的私人信息(如位置location和速度velocity)。基于该框架,我们给出以下定义。
定义1(空间任务)空间任务s是要在位置ls执行并与截止日期es相关联的任务。
定义2(工人)工人w是愿意执行空间任务的人。每个工人与由SC服务器指定的IDidw,速度vw和其当前所处的位置lw相关联。
利用空间众包,任务请求者创建空间任务s并且指定其位置ls和截止日期es。要执行该任务,工人必须在截止日期es之前到达位置ls。在接收到空间任务时,SC服务器基于某些预定义的策略将其分配给适当的工作者。在本发明中,我们假设SC服务器优先选择可能最先到达ls的工作者。我们还假设每个工人以一定的概率接受被分配的任务,表示为接受率(AR)。假设每个工人的AR是100%,我们首先定义简单的任务分配问题如下:
定义3(任务分配问题)令W={w1,w2,…,wn}是n个工人的集合。给定空间任务s,任务分配问题PTA(W,s)是将任务s分配给工作者wi*,使得:
1,wi*可以在截止日期es之前到达ls;
2,没有其他工人可以在wi*之前到达ls。
在定义3中,第一个要求意味着tc+d(li*,ls)/vi*≤es,其中tc是当前时间,li*是wi*的当前位置,vi*是wi*的速度,d(li*,ls)是位置li*和ls之间的欧几里得距离。第二个要求意味着不存在wj使得d(lj*,ls)/vj<d(li*,ls)/vi*。为了便于以后的讨论,我们称这个问题的胜者为wi*,并将i*作为其ID。注意,当所有的工人在截止日期之前都不能到达ls时,这样的获胜者便不存在。在这种情况下,SC服务器会通知任务请求者没有胜任者。
然而,在实践中,工人不一定会接受分配给他们的任务。为了保证任务被高概率的接受,可以要求多个工人执行任务。假设工人wi的AR是ai。用η(W,s)表示W中至少一个工人接受任务s的概率。显然,因此,我们定义下面的另一个任务分配的问题:
定义4(具有接受保证的任务分配问题)令W={w1,w2,…,wn}是n个工人的集合。给定空间任务s,具有接受保证的任务分配问题PTAG(W,s)是将任务s分配给一组工人W*(称为优胜者集合),使得:
1,每个工人wi*∈W*都可以在截止日期es之前到达位置ls;
2,没有其他工人wj∈W\W*可以在任何工人wi*∈W*之前到达位置ls;
3,η(W*,s)≥α,其中α是W*中至少一名工人接受任务s的预期概率。
对手模型。图1(b)是隐私保护空间众包的***模型。其引入了新的密码服务提供者(CSP,Crypto Service Provider),向SC服务器和工人密钥生成等密钥服务。对于对手模型,我们假设虽有各方都是半诚实的。也就是说,他们完全遵循一个规定的协议,但是可能根据他们所看到的尝试在协议执行时,尽可能多地从其他方的隐私输入学习。特别的,SC服务器会对每个工人的位置和速度以及每个获胜者的ID感兴趣。CSP也对此以及任务的位置感兴趣。而每个工人则愿意知道其他工作人员的位置和速度,每位获胜者的ID,以及任务的位置。作为一个特殊的工人,每个获胜者都有权知道其ID和任务的位置,但其也想知道其他工作人员的位置和速度,以及其他获胜者的ID。基于对手模型,我们有如下定义:
定义5(隐私保护任务分配问题)令W={w1,w2,…,wn}是n个工人的集合。给定空间任务s,隐私保护任务分配问题PPTA(W,s)是以如下方式找到PTA(W,s)的获胜者wi*:
1,对于每个工人wi∈W,其位置li和和速度vi信息不能被SC服务器,CSP和其他任何工作者wj∈W,wj<>wj获得;
2,任务位置信息ls不能被CSP和除了wi*之外的所有工人获得;
3,除了wi*之外,SC服务器,CSP和所有其他工人都无法获得wi*的ID信息。
虽然它的非隐私版本(即PTA)很简单,但PPTA在尝试同时保护工人隐私和任务隐私方面非常具有挑战性。特别是获胜者不仅由工人的位置决定,而且还由其速度决定,两者都应该在计算过程中保密。乍一看,这个要求意味着我们需要对密文进行划分。然而,有效的同态***现在仍然是一个悬而未决的问题。此外,任务位置ls需要对除了获胜者之外的所有工作人员保密,这使得d(li,ls)的计算比通过明文更难。注意,获胜者必须知道任务位置ls,因为其需要达到该位置以执行任务,所以者不被视为隐私泄露。PPTA的最后一个要求表明,SC服务器不被允许知道获胜者的身份。如果SC服务器知道谁是获胜者,则可能会根据某些背景知识(例如任务位置和截止日期)来推断获胜者的大概位置。显然,SC服务器来决定PTA的获胜者。然而,在PPTA中,SC服务器不被允许知道谁是获胜者。这个矛盾是PPTA的另一个难题。
同样,我们对具有接受保证的隐私保护任务分配问题的定义如下:
定义6(具有接受保证的隐私保护任务分配问题)令W={w1,w2,…,wn}是n个工人的集合。给定空间任务s,具有接受保证的隐私保护任务分配问题PPTAG(W,s)是以如下方式找到PTAG(W,s)的获胜者集W*:
1,对于每个工人wi∈W,其位置li和和速度vi信息不能被SC服务器,CSP和其他任何工作者wj∈W,wj<>wj获得;
2,任务位置信息ls不能被CSP和除了W*之中的获胜者之外的所有工人获得;
3,除了wi*之外,SC服务器,CSP和所有其他工人都无法获得wi*的ID信息。
二、隐私标准定义
本发明使用理想的范例来定义协议的安全性。直观的说,在协议执行的过程中,如果所涉及的每一方获取的信息都不会比其有权获取的信息更多,那么协议就是安全的或者说是隐私保护的。这可以通过理想范式定义如下:对于所有对手,存在一个基于概率的多项式时间模拟器,使得现实世界中对手的观点和理想世界中模拟器的观点在计算上无法区分。
令P-1为CSP,P0为SC服务器,P1,…,Pn为n个工人。令viewi,xi和Ki(-1≤i≤n)分别为Pi的观点,其隐私输入以及在协议P执行期间可以获得的额外信息。协议P的隐私要求的标准定义如下:
定义7如果存在一个基于概率的多项式时间模拟器Si,使得:
因为协议P***漏比Pi的最终输出更多的信息,我们认为协议P对Pi是完全隐私保护的。其中对于所有可能输入(x-1,x0,…,xn),≡表示在计算上无法区分。如果 则认为协议P对Pi的隐私保护有Ki泄漏,因为它不会泄漏最终输出和比Ki更多的信息给Pi。
很明显,完全的隐私保护是一个非常强的隐私保证。然而,如此强的保证有时难以通过有效的协议实现。实际上,只要不破坏隐私,在协议P的执行过程中可以允许额外知识Ki的公开。也就是说,即使基于知识Ki,对手可以获得任何一方的隐私输入的概率也是可以忽略不计的。
三、密码构建块
为解决以上定义的PPTA和PPTAG问题,本发明采用了几种加密工具:伪随机函数,Paillier密码***和ElGamal密码***,简要介绍如下。
伪随机函数(PRF)通过黑盒方式观察结果,且随机特性不能与真实随机函数区分。通常,PRF由fk表示,其属于PRF函数族Fλ={fk:{0,1}λ→{0,1}λ}k∈{0,1}λ,以k为索引。我们的工作假设键控单向散列函数(如HMAC)可以被建模为伪随机函数。因此,fk函数可以通过使用k键入散列函数并将其应用于x来实现。
Paillier是一个公钥密码***,其安全性基于与分解硬度有关(是否等同还未可知)的假设。它由以下三种算法组成:
–密钥生成:选择两个不同的随机大质数p和q,计算N=pq。选择元素g∈Z* N 2。公钥pk为(N,g),而私钥sk为(p,q)。
–加密E:令m为ZN中的一条消息。其通过选择Z* N中的一个随机数来加密,并计算
c=E(m)=gmrN mod N, (1)
其中N和g从公钥pk中获得,c为m的密文。
–解密D:密文c通过如下计算进行解密:
其中λ=lcm(p-1,q-1)可以通过私钥sk进行计算。
Paillier密码***最重要的特性之一是同态加法。具体地说,将m1的密文和m2的密文相乘,则得到m1+m2的密文;m的密文的k次方,即为km的密文。即:
E(m1)E(m2)=E(m1+m2), (3)
E(m)k=E(km). (4)
此外,Paillier是语义安全的,也就是说,攻击者不能从密文中获得任何关于明文部分的信息。同时,它也是一种概率加密方案,这意味着在多次加密相同的消息时,会产生不同的密文。从等式(1)可以清晰的看到,随机数r参与了加密过程。
ElGamal是一个公钥密码***,其安全性基于离散对数问题的难解性。它由一些可以由多个用户共享的公共域参数和三种算法组成:
–域参数。令p为大素数,q为中等素数,使得q|p–1。令g=r(p–1/q)mod p<>1,其中r∈Fp *。这些公共参数使用用生成参数g创建质数阶q的公共有限阿贝尔组G。
–密钥生成。选择一个整数x,使得0≤x≤q–1并计算h=gx mod p。公钥pk为h,密钥sk为x。
–加密E’。令m为G中的消息。通过选择随机数r来加密,其中0≤r≤q–1,并计算:
c1=gr,c2=mhr. (5)
m的密文c为E’(m)=(c1,c2)。
–解密D’。密文c通过如下计算进行解密:
m=D’(c)=c2(c1 x)-1 (6)
ElGamal也是一种概率加密方案,因为每个消息都由不同的随机数r加密,如等式(5)所示。ElGamal密码***有一个有趣的属性是同态乘法。具体而言,将m1的密文和m2的密文相乘,则得到m1m2的密文,即:
E’(m1)E’(m2)=E’(m1m2), (7)
交换式加密满足两个加密顺序无关的属性。ElGamal可以被扩展为支持交换式加密。特别的,两种新算法定义如下:
–二次加密给定用公钥ha加密的密文E’ha(m)=(gra,mha ra),其可以通过选择随机数rb,其中0≤rb≤q–1,并计算c1=gra,c2=grb和c3=mha rahb rb,其中hb为公钥,来进行二次加密。E’ha(m)的密文为
–二次解密密文(c1,c2,c3)可以通过以不同的顺序使用私钥xa和xb进行解密,其解密结果是相同的。如果首先使用私钥xa,我们有 可以被xb再次解密以获得m。很容易验证,如果首先使用xb然后使用xa,解密结果也是相同的。
四、隐私保护任务分配协议
根据定义5,我们的目标是在***露工人位置信息的前提下找到PTA的获胜者。虽然可以采用一些现有的隐私保护工具,如k匿名和差异隐私来保护个人隐私,但它们通常假设存在可信的第三方可以访问整个原始数据(比如所有工人的位置信息),这在实践中很难实现。此外,它们以降低数据的利用率为代价来保护个人隐私,这意味着基于它们的方法可能无法准确找到PTA的获胜者。因此,我们决定利用加密工具准确地解决PPTA问题。为了防止隐私泄露,每个工人的死人数据在发送到SC服务器之前都已被加密。从定义3可知,PPTA问题的关键在于确定哪个工作人员最先到达位置ls。为了解决这个问题,我们需要比较两个工人wi和wj的行程时间,即计算以下不等式:
显然,计算包括几个基本操作:加法和乘法(用于距离计算),除法以及比较。需要注意的是,这些操作应该通过密文执行,因为,比如说,为进行隐私保护,li和vi此时已经被加密了。理论上讲,我们可以设计一种基于完全同态加密(FHE)的方案来实现上述计算,但这将导致高昂的计算成本,使得该方法具有有限的实际意义。因此,我们考虑使用部分同态加密方案。虽然它们比FHE效率更高,但它们都不能支持计算不等式(8)所需的所有操作。我们将在下一小节中展示如何解决这个难题。
4.1协议概述
算法1隐私保护任务分配协议
输入:n个工人的集合,每个工人wi的ID为i,位置信息为li,速度信息为vi;一个空间任务s(由任务请求者创建),任务位置为ls,截止日期为es;一个SC服务器和一个CSP。
输出:获胜者w*得到任务位置ls。
如图2所示,本发明采用两个部分同态加密方案Paillier和ElGamal来构建我们的解决方案,它由图2中描绘的五个阶段组成。在第0阶段,根据安全要求,CSP生成ElGamal的域参数和Paillier和ElGamal的密钥对。其对私钥进行保密,并向SC服务器和所有工人发送公钥。任务请求者创建空间任务触发阶段1的开始,在该阶段期间,SC服务器和所有工人基于加密的位置信息运行隐私保护距离计算协议,并输出加密后的距离信息。在第2阶段,每个工人的速度被加密并发送到与CSP协作的SC服务器,以计算每个工作人员的行程时间。基于第2阶段获得的加密行程时间,SC服务器在第3阶段借助CSP计算获胜者,但结果仍然是加密形式。在第4阶段,将加密任务的位置信息广播给所有的工人,但只有获胜者能够检索任务的位置。之后,获胜者到达指定位置执行相应的任务。
4.2详细构建
算法1为隐私保护任务分配协议的具体实现。我们详细解释如下。
第1阶段。因为“三、密码构建块”中已经介绍了第0阶段所需的Paillier和ElGamal密码***的关键代码,我们从第1阶段开始介绍协议的详细构建。SC服务器用Paillier公钥加密任务位置ls=(xs,ys)后,向所有工人发送三份密文:E(xs 2+ys 2),E(xs)和E(ys)。从SC服务器接收到该加密信息后,每个工人wi计算ls和其当前位置li的距离的平方,并进行加密,即:
其正确性很容易根据等式(3)和(4)进行验证。注意,我们还可以要求所有工作人员向SC服务器发送加密位置(以E(xi 2+yi 2),E(xi)和E(yi)的形式),并要求SC服务器计算E(d2(li,ls))。虽然这个过程与我们在非隐私案例中的做法类似,但它会为SC服务器带来更多的计算成本。换句话说,我们目前的设计具有为所有工人分摊计算成本的优点。
第2阶段。如前所述,隐私保护行程时间计算需要对密文进行除法运算。然而,同态***的高效实现仍然是一个悬而未决的问题。因此,我们的目标不是设计一个有效的同态***方案,而是在计算行程时间的过程中,从技术上排除除法运算。为此,我们使用一个有趣的属性来比较行程时间,也就是说,确切的行程时间的计算是不必要的。此属性由以下引理保证:
引理1令W={w1,w2,…,wn}是n个工人的集合,V是所有工人速度的乘积,即 且vk‘=V/vk,其中1≤k≤n。对于任意两个工人wi,wj∈W,当且仅当d(li,ls)vi‘<d(lj,ls)vj‘时有d(li,ls)/vi<d(lj,ls)/vj。
基于该引理,我们为每个工人计算虚拟行程时间ti’=d(li,ls)vi’,其等同于确切的行程时间ti=d(li,ls)/vi,即具有最短虚拟行程时间的工人必定具有最短的确切行程时间。具体来说,每个工人通过ElGamal密码***对其速度进行加密,并将E‘(vi)发送给SC服务器。SC服务器可以通过将所有加密的速度相乘获得E’(V)。然后,SC服务器要求CSP解密E’(V),并给所有工人发送V。通过用其速度vi除V,每个工人wi可以得到vi’的值并计算E(d2(li,ls))vi’2=E(d2(li,ls)vi’2)=E(ti’2)。加密的虚拟行程时间被发送到SC服务器进行进一步处理。请注意,上述过程中CSP和所有工作人员都知道V的确切值。但是,这并不违反任何工人的个人隐私,这将在下一小节中得到证明。
第3阶段。现在,SC服务器具有2元组<i,E(ti’2)>的列表,其中i是工人wi的ID,1≤i≤n。为了保护工人,尤其是获胜者的身份,它通过一个PRF fk函数加密每个工人的ID,并向CSP发送<fk(i),E(tfk(i)’2)>,以找到哪个工人的行程时间最短,以及其是否可以在截止日期es之前到达任务位置。由于CSP具有Paillier的私钥,因此可以通过解密E(ti’2)来获得ti’2并计算实际的行程时间然后,CSP可以很容易的找到具有最短行程时间的工人,并判断其是否可以满足截止日期限制。如果不能,CSP则通知SC服务器没有获胜者。否则,它使用ElGamal加密获胜者的ID fk(i*),并将E’C(fk(i*))发送到SC服务器。这里的加密是必要的,因为SC服务器可以在得到fk(i*)后推断谁是获胜者。另一方面,由于PRF的伪随机性,获胜者的隐私仍然是受到保护的。
第4阶段。一旦接收到E’C(fk(i*)),SC服务器便加密任务位置ls并向所有工人广播(ls)。具体地,以如下方式加密ls:
其中h是长度匹配哈希函数,用于将较长的位串映射到较短的位串。一种被证明是语义安全的h的构建方法是,将一个较长的位串截断为多个固定长度的较短位串,并在这些较短位串上进行异或计算并输出。显然,只有获得E’C(fk(i*))信息的工人才可以通过计算 得到任务位置信息。以下流程确保只有获胜者可以获得E’C(fk(i*))信息。
首先,每个工人wi从SC服务器获取加密的ID fk(i)),并使用自己的公钥通过ElGamal进行加密,然后将加密后的信息E’wi(fk(i))发送给CSP。CSP接收到该信息后,使用其公钥和用于加密E’C(fk(i*))的相同随机数r再次通过ElGamal进行加密。CSP随后将结果发送到每个可以通过其私钥来解密以获得E’C(fk(i))的工人。显然,只有获胜者wfk(i*)可以获得E’C(fk(i*))。需要注意的是,这里使用的公钥应该保密,以保护隐私。
备注。在计算E’(V)时,应设置适当的密钥长度,以避免所有工人的速度乘积溢出。例如,我们在实验中使用2048位的密钥来处理1000名工人。如果工人数量很大,可能的方法是使用最小公倍数(LCM)而不是乘法。然而,隐私保护的LCM计算(即计算多个加密数字的最小公倍数)是一个非常具有挑战性的问题,我们将其作为我们未来的研究方向之一。
4.3性能分析
计算代价。表1总结了我们协议的计算代价。我们假设所有工人可以并行执行计算(如加密和解密),并且可以并行与SC服务器和CSP进行交互,因此我们只需要考虑一个用户的计算代价。此外,我们忽略代价小的操作,如大整数乘法和位串的异或操作。详细分析如下。在算法1中,SC服务器执行三次Paillier加密(第5行),工人wi执行一次Paillier加密和两次模幂运算(第7,8行),用于行程距离的隐私计算。在第2阶段,工人执行一次ElGamal加密保护其速度(第12行)。加密的速度的乘积由CSP(第15行)解密,以实现后续行程时间的计算。这需要工人wi进行一次模幂运算(第18行)。在第3阶段,SC服务器使用n个PRF函数来保护工人的ID(第21行),CSP执行n次ElGamal解密(第23行)和一次ElGamal加密(第25行)来寻找获胜者并保护其ID。在第4阶段,为了交换解密密钥,工人wi将执行一次ElGamal加密(第29行)和一次ElGamal二次解密(第31行),CSP则需执行n次ElGamal二次加密(第30行)。
表1所提出协议的计算代价。分别表示Paillier加密,Paillier解密,ElGamal加密,ElGamal解密,ElGamal二次加密,ElGamal二次解密,模幂和伪随机函数。
表2所提出协议的通信开销。L和L′分别为Paillier和ElGamal加密***密钥长度。
通信开销。表2总结了我们协议的通信开销。由于密文的大小通常大于明文大小,我们只考虑每一方发送和接收的密文。需要注意的是,ElGamal加密和二次加密的密文长度分别是密钥长度的两倍和三倍。我们省略了详细的分析,分析结果请参考表2。
4.4安全分析
以下分析所提出协议的安全性。
定理1我们的任务分配协议(算法1)对SC服务器,CSP和所有工人是分别有K0=V,K-1={V,tfk(1),…,tfk(n)}和Ki=V(1≤i≤n)泄露的隐私保护的。
证明:我们首先证明存在一个多项式时间的概率模拟器S0可以在K0=V的条件下模拟SC服务器的视角(view)。假设SC服务器的视角为S0生成视角view0′={E′(x1),...,E′(xn),E(y1),...,E(yn),E′(xn+1),V},其中xi(1≤i≤n+1)是G中服从均匀分布的随机元素,yi(1≤i≤n)是ZN中服从均匀分布的随机元素。由于Paillier和ElGamal都是语义安全的,我们可以很容易证明view0≡view0′。
然后,我们证明存在一个多项式时间的概率模拟器Si可以在Ki=V的条件下模拟工人wi的视角(view)。若wi不是获胜者,则对其进行模拟时,Si生成其中xi(i=1,2,3)是ZN中服从均匀分布的随机元素,y从G中随机取样,k是均匀分布于{0,1}λ上的随机元素。对获胜者其视角所以生成{E(x1),E(x2),E(x3),k,i*,V}为在这两种情况中,根据Paillier和ElGamal的语义安全性和PRF的伪随机性,我们都可以得到viewi≡viewi′。
最后,我们证明存在一个多项式时间的概率模拟器S-1可以在的条件下模拟CSP的视角(view)。协议中,CSP的视角为对其进行模拟时,S-1生成view-1′={E′(x1),...,E′(xn)}∪K-1,其中xi(1≤i≤n)是G中服从均匀分布的随机元素。因为ElGamal的语义安全性,view-1≡view-1′显然成立。
上述定理证明了我们的协议是K泄露安全的。在说明泄露K对个人隐私的影响有限之前,我们给出以下引理。
引理2连乘积由范围在1到d(d>n)之间的随机整数生成。当d→∞时,对方程解的个数至少为n!的概率为1。
证明:中各元素都不相等的概率为
序列的任何排列都是合法解。因此,方程至少有n!个解的概率为η(d,n),并且我们有limd→∞η(d,n)=1。
引理3连乘积π和正有理数集{b1,…,bn}由范围在1到d(d>n)之间的随机正整数生成,且满足以下方程:
其中(σ(1),···,σ(n))是(1,…,n)的全排列,那么当d→∞时,该方程至少有n!个解的概率为1。
证明:该证明过程与引理2的证明类似。当d→∞时,互不相等的概率为1,且序列的任何排列都产生一个不同的解。
引理4从1,…,d中选取随机数a,当d→∞时,a为质数的概率为1/log d。
此引理可以直接从素数定理[24]中得到,其指出当d→∞时,数字d之前素数的数目收敛于d/log d。
备注。通过引理4,可知xi为素数或为1的概率可近似为(1/log d+1/d)。因此,所有xi都具有至少两个素因子的概率为
(1–1/log d–1/d)n (11)
当d→∞时,该值收敛于1。这意味着只要d选择得足够大,连乘积π有至少2n个素因子的概率为1。在实践中,方程解的个数远大于所述的n!。
定理2基于信息Ki(-1≤i≤n),入侵者Pi在执行任务分配协议(算法1)期间可以获得任何一方的私人信息的概率是可以忽略不计的。
证明:首先考虑P0,SC服务器的情况,其拥有信息K0=V。SC服务器可以构建方程假设1≤vi≤d,η(vi)为P0可以获取vi的概率,η(vi|K0)为P0在K0的情况下可以获取vi的概率。由引理2,我们有
一般情况下,这显然是可以忽略不计的。
对Pi的证明与P0类似,我们现在考虑P-1(即CSP)的情况。因为则CSP可以构建一个包含n+1个方程的非线性***:
由引理3,我们亦有
在一般情况下,这是可以忽略不计的。并且,即使CSP获取了d(ls,li)的精确值,其不能获取ls和li信息的概率也远远高于随机猜测。证毕。
备注。需要注意的是,定理2表明隐私保护任务分配协议在一般情况下是安全的。在某些极端情况下,例如,V=1,入侵者可以立即知道每个工人的速度为1。但是随着工人人数的增加,发生这种情况的可能性会急剧下降。
五、性能评估
5.1实验设置
我们基于两类指标来评估我们协议(算法1)的性能:效率相关和有效性相关。前者包括运行时间和通信开销,工人行程距离(WTD),工人行程时间(WTT)和通知人数(NNW)。通常,工人倾向于更短的WTD,任务请求者也如此,因为如果工人具有相同的速度,那么任务便可以更早的被执行。不过,如果工人的速度不同,那么WTD短不一定会更好。在这种情况下,工作人员和任务请求者都更倾向与短的WTT。NNW应保持在较低水平,以降低计算成本和通信开销。
对于有效性评估,我们以To[To,H.,Ghinita,G.and Shahabi,C.:A frameworkfor protecting worker location privacy in spatial crowdsourcing.PVLDB,7(10),919-930(2014)]等人的方法为基准。由于他们的方法没有考虑到速度的影响,所以每个工作人员的速度在实验中设置为1。在这种情况下,WTT等于WTD。此外,每个任务的截止日期都被设置为一个很大的值,以使所有工人都可以在截止日期之前到达。由于我们协议不考虑工人的接受率,并且总是返回一个工人(即NNW总是等于1),我们随机生成1000个任务并报告平均结果。
对于效率评估,我们注意到,差分隐私比公钥密码***明显计算代价更低,但其在计算过程中不能进保护数据(例如,允许受信任的第三方查看所有工人的位置)。因此,把我们的协议(基于公钥密码***)与To等人的方法(基于差异隐私)在运行时间方面进行比较是无意义的。因此,我们只关注我们协议的效率,测试其开销在实践中是否可以被接受。我们运行我们的协议10次,并报告其平均结果。
我们使用两个真实世界数据集,Gowalla和Yelp对性能进行评估。Gowalla包含基于位置的社交网络中用户的登录历史记录。我们选择加利福尼亚州的一个地区,纬度为33.720183至34.149932,经度为-118.399999至-117.900516。这个地区有5830个用户的登录,这些用户被认为是空间众包***中的工人。我们将用户登录最多的位置作为其当前位置,并假定可以在任何有过登录记录的位置创建空间任务。对于Yelp,我们选择凤凰城的一个区域,纬度从33.205308到33.924407,经度从-112.400283到-111.218100。该地区拥有约67000个用户和11200个公司。公司地点被视为任务,而用户的位置是从其查看过的公司中随机选取的。
我们设定工人人数最大接受率预期任务接受概率由于性能基准依赖于基于隐私预算∈的差异隐私,我们还设置了对于Paillier和ElGamal的安全参数,我们参考了NIST建议书(2016),并设置密钥长度其中1024的密钥长度适用于当前的应用,并且在未来15年(2016-2030)推荐使用长度为2048的密钥。每个参数的默认值以黑体显示。
在我们的实验中,SC服务器和CSP在具有四个Intel Xeon E7-8860 2.2GHz CPU(每个CPU有16个核心)和1TB RAM的机器上运行。每个工人由具有APQ 8064 1.5GHz CPU和2GB RAM的Mi 2手机进行模拟。我们使用Bouncy Castle Crypto包实现我们的协议。代码用Java编写,并在JDK 1.8中执行。从表1可以看到,我们协议的性能瓶颈是一系列的Paillier解密过程。幸运的是,这些昂贵的操作很容易并行进行计算,因为它们是独立执行的。在我们的实验中,我们使用64个线程来执行这些解密。
4.2实验结果
4.2.1效率
图3(a)显示了工人数#W从100增加到1000,步长为300是协议的运行时间。如预料所期,当#W增加时,SC服务器和CSP的CPU时间也线性增加,因为它们的计算代价主要来自与工人数量成比例的密码操作。另一方面,尽管工人人数众多,但是使用中等配置手机的工人的计算成本几乎是一个常数,例如约0.1秒。因此,我们的协议在实践中具有良好的可扩展性。在总运行时间方面,我们的协议只需要少于2秒的时间即可实现超过1000名工人的隐私保护任务分配。在图3(b)中可以看到类似的性能趋势,其中使用的2048位密钥可提供更强大的安全保证(这个密钥长度在未来15年被推荐使用)。即使在这种情况下,我们协议的总运行时间依然小于7秒。
在图4中,我们测量了协议中各方的通信开销。从图4(b)可以看出,当使用2048位密钥执行任务分配时,SC服务器,CSP和工人分别需要发送或接收2.7MB,2.1MB和0.008MB的数据。我们认为这些开销并不能成为当前移动应用的负担。通过将工人数量从100变为1000,我们在图4中观察到SC服务器和CSP的线性增长趋势,因为传输的数据主要是密码,其总通信量与工人的数量成正比。
4.2.2有效性
图5,6,7分别通过改变MAR,α和∈来显示我们的协议在WTD(工人行程距离)方面的表现。在所有图表中,我们的协议在数据集(Gowalla,Yelp)和接受率函数(Linear,Zipf)的所有组合中表现均优于基准。具体来说,在图5中,我们观察到当MAR下降时,我们的协议和基准之间的差异增加。为了解释这一点,我们首先注意到,基准需要访问更多的网格单元才能达到所需的接受率。每个单元通常都包含一些工人。其中一些可能离任务位置较远,但他们可以接受任务。然而,我们的协议总是根据他们的行程时间(或在这种情况下的旅行距离)选择工人。这就是为什么当MAR很小时,我们的协议比基准要好得多。图7示出了当提供更强的隐私保护(例如,∈=0.1)时,基准具有较大的WTD。然而,即使仅提供弱的隐私保护(例如,∈=1),我们的协议仍然优于基准。
我们通过改变MAR,α和∈来进一步评估我们的协议在NNW(通知人数)方面的表现,并分别在图8,9,10中报告结果。再次,我们的协议在数据集(Gowalla,Yelp)和接受率函数(Linear,Zipf)的所有组合中表现均优于基准。在大多数情况下,被通知的工人数量不大于5。在某些极端情况下,例如,α=0.99,我们的协议选择了少于15名工人来执行任务。这可以解释为什么我们的协议可以以非常低的开销扩展到PPTAG。另一方面,基准需要通知很多工人,因为它在网格单元上工作。
以上述依据本发明的理想实施例为启示,通过上述的说明内容,相关工作人员完全可以在不偏离本项发明技术思想的范围内,进行多样的变更以及修改。本项发明的技术性范围并不局限于说明书上的内容,必须要根据权利要求范围来确定其技术性范围。
Claims (9)
1.一种用部分同态加密方案构建的空间众包任务分配***,其特征在于,包括SC服务器、加密服务提供者、空间任务请求者和工人;所述SC服务器为空间众包服务器;
所述加密服务提供者用于生成密钥,其采用Paillier密码***和ElGamal密码***,所述加密服务提供者生成ElGamal的域参数和Paillier和ElGamal的密钥对,其对私钥进行保密,并向SC服务器和所有工人发送公钥;
所述空间任务请求者用于创建空间任务,将任务位置传送给所述SC服务器;所述SC服务器用公钥加密任务位置后,向所有工人发送密文,从SC服务器接收到该加密信息后,每个工人计算任务位置与工人位置的距离,从而计算得到隐私保护距离;
每个工人的速度被加密并发送到与加密服务提供者协作的SC服务器,SC服务器对加密后的所有工人的速度求乘积,并由加密服务提供者解密得到V,发送给每个工人;每个工人计算其行进时间,加密后发送给SC服务器;
SC服务器借助加密服务提供者根据加密的隐私保护行进时间计算获胜工人,将一名获胜工人加密后返回给SC服务器;
SC服务器加密任务位置并向所有工人广播,将任务分配给工人,加密后的任务位置只有获胜工人能解密,获胜工人到达指定位置执行相应的任务。
2.如权利要求1所述的***,其特征在于,所述空间任务s是指要在位置ls执行,并与截止日期es相关联的任务;所述工人w是愿意执行空间任务的人,每个工人与由SC服务器指定的ID idw,速度vw和其当前所处的位置lw相关联。
3.如权利要求2所述的***模型,其特征在于,所述SC服务器根据工人集合W={w1,w2,…,wn}和空间任务s的位置ls和截止日期es,通过任务分配算法,将任务分配给工作者wi*,工作者wi*需满足两个条件:第一,wi*可以在截止日期es之前到达ls;第二,没有其他工人可以在wi*之前到达ls。
4.如权利要求1所述的***,其特征在于,所述ElGamal密码***能被扩展为支持交换式加密,采用如下两种新算法定义如下:
–二次加密给定用公钥ha加密的密文E’ha(m)=(gra,mha ra),其可以通过选择随机数rb,其中0≤rb≤q–1,并计算c1=gra,c2=grb和c3=mha rahb rb,其中hb为公钥,来进行二次加密;E’ha(m)的密文为
–二次解密密文(c1,c2,c3)通过以不同的顺序使用私钥xa和xb进行解密,其解密结果是相同的;如果首先使用私钥xa,有E’hb(m)被xb再次解密以获得m;很容易验证,如果首先使用xb然后使用xa,解密结果也是相同的。
5.一种如权利要求1-4任一项所述的***的实现方法,其特征在于,包括如下步骤:
第一阶段,任务位置与工人位置距离计算:空间众包服务器用Paillier公钥加密任务位置ls=(xs,ys)后,向所有工人发送三份密文:E(xs 2+ys 2),E(xs)和E(ys),从空间众包服务器接收到该加密信息后,每个工人wi计算ls和其当前位置li的距离的平方,并进行加密,即:
<mrow>
<mi>E</mi>
<mrow>
<mo>(</mo>
<msup>
<mi>d</mi>
<mn>2</mn>
</msup>
<mo>(</mo>
<mrow>
<msub>
<mi>l</mi>
<mi>i</mi>
</msub>
<mo>,</mo>
<msub>
<mi>l</mi>
<mi>s</mi>
</msub>
</mrow>
<mo>)</mo>
<mo>)</mo>
</mrow>
<mo>=</mo>
<mi>E</mi>
<mrow>
<mo>(</mo>
<msubsup>
<mi>x</mi>
<mi>s</mi>
<mn>2</mn>
</msubsup>
<mo>+</mo>
<msubsup>
<mi>y</mi>
<mi>s</mi>
<mn>2</mn>
</msubsup>
<mo>)</mo>
</mrow>
<mi>E</mi>
<msup>
<mrow>
<mo>(</mo>
<msub>
<mi>x</mi>
<mi>s</mi>
</msub>
<mo>)</mo>
</mrow>
<mrow>
<mo>-</mo>
<mn>2</mn>
<msub>
<mi>x</mi>
<mi>i</mi>
</msub>
</mrow>
</msup>
<mi>E</mi>
<msup>
<mrow>
<mo>(</mo>
<msub>
<mi>y</mi>
<mi>s</mi>
</msub>
<mo>)</mo>
</mrow>
<mrow>
<mo>-</mo>
<mn>2</mn>
<msub>
<mi>y</mi>
<mi>i</mi>
</msub>
</mrow>
</msup>
<mi>E</mi>
<mrow>
<mo>(</mo>
<msubsup>
<mi>x</mi>
<mi>i</mi>
<mn>2</mn>
</msubsup>
<mo>+</mo>
<msubsup>
<mi>y</mi>
<mi>i</mi>
<mn>2</mn>
</msubsup>
<mo>)</mo>
</mrow>
<mo>,</mo>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>9</mn>
<mo>)</mo>
</mrow>
</mrow>
第二阶段,每个工人行进时间计算:令W={w1,w2,…,wn}是n个工人的集合,V是所有工人速度的乘积,即且vk‘=V/vk,其中1≤k≤n;对于任意两个工人wi,wj∈W,当且仅当d(li,ls)vi‘<d(lj,ls)vj‘时有d(li,ls)/vi<d(lj,ls)/vj;为每个工人计算虚拟行程时间ti’=d(li,ls)vi’,其等同于确切的行程时间ti=d(li,ls)/vi,即具有最短虚拟行程时间的工人必定具有最短的确切行程时间;
第三阶段,获胜工人计算:空间众包服务器具有2元组<i,E(ti’2)>的列表,其中i是工人wi的ID,1≤i≤n;为了保护工人,尤其是获胜者的身份,它通过一个PRF fk函数加密每个工人的ID,并向加密服务提供单元发送<fk(i),E(tfk(i)’2)>,以找到哪个工人的行程时间最短,以及其是否可以在截止日期es之前到达任务位置;
第四阶段,任务位置广播:一旦接收到E’C(fk(i*)),空间众包服务器便加密任务位置ls并向所有工人广播以如下方式加密ls:
<mrow>
<mover>
<mi>E</mi>
<mo>&CenterDot;</mo>
</mover>
<mrow>
<mo>(</mo>
<msub>
<mi>l</mi>
<mi>s</mi>
</msub>
<mo>)</mo>
</mrow>
<mo>=</mo>
<mi>h</mi>
<mrow>
<mo>(</mo>
<msub>
<msup>
<mi>E</mi>
<mo>,</mo>
</msup>
<mi>C</mi>
</msub>
<mo>(</mo>
<mrow>
<msub>
<mi>f</mi>
<mi>k</mi>
</msub>
<mrow>
<mo>(</mo>
<msup>
<mi>i</mi>
<mo>*</mo>
</msup>
<mo>)</mo>
</mrow>
</mrow>
<mo>)</mo>
<mo>)</mo>
</mrow>
<mo>&CirclePlus;</mo>
<msub>
<mi>l</mi>
<mi>s</mi>
</msub>
<mo>,</mo>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>10</mn>
<mo>)</mo>
</mrow>
</mrow>
其中h是长度匹配哈希函数,用于将较长的位串映射到较短的位串;一种被证明是语义安全的h的构建方法是,将一个较长的位串截断为多个固定长度的较短位串,并在这些较短位串上进行异或计算并输出;只有获得E’C(fk(i*))信息的工人才能通过计算 得到任务位置信息。
6.如权利要求5所述的方法,其特征在于,所述第一阶段中,要求所有工人以E(xi 2+yi 2),E(xi)和E(yi)的形式向空间众包服务器发送加密位置,并要求空间众包服务器计算E(d2(li,ls))。
7.如权利要求5所述的方法,其特征在于,所述第二阶段中,每个工人通过ElGamal密码***对其速度进行加密,并将E‘(vi)发送给空间众包服务器,空间众包服务器通过将所有加密的速度相乘获得E’(V);然后,空间众包服务器要求加密服务提供单元解密E’(V),并给所有工人移动端发送V;通过用其速度vi除V,每个工人wi得到vi’的值并计算E(d2(li,ls))vi’2=E(d2(li,ls)vi’2)=E(ti’2);加密的虚拟行程时间被发送到空间众包服务器进行进一步处理;该过程中加密服务提供单元和所有工人都知道V的确切值,这并不违反任何工人的个人隐私。
8.如权利要求5所述的方法,其特征在于,所述第三阶段中,由于加密服务提供单元具有Paillier的私钥,因此能通过解密E(ti’2)来获得ti’2并计算实际的行程时间 然后,加密服务提供单元很容易的找到具有最短行程时间的工人,并判断其是否可以满足截止日期限制;如果不能,加密服务提供单元通知空间众包服务器没有获胜者,否则,它使用ElGamal加密获胜者的ID fk(i*),并将E’C(fk(i*))发送到空间众包服务器。
9.如权利要求5所述的方法,其特征在于,所述第四阶段中,以下步骤确保只有获胜者才能获得E’C(fk(i*))信息:
首先,每个工人wi从空间众包服务器获取加密的ID fk(i)),并使用自己的公钥通过ElGamal进行加密,然后将加密后的信息E’wi(fk(i))发送给加密服务提供单元,加密服务提供单元接收到该信息后,使用其公钥和用于加密E’C(fk(i*))的相同随机数r再次通过ElGamal进行加密;加密服务提供单元随后将结果发送到每个可以通过其私钥来解密以获得E’C(fk(i))的工人;所述公钥应该保密,以保护隐私。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710533442.6A CN107222302B (zh) | 2017-07-03 | 2017-07-03 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
PCT/CN2017/113467 WO2019006967A1 (zh) | 2017-07-03 | 2017-11-29 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710533442.6A CN107222302B (zh) | 2017-07-03 | 2017-07-03 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107222302A true CN107222302A (zh) | 2017-09-29 |
CN107222302B CN107222302B (zh) | 2019-05-07 |
Family
ID=59951821
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710533442.6A Expired - Fee Related CN107222302B (zh) | 2017-07-03 | 2017-07-03 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN107222302B (zh) |
WO (1) | WO2019006967A1 (zh) |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107257381A (zh) * | 2017-07-03 | 2017-10-17 | 深圳大学 | 一种隐私保护空间众包的任务分配***模型及实现方法 |
CN109003172A (zh) * | 2018-07-09 | 2018-12-14 | 中国科学技术大学苏州研究院 | 保护隐私的空间众包任务竞拍方法 |
WO2019006967A1 (zh) * | 2017-07-03 | 2019-01-10 | 深圳大学 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
CN109728904A (zh) * | 2018-12-28 | 2019-05-07 | 沈阳航空航天大学 | 一种保护隐私的空间网络查询方法 |
CN113068128A (zh) * | 2021-03-18 | 2021-07-02 | 西安电子科技大学 | 基于双云安全计算协议的用户地理位置近邻查询方法 |
TWI734368B (zh) * | 2019-06-18 | 2021-07-21 | 開曼群島商創新先進技術有限公司 | 實現隱私保護的數據同態加解密方法及裝置 |
US11159305B2 (en) | 2019-06-18 | 2021-10-26 | Advanced New Technologies Co., Ltd. | Homomorphic data decryption method and apparatus for implementing privacy protection |
CN116307294A (zh) * | 2023-05-22 | 2023-06-23 | 合肥城市云数据中心股份有限公司 | 基于差分隐私和改进萤火虫的lbs空间众包任务分配方法 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11907874B2 (en) * | 2022-07-25 | 2024-02-20 | Gravystack, Inc. | Apparatus and method for generation an action validation protocol |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103259643A (zh) * | 2012-08-14 | 2013-08-21 | 苏州大学 | 一种矩阵全同态加密方法 |
CN104080081A (zh) * | 2014-06-16 | 2014-10-01 | 北京大学 | 一种适用于移动端位置隐私保护的空间匿名化方法 |
US20140343984A1 (en) * | 2013-03-14 | 2014-11-20 | University Of Southern California | Spatial crowdsourcing with trustworthy query answering |
CN105243501A (zh) * | 2015-10-13 | 2016-01-13 | 重庆大学 | 空间众包网络节点位置隐私保护方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107222302B (zh) * | 2017-07-03 | 2019-05-07 | 深圳大学 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
-
2017
- 2017-07-03 CN CN201710533442.6A patent/CN107222302B/zh not_active Expired - Fee Related
- 2017-11-29 WO PCT/CN2017/113467 patent/WO2019006967A1/zh active Application Filing
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103259643A (zh) * | 2012-08-14 | 2013-08-21 | 苏州大学 | 一种矩阵全同态加密方法 |
US20140343984A1 (en) * | 2013-03-14 | 2014-11-20 | University Of Southern California | Spatial crowdsourcing with trustworthy query answering |
CN104080081A (zh) * | 2014-06-16 | 2014-10-01 | 北京大学 | 一种适用于移动端位置隐私保护的空间匿名化方法 |
CN105243501A (zh) * | 2015-10-13 | 2016-01-13 | 重庆大学 | 空间众包网络节点位置隐私保护方法 |
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107257381A (zh) * | 2017-07-03 | 2017-10-17 | 深圳大学 | 一种隐私保护空间众包的任务分配***模型及实现方法 |
WO2019006967A1 (zh) * | 2017-07-03 | 2019-01-10 | 深圳大学 | 用部分同态加密方案构建的空间众包任务分配***及方法 |
CN109003172A (zh) * | 2018-07-09 | 2018-12-14 | 中国科学技术大学苏州研究院 | 保护隐私的空间众包任务竞拍方法 |
CN109728904A (zh) * | 2018-12-28 | 2019-05-07 | 沈阳航空航天大学 | 一种保护隐私的空间网络查询方法 |
CN109728904B (zh) * | 2018-12-28 | 2021-10-26 | 沈阳航空航天大学 | 一种保护隐私的空间网络查询方法 |
TWI734368B (zh) * | 2019-06-18 | 2021-07-21 | 開曼群島商創新先進技術有限公司 | 實現隱私保護的數據同態加解密方法及裝置 |
US11159305B2 (en) | 2019-06-18 | 2021-10-26 | Advanced New Technologies Co., Ltd. | Homomorphic data decryption method and apparatus for implementing privacy protection |
CN113068128A (zh) * | 2021-03-18 | 2021-07-02 | 西安电子科技大学 | 基于双云安全计算协议的用户地理位置近邻查询方法 |
CN113068128B (zh) * | 2021-03-18 | 2021-11-23 | 西安电子科技大学 | 基于双云安全计算协议的用户地理位置近邻查询方法 |
CN116307294A (zh) * | 2023-05-22 | 2023-06-23 | 合肥城市云数据中心股份有限公司 | 基于差分隐私和改进萤火虫的lbs空间众包任务分配方法 |
Also Published As
Publication number | Publication date |
---|---|
WO2019006967A1 (zh) | 2019-01-10 |
CN107222302B (zh) | 2019-05-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107257381A (zh) | 一种隐私保护空间众包的任务分配***模型及实现方法 | |
CN107222302B (zh) | 用部分同态加密方案构建的空间众包任务分配***及方法 | |
CN107360146A (zh) | 一种接受保证的隐私保护空间众包任务分配***及方法 | |
Xing et al. | Mutual privacy preserving $ k $-means clustering in social participatory sensing | |
Zhang et al. | A decentralized location privacy-preserving spatial crowdsourcing for internet of vehicles | |
Zhou et al. | TR-MABE: White-box traceable and revocable multi-authority attribute-based encryption and its applications to multi-level privacy-preserving e-healthcare cloud computing systems | |
CN110138802B (zh) | 用户特征信息获取方法、装置,区块链节点、网络,及存储介质 | |
CN103095453A (zh) | 应用私有集合交集的公钥加密的布隆过滤器 | |
Jayapandian et al. | Secure and efficient online data storage and sharing over cloud environment using probabilistic with homomorphic encryption | |
Son et al. | Privacy enhanced location sharing for mobile online social networks | |
Bouabdellah et al. | A secure cooperative transmission model in VANET using attribute based encryption | |
Shen et al. | Hierarchical trust level evaluation for pervasive social networking | |
Kiyomoto et al. | Security issues on IT systems during disasters: a survey | |
Chaudhari et al. | On anonymous attribute based encryption | |
JP2012256008A (ja) | 評価対象情報自己評価システム、評価対象情報自己評価方法、装置、プログラム | |
Ashouri-Talouki et al. | Homomorphic encryption to preserve location privacy | |
Vishwakarma et al. | A secure three-party authentication protocol for wireless body area networks | |
Dehghan et al. | Privacy‐preserving collision detection of moving objects | |
Hwang et al. | An SKP‐ABE Scheme for Secure and Efficient Data Sharing in Cloud Environments | |
Chen et al. | JEDI: Joint and Effective Privacy Preserving Outsourced Set Intersection and Data Integration Protocols | |
Hsu et al. | Construction of lightweight authenticated joint arithmetic computation for 5G IoT networks | |
Han | Attribute-based encryption with adaptive policy | |
CN110321722A (zh) | Dna序列相似率安全计算方法及*** | |
Dewangan et al. | Privacy preservation in cloud platform using fully homomorphic encryption techniques | |
Raju et al. | Privacy maintenance collaborative data mining-a practical approach |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20190507 |
|
CF01 | Termination of patent right due to non-payment of annual fee |