Non-Inference: An Information Flow Control Model for Location-based Services | IEEE Conference Publication | IEEE Xplore