A Dynamic-Efficient Structure for Secure and Verifiable Location-Based Skyline Queries

Abstract

In a broad range of commercial and government applications, supporting secure location-based query services over outsourced cloud-based services particularly for data update on encrypted datasets remains challenging in practice. Compounding the challenge is the need to ensure update and query efficiency, dataset confidentiality (including against potentially malicious cloud service providers) and query authenticity. Thus in this paper, we propose DynPilot, a novel solution for privacy-preserving verifiable location-based skyline queries over dynamic and encrypted data(sets). The key challenge is how to devise a ciphertext-based authenticated data structure (ADS) that not only protects the confidentiality of the dataset (including the verification phase), but also the effective maintenance of such a dataset. Moreover, to motivate the cloud into actively updating ADS, the digest of the raw dataset is stored in the blockchain due to its immutability and consensus mechanism where update cost is also considered. Therefore, we present a novel ADS (hereafter referred to as <underline xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">D</u> ynamic-Efficient <underline xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">S</u> ecure and <underline xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">V</u> erifiable <underline xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">T</u> ree (DSV-tree)), designed to be dynamic and support secure and verifiable skyline queries. Meanwhile, DynPilot also achieves forward privacy using a novel fuzzy update strategy. To further improve the efficiency of queries, an optimized version (i.e., DSV*-tree) is also developed based on the idea of the multi-level index structure. Finally, we analyze the security and complexity of our approach, and the empirical evaluations demonstrate the utility of our approach.