Verifiable searchable symmetric encryption for conjunctive keyword queries in cloud storage  

作　　者：Qingqing GAN Joseph K.LIU Xiaoming WANG Xingliang YUAN Shi-Feng SUN Daxin HUANG Cong ZUO Jianfeng WANG 

机构地区：[1]Guangzhou Key Laboratory of Multilingual Intelligent Processing,School of Information Science and Technology/School of Cyber Security,Guangdong University of Foreign Studies,Guangzhou,510006,China [2]Department of Computer Science,Jinan University,Guangzhou,510632,China [3]Faculty of Information Technology,Monash University,Clayton,3168,Australia [4]State Key Laboratory of Integrated Service Networks(ISN),Xidian University,Xi’an,710071,China

出　　处：《Frontiers of Computer Science》2022年第6期103-121,共19页中国计算机科学前沿（英文版）

基　　金：supported by the National Natural Science Foundation of China (Grant Nos.61932010 and 62072357);the Zhuhai Top Discipline-Information Security;supported by the China Scholarship Council (CSC)and the Australian Research Council (ARC).

摘　　要：Searchable symmetric encryption(SSE)has been introduced for secure outsourcing the encrypted database to cloud storage,while maintaining searchable features.Of various SSE schemes,most of them assume the server is honest but curious,while the server may be trustless in the real world.Considering a malicious server not honestly performing the queries,verifiable SSE(VSSE)schemes are constructed to ensure the verifiability of the search results.However,existing VSSE constructions only focus on single-keyword search or incur heavy computational cost during verification.To address this challenge,we present an efficient VSSE scheme,built on OXT protocol(Cash et al.,CRYPTO 2013),for conjunctive keyword queries with sublinear search overhead.The proposed VSSE scheme is based on a privacy-preserving hash-based accumulator,by leveraging a well-established cryptographic primitive,Symmetric Hidden Vector Encryption(SHVE).Our VSSE scheme enables both correctness and completeness verifiability for the result without pairing operations,thus greatly reducing the computational cost in the verification process.Besides,the proposed VSSE scheme can still provide a proof when the search result is empty.Finally,the security analysis and experimental evaluation are given to demonstrate the security and practicality of the proposed scheme.

关 键 词：searchable symmetric encryption verifiability conjunctive keyword queries hash-based accumulator cloud storage 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]