全委托的公共可验证的外包数据库方案
作者:
作者单位:

作者简介:

周搏洋(1996-),女,硕士生,主要研究领域为外包数据库,可验证计算.
陈春雨(1992-),男,助理研究员,主要研究领域为信息安全,工控安全.
王强(1991-),男,博士生,CCF专业会员,主要研究领域为可验证计算,安全多方计算.
周福才(1964-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为可信计算,密码学,网络和信息安全(区块链安全,云存储与认证安全,隐私保护).

通讯作者:

周福才,E-mail:fczhou@mail.neu.edu.cn

中图分类号:

TP311

基金项目:

国家自然科学基金(61872069);中央高校基本科研业务费专项基金(N171704005)


Publicly Verifiable Outsourced Database with Full Delegations
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61872069); Fundamental Research Funds for the Central Universities (N171704005)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    为解决可验证外包数据库方案存在的预处理阶段开销较大及不支持公共可验证的问题,提出了一个全委托的公共可验证的外包数据库模型.给出了模型的架构及交互流程,对模型进行了形式化定义,并给出了模型的正确性定义和安全性定义.利用双线性映射及可验证外包模幂运算协议,构建了一个全委托的公共可验证外包数据库方案,且给出了各个算法的详细描述,证明了方案的正确性和安全性.其安全性可规约为BDHE (bilinear diffie-hellman exponent)难题.与现有方案及不进行全委托计算的方案相比,全委托的公共可验证的外包数据库方案基于可验证外包模幂运算,将大量模幂运算外包给云处理,减小了数据拥有者的开销.理论与实验分析表明:该方案数据拥有者在预处理阶段所需的代价更低,效率更高,适于实际应用.此外,验证过程无需私钥参与,实现了公共可验证.

    Abstract:

    To solve the problem of high preprocessing cost and public verifiability in the verifiable outsourced database schemes, a publicly verifiable outsourced database with full delegation is proposed. The architecture and the definition of security and correctness of the model are present. Based on the bilinear map and verifiable outsourced modular exponentiations protocol, a publicly verifiable outsourced database scheme with full delegation is constructed, and each algorithm is designed in detail. The rigorous security proof is presented under the bilinear Diffie-Hellman exponent (BDHE) problem. Compared with performing the protocol without full delegation scheme and the existing schemes, the data owner in publicly verifiable outsourced database with full delegations scheme outsources more operations to the cloud because of the application of the verifiable outsourced modular exponentiation operation. The theoretical analysis and simulation confirm that the cost of the proposed scheme is lower in the preprocessing phase, which makes it more efficient and practical. In the verification phase, any user can verify the result since the verification algorithm does not take any secret key as input. Therefore, the proposed scheme achieves public verifiability.

    参考文献
    相似文献
    引证文献
引用本文

周搏洋,陈春雨,王强,周福才.全委托的公共可验证的外包数据库方案.软件学报,2021,32(12):3901-3916

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2020-04-11
  • 最后修改日期:2020-05-24
  • 录用日期:
  • 在线发布日期: 2021-05-21
  • 出版日期: 2021-12-06
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号