A Theoretical Model for Location Privacy in Wireless Personal Area Networks
Dave Singelée, Ford Long Wong, Bart Preneel, Frank Stajano · 2008
Abstract. Location privacy is one of the major security problems in a Wireless Personal Area Network (WPAN). The use of temporary pseudonyms has been suggested by several authors to solve the problem. In this paper, we construct a formal model of location privacy for WPAN. This theoretical framework contains a formal definition of location privacy and models the access of an adversary to the communication channels from a set of oracles. This theoretical model can be used to analyze and evaluate location privacy–enhancing pseudonym schemes proposed in the literature. 1