Skip to Main content Skip to Navigation
Conference papers

Metric Strand Spaces for Locale Authentication Protocols

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01061320
Contributor : Hal Ifip <>
Submitted on : Monday, November 27, 2017 - 3:24:15 PM
Last modification on : Tuesday, November 28, 2017 - 1:17:04 AM

File

ThayerSG10.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

128

Files downloads

158