Carl A. Gunter, Michael J. May, Stuart G. Stubblebine. A Formal Privacy System and Its Application to Location Based Services. In David Martin, Andrei Serjantov, editors, Privacy Enhancing Technologies, 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers. Volume 3424 of Lecture Notes in Computer Science, pages 256-282, Springer, 2004.
Abstract is missing.