XJIPC OpenIR  > 多语种信息技术研究室
Process Calculus for Modeling and Quantifying Location Privacy
Ding, Jingquan; Li, Xiao; Guo, Yunchuan; Yin, Lihua; Zhang, Huibing
2019
Source PublicationProcedia Computer Science
ISSN18770509
Volume147Issue:1Pages:407-415
Abstract

In the mobile wireless Internet, location privacy is serious concerns. As a response to these concerns, many (formal) location-privacy protection mechanisms (LPPMs) and evaluation metrics for LPPMs have been proposed. It is necessary to integrate formal models into assessments, because this integration can deduce the gap between them: after designing a LPPM, we adopt this integration to formalize and measure it. In this paper, we propose a probabilistic process calculus to model the obfuscation-based schemes (OBS, one LPPM) and use the relative entropy to measure the degree of location privacy OBS can leak. We integrate the two approaches into one unified model. Examples demonstrate the accuracy of our model. Our work decreases the gap between the formalization and the measurement for OBS.

Indexed ByEI
Document Type期刊论文
Identifierhttp://ir.xjipc.cas.cn/handle/365002/5744
Collection多语种信息技术研究室
Affiliation1.Xinjiang Technical Institute of Physics and Chemistry, Urumqi, China
2.Key Laboratory of Speech Language Information Processing, China
3.University of Chinese Academy Sciences, China
4.Institute of Information Engineering, Chinese Academy Sciences, China
5.Guangzhou University, Guangzhou, China
6.Guilin University of Electronic Technology, Guilin, China
Recommended Citation
GB/T 7714
Ding, Jingquan,Li, Xiao,Guo, Yunchuan,et al. Process Calculus for Modeling and Quantifying Location Privacy[J]. Procedia Computer Science,2019,147(1):407-415.
APA Ding, Jingquan,Li, Xiao,Guo, Yunchuan,Yin, Lihua,&Zhang, Huibing.(2019).Process Calculus for Modeling and Quantifying Location Privacy.Procedia Computer Science,147(1),407-415.
MLA Ding, Jingquan,et al."Process Calculus for Modeling and Quantifying Location Privacy".Procedia Computer Science 147.1(2019):407-415.
Files in This Item:
File Name/Size DocType Version Access License
Process Calculus for(811KB)期刊论文作者接受稿开放获取CC BY-NC-SAView Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Ding, Jingquan]'s Articles
[Li, Xiao]'s Articles
[Guo, Yunchuan]'s Articles
Baidu academic
Similar articles in Baidu academic
[Ding, Jingquan]'s Articles
[Li, Xiao]'s Articles
[Guo, Yunchuan]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Ding, Jingquan]'s Articles
[Li, Xiao]'s Articles
[Guo, Yunchuan]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: Process Calculus for Modeling and Quantifying Location Privacy.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.