西安电子科技大学学报 ›› 2022, Vol. 49 ›› Issue (5): 189-200.doi: 10.19665/j.issn1001-2400.2022.05.022

• 计算机科学与技术 & 人工智能 • 上一篇    下一篇

支持结果验证的多服务器动态可搜索加密方案

何雨1,2(),田有亮1,2,3(),万良1,2(),杨力4()   

  1. 1.贵州大学 计算机科学与技术学院,贵州 贵阳 550025
    2.贵州省公共大数据重点实验室,贵州 贵阳 550025
    3.贵州大学 密码学与数据安全研究所,贵州 贵阳 550025
    4.西安电子科技大学 计算机科学与技术学院,陕西 西安 710071
  • 收稿日期:2021-09-17 出版日期:2022-10-20 发布日期:2022-11-17
  • 作者简介:何 雨(1996—),男,贵州大学硕士研究生,E-mall:yuhe15797677109@163.com;|田有亮(1982—),男,教授,博士,E-mail:youliangtian@163.com;|万 良(1974—),男,教授,博士,E-mail:lwan@gzu.edu.cn;|杨 力(1977—),男,教授,博士,E-mail:yangli@xidian.edu.cn
  • 基金资助:
    国家自然科学基金(61662009);国家自然科学基金(61772008);贵州省科技重大专项计划(20183001);国家自然科学基金联合基金重点支持项目(U1836205);贵州省科技计划(黔科合基础[2019]1098);贵州省高层次创新型人才项目(黔科合平台人才[2020]6008)

Multi-server dynamic searchable encryption scheme supporting result verification

HE Yu1,2(),TIAN Youliang1,2,3(),WAN Liang1,2(),YANG Li4()   

  1. 1. College of Computer Science and Technology,Guizhou University,Guiyang 550025,China
    2. State Key Laboratory of Public Big Data,Guizhou University,Guiyang 550025,China
    3. Institute of Cryptography and Date Security,Guizhou University,Guiyang 550025,China
    4. School of Computer Science and Technology,Xidian University,Xi’an 710071,China
  • Received:2021-09-17 Online:2022-10-20 Published:2022-11-17

摘要:

针对传统单服务器可搜索加密方案检索效率不高以及服务器单点故障问题,基于Shamir-秘密共享的思想,结合智能合约,构造了一个支持结果验证的多云服务器可搜索加密方案。首先,使用Shamir-秘密共享技术,将数据拆分成多个不同的数据块,分别加密存储在各个独立的服务器上,构造一个多云服务器可搜索加密模型,防止服务器单点故障导致数据大量丢失的问题,实现数据安全分布存储和高效查询;其次,利用智能合约自动执行的特点,构造查询结果的验证方法,通过签订合约来实现查询结果的验证,解决半可信的云服务器模型下返回结果的正确性难以保证的问题。另外,引入分块矩阵,对更新的数据构造子矩阵,以降低更新文档后查询的计算开销,并且通过添加虚假关键字信息,防止云服务器的猜测攻击,保证更新数据的安全。最后,通过安全性分析和实验分析表明,本方案在有效保护数据隐私的同时,与其他方案相比,减少了索引生成时间,并且检索效率更高。

关键词: 可搜索加密, 智能合约, 多服务器, Shamir-秘密共享, 分块矩阵

Abstract:

Aiming at the low retrieval efficiency and the single point of failure(SPOF) of the traditional single-server searchable encryption scheme,this paper constructs a multi-cloud server searchable encryption scheme supporting result verification based on Shamir-secret sharing and intelligent contract.First of all,the Shamir-secret sharing technology is used to split data into multiple different data blocks,which are encrypted and stored on each independent server,and a multi-cloud server searchable encryption model is constructed to prevent the problem of massive data loss caused by SPOF and realize safe distributed storage and efficient query of data.Furthermore,using the characteristics of automatic execution of smart contracts to construct a verification method for query results,the verification of query results is realized by signing a contract,which solves the problem that the correctness of the returned results under the semi-trusted cloud server model is difficult to guarantee.In addition,we introduce a block matrix to construct a sub-matrix for the updated data to reduce the computational cost of query after updating documents,and by adding false keyword information,guessing attacks on cloud servers are prevented,and the security of updated data is guaranteed.Finally,the security analysis and experimental analysis show that the scheme can effectively protect data privacy while reducing the index generation time,and achieve a higher retrieval efficiency compared with other schemes.

Key words: searchable encryption, smart contract, multi-server, Shamir-secret sharing, block matrix

中图分类号: 

  • TP309.7
Baidu
map