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

被引:6
|
作者
Hu, Haibo [1 ,2 ]
Chen, Qian [3 ]
Xu, Jianliang [3 ]
Choi, Byron [3 ]
机构
[1] Hong Kong Polytech Univ, Dept Elect & Informat Engn, Kowloon, Hong Kong, Peoples R China
[2] PolyU Shenzhen Res Inst, Shenzhen, Peoples R China
[3] Hong Kong Baptist Univ, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China
基金
中国国家自然科学基金;
关键词
Integrity assurance; spatio-temporal data; privacy protection; AUTHENTICATION; ANONYMITY;
D O I
10.1109/TMC.2017.2683492
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:3000 / 3013
页数:14
相关论文
共 50 条
  • [21] Spatio-Temporal Routine Mining on Mobile Phone Data
    Qin, Tian
    Shangguan, Wufan
    Song, Guojie
    Tang, Jie
    ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA, 2018, 12 (05)
  • [22] Specification and Verification of Spatio-Temporal Properties of Mobile Systems
    Schaefer, Andreas
    IT-INFORMATION TECHNOLOGY, 2008, 50 (05): : 324 - 326
  • [23] Incentive Mechanisms for Spatio-temporal Tasks in Mobile Crowdsensing
    Xu, Jia
    Guan, Chengcheng
    Dai, Haipeng
    Yang, Dejun
    Xu, Lijie
    Kai, Jianyi
    2019 IEEE 16TH INTERNATIONAL CONFERENCE ON MOBILE AD HOC AND SMART SYSTEMS (MASS 2019), 2019, : 55 - 63
  • [24] Enforcing spatio-temporal access control in mobile applications
    Ramadan Abdunabi
    Wuliang Sun
    Indrakshi Ray
    Computing, 2014, 96 : 313 - 353
  • [25] Enforcing spatio-temporal access control in mobile applications
    Abdunabi, Ramadan
    Sun, Wuliang
    Ray, Indrakshi
    COMPUTING, 2014, 96 (04) : 313 - 353
  • [26] Spatio-Temporal Specification for Mobile Cyber Physical Systems
    Zhang, Lichen
    2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), 2018, : 607 - 612
  • [27] A spatio-temporal logic for the specification and refinement of mobile systems
    Merz, S
    Wirsing, M
    Zappe, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 87 - 101
  • [28] Spatio-Temporal History of Islamic Inventors Based on Mobile
    Abdullah, Liwan Tadwini
    Kusumaningtyas, Entin Martiana
    Barakbah, Ali Ridho
    2015 International Electronics Symposium (IES), 2015, : 239 - 244
  • [29] Identification of spatio-temporal outliers through Minimum Spanning Tree
    Cipolla, Emanuele
    Vella, Filippo
    10TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY AND INTERNET-BASED SYSTEMS SITIS 2014, 2014, : 248 - 255
  • [30] Spatio-temporal behaviour of cruise passengers at the destination: a big data approach using mobile location events
    Reif, Julian
    Gross, Sven
    INTERNATIONAL JOURNAL OF TOURISM CITIES, 2024,