Some applications need to acquire geographic location information about certain resources or entities. These applications include navigation, emergency services, management of equipment in the field, and other location-based services. The main issues arising from generating, using, and passing location information about users are privacy related, see [51] and [65].
Geopriv has not yet defined (and perhaps will not define) a protocol that will be interesting for our purposes. Nevertheless, Siemens, being strongly involved in the activities of the group, may provide to AVISPA a version of Protocol Geopriv-nym (9), a pseudonym agreement protocol that could be used in a geopriv architecture.
The properties of the pseudonym agreement, together with the underlying geopriv protocol, give rise to the following Problems: first, a temporal logic property, namely, the location of the user should not be sent to anyone without prior user consent; and second a privacy property, namely the Location Server (an involved third party) does not learn the real identities of the user or the location recipient.
Protocol Geopriv-nym should provide Authn + ID Protection (Eavesdropper and Peer) (G1,2,13,14).