David von Oheimb Jorge Cuéllar Designing and Verifying Core Protocols for Location Privacy. 502-516 2006 conf/isw/2006 ISC http://dx.doi.org/10.1007/11836810_36 db/conf/isw/isc2006.html#OheimbC06