正确性可验证的密文图数据最短路径外包计算方案

1

作者 丁红发 于莹莹 蒋合领 《计算机科学》 CSCD 北大核心 2024年第5期400-413,共14页

地理位置、社交网络等海量图数据应用广泛且包含大量隐私,通常需要安全的外包计算来提供多样化的查询服务。然而,如何设计正确性可验证的图数据外包计算协议仍是公开的难题。为此,提出了加密图数据上正确性可验证的精确最短路径外包计... 地理位置、社交网络等海量图数据应用广泛且包含大量隐私,通常需要安全的外包计算来提供多样化的查询服务。然而,如何设计正确性可验证的图数据外包计算协议仍是公开的难题。为此,提出了加密图数据上正确性可验证的精确最短路径外包计算方案。该方案利用加法同态加密构造密态图数据上的广度优先最短路径计算算法,支持加密图数据的精确最短距离查询外包计算;其次,基于双线性映射累加器构造最短路径外包计算结果的概率正确性验证机制。分析和证明表明,该方案能以概率可靠性实现正确性可验证的精确最短路径的外包计算,具备随机预言模型下的IND-CCA2安全。对比实验结果表明,所提方案相比其他相关方案在安全性、功能性方面有显著优势,性能上较已有可验证图数据外包计算方案在初始化及加密环节、查询环节、验证及解密环节的时间开销分别降低了0.15%~23.19%,12.91%~30.89%和1.13%~18.62%。 展开更多

关键词 图数据外包计算 可验证 最短路径查询 密码累加器 同态加密

在线阅读 下载PDF 职称材料

隐私保护的可验证多元多项式外包计算方案 被引量：6

2

作者 任艳丽 谷大武 +1 位作者 蔡建兴 黄春水 《通信学报》 EI CSCD 北大核心 2015年第8期23-30,共8页

随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型... 随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。 展开更多

关键词 云计算 大数据 多元多项式 可验证外包计算 多线性映射

在线阅读 下载PDF 职称材料

支持安全外包计算的无线体域网数据共享方案 被引量：3

3

作者 张维纬 张育钊 +2 位作者 黄焯 张茹 杨义先 《通信学报》 EI CSCD 北大核心 2017年第4期64-75,共12页

如何有效保护无线体域网(WBAN)中数据共享时的数据安全是一个亟待解决的关键问题。传统的CP-ABE机制具有"一对多"的数据安全通信功能,适用于WBAN中的访问控制,但运算复杂度高且不支持属性撤销。充分考虑WBAN节点资源的有限性... 如何有效保护无线体域网(WBAN)中数据共享时的数据安全是一个亟待解决的关键问题。传统的CP-ABE机制具有"一对多"的数据安全通信功能,适用于WBAN中的访问控制,但运算复杂度高且不支持属性撤销。充分考虑WBAN节点资源的有限性和用户属性的动态性,提出一种在标准模型下CPA安全、支持属性撤销、加密和解密安全外包计算的CP-ABE方案。与已有的方案相比,提出的方案在保证安全性的同时,终端的运算负担大为减少,且可以实时、细粒度地撤销用户属性。 展开更多

关键词 无线体域网 安全共享 外包计算 属性基加密 属性撤销

在线阅读 下载PDF 职称材料

基于双线性映射的公共可验证外包计算方案 被引量：1

4

作者 李福祥 霍建秋 +1 位作者 林慕清 周福才 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第5期619-623,共5页

已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化... 已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性. 展开更多

关键词 双线性映射 公共可验证 外包计算 不可伪造性 可验证计算

在线阅读 下载PDF 职称材料

一种保护隐私集合并集外包计算协议 被引量：5

5

作者 孙茂华 宫哲 《密码学报》 CSCD 2016年第2期114-125,共12页

保护隐私的集合运算是当前信息安全领域的研究热点,它使拥有秘密集合的参与者在不泄露各自隐私数据的前提下共同输出秘密集合上的某种运算结果.随着云计算、大数据等技术的发展,外包计算成为当前流行的计算模式.如何打破传统计算模式的... 保护隐私的集合运算是当前信息安全领域的研究热点,它使拥有秘密集合的参与者在不泄露各自隐私数据的前提下共同输出秘密集合上的某种运算结果.随着云计算、大数据等技术的发展,外包计算成为当前流行的计算模式.如何打破传统计算模式的瓶颈并实现外包计算模式下集合运算的隐私保护是信息安全领域的重要问题.针对分布式环境下集合并集外包计算时的隐私保护问题,本文基于集合的多项式根表示法使用Pailliar同态加密方案和拉格朗日多项式插值公式提出了一种保护隐私的集合并集外包计算协议.本文使用模拟器视图仿真法分析了协议的安全性,结果表明本文协议在半诚实模型下是安全的.协议的正确性使用反证法进行了证明.协议的效率分析结果表明,相比于已有保护隐私集合并集协议,本文协议在降低了计算复杂度和通信复杂度的同时实现了集合并集的安全外包计算.作为协议推广,本文最后设计了门限并集的安全外包计算协议,该协议通过对拉格朗日插值多项式做加密求导计算实现. 展开更多

关键词 安全多方计算 保护隐私的集合并集外包计算 Pailliar同态加密算法 拉格朗日插值多项式

在线阅读 下载PDF 职称材料

信息论安全的3个基础外包计算协议及空间位置关系保密判定 被引量：2

6

作者 陈振华 黄路琪 +1 位作者 史晓楠 聂靖靖 《西安科技大学学报》 CAS 北大核心 2019年第6期1049-1056,共8页

现存的安全几何计算协议大多采用公钥加密方法保护数据隐私,计算成本较大。当计算能力不强的用户解决复杂问题时,效率往往较低。针对这些问题,避开公钥加密的方法,而是利用矩阵论中一些特殊函数的性质和随机数混淆的方法来保护数据隐私... 现存的安全几何计算协议大多采用公钥加密方法保护数据隐私,计算成本较大。当计算能力不强的用户解决复杂问题时,效率往往较低。针对这些问题,避开公钥加密的方法,而是利用矩阵论中一些特殊函数的性质和随机数混淆的方法来保护数据隐私,并且为了进一步提高效率,将大量的用户计算外包出去。在此基础上,首先设计了常用的3个基础向量外包计算协议,分别是安全外包计算的向量模长计算协议,向量内积计算协议和向量夹角计算协议,并利用模拟范例证明了协议的安全性,然后利用这3个基础协议进一步解决了现实意义中如何保密判断空间面与面位置关系的问题,并给出了具体协议。最后,通过理论分析与实验仿真显示:由于协议没有使用公钥加密的方法,因此达到了信息论安全;并且由于外包计算的使用,为用户节省了更多的计算成本,取得了比较高的效率;此外,协议能够解决的问题也更加广泛,可作为新的云计算技术的基础协议应用到安全多方计算的其它分支中。 展开更多

关键词 安全多方计算 外包计算 内积协议 空间位置 信息论安全

在线阅读 下载PDF 职称材料

云环境下基于大规模矩阵QR分解的外包计算 被引量：3

7

作者 吴宏锋 任桓枢 《信息网络安全》 CSCD 北大核心 2018年第3期86-90,共5页

把运算耗时的计算任务交给非可信的云服务器进行外包计算是目前云计算背景下的热点问题之一。大型方程组的求解外包计算协议不仅要求高效性,也要满足计算结果的可验证性和避免客户信息泄露等。文章利用大规模矩阵的QR分解设计了可验证... 把运算耗时的计算任务交给非可信的云服务器进行外包计算是目前云计算背景下的热点问题之一。大型方程组的求解外包计算协议不仅要求高效性,也要满足计算结果的可验证性和避免客户信息泄露等。文章利用大规模矩阵的QR分解设计了可验证的外包计算协议。和其他方案相较,该协议没有基于任何密码学假设,可高效求解大规模线性方程组。此外,该协议将原始矩阵盲化后外包给云服务器进行QR分解,增加了协议的隐私性。文章还提供了简单的运算,以验证结果的正确性。 展开更多

关键词 QR分解 外包计算 可验证性 线性方程组

在线阅读 下载PDF 职称材料

基于单服务器的模指数安全外包计算方案

8

作者 丁伟杰 《电信科学》 2018年第1期80-86,共7页

目前,在离散对数密码协议中,模指数外包计算方案大部分都是针对素数的,很少有有关合数的研究成果。并且大多数模指数外包计算方案都是基于双服务器的,该类方案通常要求两个服务器中至少有一个是诚实的,但是在实际环境中可能并不存在完... 目前,在离散对数密码协议中,模指数外包计算方案大部分都是针对素数的,很少有有关合数的研究成果。并且大多数模指数外包计算方案都是基于双服务器的,该类方案通常要求两个服务器中至少有一个是诚实的,但是在实际环境中可能并不存在完全可信的云服务器。基于单个不可信服务器模型提出了一个新的复合模指数安全外包计算方案。该方案采用新的数学分割方式,能够保证底数和指数的隐私性。与已有方案相比,该方案的外包计算结果可验证率也有很大程度的提高,用户能够以119/120的概率检测出错误结果。 展开更多

关键词 云计算 外包计算 模指数

在线阅读 下载PDF 职称材料

基于单服务器的群上幂指数安全外包计算方案 被引量：4

9

作者 李帅 付安民 +2 位作者 苏铓 陈珍珠 孙银霞 《计算机研究与发展》 EI CSCD 北大核心 2018年第11期2482-2489,共8页

随着云计算的快速发展和大数据时代的到来,如何将一些耗时的计算任务安全地外包给不完全可信的公共云服务器引起了广泛关注.基于单服务器模型,提出了一个新的具有隐私保护的群域上的幂指数运算安全外包方案GEXP(outsourcing power expon... 随着云计算的快速发展和大数据时代的到来,如何将一些耗时的计算任务安全地外包给不完全可信的公共云服务器引起了广泛关注.基于单服务器模型,提出了一个新的具有隐私保护的群域上的幂指数运算安全外包方案GEXP(outsourcing power exponent on a group field),能够有效避免双服务器模型存在的共谋攻击问题.与已有方案相比,方案GEXP能够以100%的概率检测出云服务器返回的错误计算结果,确保了用户对外包计算结果的可完全验证.此外,给出了方案GEXP在现有广泛研究的云存储数据完整性验证的具体应用. 展开更多

关键词 云计算 指数运算 外包计算 可验证计算 隐私保护

在线阅读 下载PDF 职称材料

基于双服务器模型的可公开验证多元多项式外包计算方案 被引量：1

10

作者 罗小双 杨晓元 +1 位作者 李聪 王绪安 《计算机应用》 CSCD 北大核心 2018年第2期321-326,共6页

结合云安全外包计算中的隐私保护问题,针对任意多元多项式函数的外包计算,利用同态加密算法和多线性映射,构造了基于双服务器模型的可公开验证外包计算方案。该方案能够保证多项式函数输入与输出的隐私性和安全性,用户或者任意第三方都... 结合云安全外包计算中的隐私保护问题,针对任意多元多项式函数的外包计算,利用同态加密算法和多线性映射,构造了基于双服务器模型的可公开验证外包计算方案。该方案能够保证多项式函数输入与输出的隐私性和安全性,用户或者任意第三方都可以对云服务器计算的结果进行验证,实现了可公开验证性和可用性。云返回给用户的结果处于密文状态,只有拥有解密密钥的用户才能够输出最终的结果,一定程度上保证了计算结果的安全性。分析结果表明,该方案在标准模型下能够达到输入的选择明文攻击(CPA)安全,用户的计算代价远远小于服务器以及直接计算多项式函数的计算代价。 展开更多

关键词 外包计算 多元多项式 同态加密 多线性映射

在线阅读 下载PDF 职称材料

矩阵乘积的高效可验证安全外包计算 被引量：9

11

作者 武朵朵 来齐齐 杨波 《密码学报》 CSCD 2017年第4期322-332,共11页

云外包作为近年来各科研团队热点研究课题,各类复杂的科学计算问题与云外包课题的结合也备受关注.基于各类科学计算,矩阵的高效外包计算是云计算和大数据背景下的一个非常有意义的研究方向.通过分析得知,目前的矩阵外包计算协议还不能... 云外包作为近年来各科研团队热点研究课题,各类复杂的科学计算问题与云外包课题的结合也备受关注.基于各类科学计算,矩阵的高效外包计算是云计算和大数据背景下的一个非常有意义的研究方向.通过分析得知,目前的矩阵外包计算协议还不能高效的实现所有矩阵之间的计算,尤其是任意非方阵之间的乘积运算.如何在不泄露用户信息的情况下,设计出高效可验证安全的矩阵乘积外包协议是一个有意义的研究问题.为此,首先利用几何学中的填补法和分割法将矩阵进行分块处理,并结合置换函数和可逆矩阵相乘的处理操作,设计出一个高效可验证且安全的矩阵乘积外包协议.其次,对提出新的矩阵乘积外包协议给出正确性、合理性、隐私性、可验证性、高效性分析及证明.并重点分析和证明本文所提出的新的高效验证方式.最后,与近几年相关矩阵运算的外包协议进行对比,我们协议不需要任何的密码学假设,合理利用盲化技术实现矩阵外包计算,且满足任意矩阵之间的乘积外包计算. 展开更多

关键词 密码学 外包计算 矩阵运算 矩阵乘积 盲化技术

在线阅读 下载PDF 职称材料

多租赁用户模型下有效安全外包计算 被引量：2

12

作者 刘镪 唐春明 +1 位作者 胡杏 张永强 《信息网络安全》 2013年第9期17-21,共5页

外包计算是云计算环境中常见的服务之一,通常有单租赁用户下的外包计算和多租赁用户下的外包计算两种形式。文章使用安全多方计算协议和密钥共享协议构造多租赁用户模型下的外包计算协议,并且证明了只要多方计算协议和密钥共享方案是安... 外包计算是云计算环境中常见的服务之一,通常有单租赁用户下的外包计算和多租赁用户下的外包计算两种形式。文章使用安全多方计算协议和密钥共享协议构造多租赁用户模型下的外包计算协议,并且证明了只要多方计算协议和密钥共享方案是安全的,则外包计算协议也是安全的。文章分别为门限和非门限两种情形构造了安全外包计算协议,前者假设每个租赁用户的可信度相同,而后者假设每个租赁用户的可信度不同。 展开更多

关键词 云计算 外包计算 安全多方计算 密钥共享方案

在线阅读 下载PDF 职称材料

图数据精确最短距离的隐私保护外包计算方案 被引量：1

13

作者 于莹莹 丁红发 蒋合领 《计算机工程》 CAS CSCD 北大核心 2023年第9期158-171,共14页

社交网络、通信网络、生物蛋白等海量图数据应用广泛且包含大量个人隐私和商业敏感信息,通常需要对图数据加密并通过云计算提供安全高效的外包查询服务。然而,设计加密图数据上的高效精确最短距离外包计算方案既要保证隐私数据的高安全... 社交网络、通信网络、生物蛋白等海量图数据应用广泛且包含大量个人隐私和商业敏感信息,通常需要对图数据加密并通过云计算提供安全高效的外包查询服务。然而,设计加密图数据上的高效精确最短距离外包计算方案既要保证隐私数据的高安全性,又要提高加密查询等计算的效率,具有一定挑战性。提出一种基于二跳覆盖标记和加法同态的图数据精确最短距离查询外包计算方案。使用广度优先搜索修剪策略对二跳覆盖标记生成的原始标记集合进行预处理,减少预处理的标记数量并提高查询效率。基于加法同态加密和伪随机函数对标记集合进行加密处理并构造安全索引结构,保护图数据的节点和距离信息,实现加密图数据的精确最短距离查询。实验结果表明,该方案能正确进行加密图数据上精确最短距离的外包计算,在半诚实假设下满足随机预言模型下的IND-CPA安全和(L_(1),L_(2))安全,能有效保护图结构数据在外包计算中的隐私信息,在图数据加密和最短距离查询阶段相较现有同类方案分别降低了13.04%~24.24%和36.44%~46.13%的时间开销。 展开更多

关键词 图数据外包计算 最短距离查询 二跳覆盖标记 加法同态加密 隐私保护

在线阅读 下载PDF 职称材料

理性外包计算的博弈论机制 被引量：1

14

作者 岳朝跃 田有亮 +2 位作者 张铎 王琳杰 王缵 《密码学报》 CSCD 2019年第1期112-122,共11页

理性外包计算是博弈论与外包计算相结合的产物,是理性密码学研究领域的扩展.理性外包计算的研究主要是通过设置激励,从参与者自利的角度出发,通过效用函数来保证计算结果的正确性、可靠性.目前传统外包计算研究模型本身的结构较少,特别... 理性外包计算是博弈论与外包计算相结合的产物,是理性密码学研究领域的扩展.理性外包计算的研究主要是通过设置激励,从参与者自利的角度出发,通过效用函数来保证计算结果的正确性、可靠性.目前传统外包计算研究模型本身的结构较少,特别对外包计算模型中因各参与者行为和偏好不同而可能导致外包计算任务的安全风险关注不够,并且验证过程复杂、通信开销较高;而现有的理性外包计算方案都需要用户执行验证才能保证外包计算结果的正确性.针对上述问题,本文在博弈论框架下,基于纳什均衡设计外包计算结果正确性策略规则.首先分析了外包计算中用户和服务器的偏好.提出了外包计算扩展式博弈模型,在该模型下定义了一个新的支付矩阵和效用函数;其次,根据博弈论的纳什均衡给出了理性外包计算模型的形式化定义;最后,通过实验仿真分析理性外包计算模型中的线性函数的选取条件,确保参与者达到纳什均衡时用户不要验证外包计算结果,也可以确保服务器诚实计算是它的最优策略.同时,该模型最大限度地减少了用户的费用. 展开更多

关键词 外包计算 效用函数 纳什均衡 正确性

在线阅读 下载PDF 职称材料

雾计算中细粒度属性更新的外包计算访问控制方案 被引量：9

15

作者 杜瑞忠 闫沛文 刘妍 《通信学报》 EI CSCD 北大核心 2021年第3期160-170,共11页

针对基于密文策略的属性加密(CP-ABE)在低时延需求较高的雾计算环境中,存在加解密开销大、属性更新效率低的问题,提出了一种雾计算中细粒度属性更新的外包计算访问控制方案,使用模加法一致性秘密(密钥)分享技术构建访问控制树,将加解密... 针对基于密文策略的属性加密(CP-ABE)在低时延需求较高的雾计算环境中,存在加解密开销大、属性更新效率低的问题,提出了一种雾计算中细粒度属性更新的外包计算访问控制方案,使用模加法一致性秘密(密钥)分享技术构建访问控制树,将加解密计算操作外包给雾节点,降低用户加解密开销;结合重加密机制,在雾节点建立组密钥二叉树对密文进行重加密,实现对用户属性的灵活更新。安全性分析表明,所提方案在决策双线性Diffie-Hellman假设下是安全的。仿真实验结果表明,所提方案中用户加解密时间开销相比其他方案更小,属性更新效率更高。 展开更多

关键词 访问控制 雾计算 外包计算 属性更新 基于密文策略属性加密

在线阅读 下载PDF 职称材料

面向机器学习的安全外包计算研究进展

16

作者 陈珍珠 周纯毅 +2 位作者 苏铓 高艳松 付安民 《计算机研究与发展》 EI CSCD 北大核心 2023年第7期1450-1466,共17页

依靠机器学习,传统产业的数字化转型带来了海量数据增长,而产品服务的智能化提升则刺激了算力需求.云计算的灵活资源调配可以为资源有限的企业和用户提供便宜便捷的外包计算服务,实现机器学习的模型训练和模型托管,加快产品和服务的智... 依靠机器学习,传统产业的数字化转型带来了海量数据增长,而产品服务的智能化提升则刺激了算力需求.云计算的灵活资源调配可以为资源有限的企业和用户提供便宜便捷的外包计算服务,实现机器学习的模型训练和模型托管,加快产品和服务的智能化建设,促进数字经济增长.然而,数据和模型外包伴随控制权转移,可能带来数据泄露风险和计算安全问题.近年来,机器学习的外包安全问题受到越来越多研究者的关注,并取得了一些显著成果.通过对2018—2022年这5年国内外机器学习安全外包研究工作调研,首先对现有主流的外包模型进行分类和特征归纳,依据任务阶段将外包模型划分为模型训练和模型托管模式,以及依据云服务商数量将外包模式划分为单云模式和多云模式.其次重点从逻辑回归、朴素贝叶斯分类、支持向量机、决策树和神经网络等典型机器学习算法角度对机器学习安全外包计算相关研究进展进行了深入阐述和分析.最后从不同角度分析和讨论了目前机器学习安全外包研究存在的不足,并展望未来面临的挑战和机遇. 展开更多

关键词 云计算 外包计算 机器学习 迁移学习 隐私保护

在线阅读 下载PDF 职称材料

安全高效的生物识别外包计算方案研究 被引量：2

17

作者 周亮 应欢 +1 位作者 戴波 邱意民 《计算机工程与应用》 CSCD 北大核心 2020年第1期127-135,共9页

生物识别是指将待识别个体的生物特征与预先成立的生物数据库进行匹配,从而完成个体身份识别的过程。目前,生物识别技术在互联网电子服务环境中得到了越来越广泛的应用。随着云计算的迅速发展,生物识别也可通过外包计算的方式提高识别... 生物识别是指将待识别个体的生物特征与预先成立的生物数据库进行匹配,从而完成个体身份识别的过程。目前,生物识别技术在互联网电子服务环境中得到了越来越广泛的应用。随着云计算的迅速发展,生物识别也可通过外包计算的方式提高识别效率。然而,这种计算外包模式同时带来了新的隐私风险,如个体生物特征信息的泄露以及被非授权的使用。主要对云计算环境中的生物识别外包方案展开研究。对最新的生物识别外包方案进行了安全性分析,并揭示了该方案存在的隐私漏洞;将数据拆分技术与矩阵变换相结合设计了新的数据隐私保护技术,提出了一个改进的生物识别外包方案EBIO;详细的理论分析论证了该方案的正确性和隐私性;对EBIO方案进行了原型实现并进行了大量实验。实验数据表明,EBIO方案可以高效地完成大规模生物识别任务,可在实际应用中进行实际部署。 展开更多

关键词 生物识别 云计算 外包计算 数据安全 隐私保护

在线阅读 下载PDF 职称材料

一个基于混淆电路的选择性公开可验证外包计算方案

18

作者 杨海宁 秦静 +1 位作者 孙加萌 朱斌瑞 《密码学报》 CSCD 2018年第6期599-611,共13页

由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x-1,···, x_n)作为函数f的输入,将计算f (x_... 由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x-1,···, x_n)作为函数f的输入,将计算f (x_1,···, x_n)的工作外包给两个不合谋的服务器S_1和S_2, S_2计算并返回结果, S_1使用指定用户的公钥执行加密操作为指定用户提供一个验证最终结果正确的证明.与已有的方案相比,本文方案满足选择性公开可验证性,即只有指定的用户可以使用自己的私钥验证返回结果是否正确并获得正确的结果,从而可以有效地防止敏感性数据信息被权限之外的人获知;还提高了用户的效率,并且不需要用户间和服务器间进行交互;此外,在某个服务器存在恶意行为的情形下本文方案满足所定义的隐私性和可靠性.本文方案可以避免在云环境中因信息泄露给用户带来损失,具有一定的现实意义. 展开更多

关键词 混淆电路 外包计算 双服务器 选择性公开可验证

在线阅读 下载PDF 职称材料

基于可传递性的公平的外包计算协议

19

作者 李海颖 张江霄 隋春荣 《河北大学学报（自然科学版）》 CAS 北大核心 2017年第5期555-560,共6页

针对现有的外包计算存在外包计算不公平性、用户和外包者不是匿名的、且用户无法传递外包计算的问题,基于可传递条件模型,构建了一个公平的用户和外包者匿名的可传递外包计算协议.利用Groth-Sahai的承诺和对应证明的可自更新性,新协议... 针对现有的外包计算存在外包计算不公平性、用户和外包者不是匿名的、且用户无法传递外包计算的问题,基于可传递条件模型,构建了一个公平的用户和外包者匿名的可传递外包计算协议.利用Groth-Sahai的承诺和对应证明的可自更新性,新协议保证了用户和外包者的匿名性,且允许用户在不想进行计算时,可以不通过外包者,直接把该计算传递给其他用户,从而增加了外包计算的实用性. 展开更多

关键词 外包计算 匿名性 GS证明 交互签名 可传递性条件

在线阅读 下载PDF 职称材料

基于Wi-Fi指纹且计算外包的室内定位隐私保护方案 被引量：2

20

作者 张应辉 张思睿 +2 位作者 赵秋霞 郑晓坤 曹进 《通信学报》 EI CSCD 北大核心 2024年第2期31-39,共9页

为了解决室内定位中用户和服务器双方的隐私保护问题,提出了一种在使用Paillier加密的过程中将部分计算外包给云服务器的方案,这不仅保护了用户和定位服务器的隐私,而且避免了产生过大的计算和通信开销。该方案的主要思想是服务器先在... 为了解决室内定位中用户和服务器双方的隐私保护问题,提出了一种在使用Paillier加密的过程中将部分计算外包给云服务器的方案,这不仅保护了用户和定位服务器的隐私,而且避免了产生过大的计算和通信开销。该方案的主要思想是服务器先在离线阶段建立指纹数据库,在线阶段用户将k匿名算法和Paillier加密结合,将加密后的Wi-Fi指纹发送给定位服务器,服务器对接收到的Wi-Fi指纹和数据库指纹进行聚合处理,然后外包给云服务器进行解密和距离计算,最终得到定位结果。理论分析和实验结果表明了所提方案的安全性、有效性和实用性。 展开更多

关键词 Wi-Fi指纹 计算外包 云服务 Paillier加密

在线阅读 下载PDF 职称材料