Metric Strand Spaces for Locale Authentication Protocols - Trust Management IV Access content directly
Conference Papers Year : 2010

Metric Strand Spaces for Locale Authentication Protocols


Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent services use trustworthy device locations, namely locations that are both accurate and recent. These properties are captured by a security goal called locale authentication whereby an entity can authenticate the physical location of a device, even in the presence of malicious adversaries. In this paper, we present a systematic technique for verifying that location discovery protocols satisfy this security goal. We base our work on the strand space theory which provides a framework for determining which security goals a cryptographic protocol achieves. We extend this theory with a metric that captures the geometric properties of time and space. We use the extended theory to prove that several prominent location discovery protocols including GPS do not satisfy the locale authentication goal. We also analyze a location discovery protocol that does satisfy the goal under some reasonable assumptions.
Fichier principal
Vignette du fichier
ThayerSG10.pdf (349.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01061320 , version 1 (27-11-2017)





F. Javier Thayer, Vipin Swarup, Joshua D. Guttman. Metric Strand Spaces for Locale Authentication Protocols. 4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.79-94, ⟨10.1007/978-3-642-13446-3_6⟩. ⟨hal-01061320⟩
46 View
44 Download



Gmail Facebook X LinkedIn More