Research Article
Non-Inference: An Information Flow Control Model for Location-based Services
@INPROCEEDINGS{10.1109/MOBIQ.2006.340407, author={Nishkam Ravi and Marco Gruteser and Liviu Iftode}, title={Non-Inference: An Information Flow Control Model for Location-based Services}, proceedings={3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services}, publisher={IEEE}, proceedings_a={MOBIQUITOUS}, year={2007}, month={4}, keywords={}, doi={10.1109/MOBIQ.2006.340407} }- Nishkam Ravi
Marco Gruteser
Liviu Iftode
Year: 2007
Non-Inference: An Information Flow Control Model for Location-based Services
MOBIQUITOUS
IEEE
DOI: 10.1109/MOBIQ.2006.340407
Abstract
This paper presents a framework for preserving location privacy without affecting location accuracy. In this framework, services migrate a piece of code to a trusted server, which is assumed to have location information of all the interesting subjects. The code executes on the trusted server, reads location information and sends back results. We introduce Non-inference, a novel information-flow control model that guarantees that the code does not leak exact location information. We discuss the design, implementation and evaluation of a static program analysis technique that enforces non-inference for location based services
Copyright © 2006–2025 IEEE
