Assuring Spatio-Temporal Integrity on Mobile Devices with Minimum Location Disclosure

Haibo Hu, Qian Chen, Jianliang Xu, Byron Choi

Research output: Contribution to journalJournal articlepeer-review

5 Citations (Scopus)
19 Downloads (Pure)


Since the boom of smartphones and location-based services, spatio-Temporal data (i.e., user locations with timestamps) have become increasingly essential in many real-life applications. To ensure these data are faithfully extracted from the underlying location tracking hardware and not altered by any malicious party or the user himself/herself, integrity assurance schemes such as digital signatures or message authentication codes (MAC) must be adopted. However, these conventional schemes disclose to the verifier the complete plaintext location and thus jeopardize users' privacy. In this paper, we propose an integrity assurance scheme with minimum location disclosure. That is, the granule of the disclosed location is just small enough to prove the user is/has been to a certain place, and the verifier cannot learn anything beyond it. To this end, we propose a new MAC scheme called Prefix-verifiable MAC (PMAC), based on which we design indexes and protocols to authenticate both spatial and spatio-Temporal predicates. Security analysis and experimental results show our scheme is both secure and efficient for practical use.

Original languageEnglish
Pages (from-to)3000-3013
Number of pages14
JournalIEEE Transactions on Mobile Computing
Issue number11
Publication statusPublished - 1 Nov 2017

Scopus Subject Areas

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

User-Defined Keywords

  • Integrity assurance
  • privacy protection
  • spatio-Temporal data


Dive into the research topics of 'Assuring Spatio-Temporal Integrity on Mobile Devices with Minimum Location Disclosure'. Together they form a unique fingerprint.

Cite this