David von Oheimb, Jorge Cuéllar. Designing and Verifying Core Protocols for Location Privacy. In Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel, editors, Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings. Volume 4176 of Lecture Notes in Computer Science, pages 502-516, Springer, 2006. [doi]
Abstract is missing.