Designing and verifying core protocols for location privacy
Proceedings of ISC'06

http://ddvo.net/papers/Geopriv.html
http://david.von-oheimb.de/cs/papers/Geopriv.pdf