Non-Inference: An Information Flow Control Model for Location-based Services

Nishkam Ravi; Marco  Gruteser; Liviu  Iftode

3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services

Research Article

Non-Inference: An Information Flow Control Model for Location-based Services

Cite: BibTeX Plain Text

@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

Nishkam Ravi¹, Marco Gruteser², Liviu Iftode¹

1: Department of Computer Science, Rutgers University
2: WINLAB, ECE Department, Rutgers University

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

Published: 2007-04-02
Publisher: IEEE

: http://dx.doi.org/10.1109/MOBIQ.2006.340407