Location Privacy in Pervasive Computing
IEEE Pervasive Computing
An architecture for privacy-sensitive ubiquitous computing
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Secure Information Flow by Self-Composition
CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations
Preserving location privacy in wireless lans
Proceedings of the 5th international conference on Mobile systems, applications and services
Privacy in location-based services: a system architecture perspective
SIGSPATIAL Special
Secure Information Flow by Model Checking Pushdown System
UIC-ATC '09 Proceedings of the 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing
Design and analysis of a ranking approach to private location-based services
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
Location privacy has been considered to be an important issue along with the advances of location technologies and the pervasive use of location based services. Although a variety of location privacy techniques have been developed, language-based techniques have rarely been used on privacy enforcement of location-based services. In this work, we propose a verification framework to enforce the privacy preservation of locations. The enforcement leverages reachability analysis of pushdown system to ensure that the service-specific data aggregation functions comply with the privacy property. The approach supports inter-procedural analysis and is more precise than existing work.