Skip to Main content Skip to Navigation
New interface
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
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, November 27, 2017 - 3:24:15 PM
Last modification on : Tuesday, November 28, 2017 - 1:17:04 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads