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.
Type de document :
Communication dans un congrès
Masakatsu Nishigaki; Audun Jøsang; Yuko Murayama; Stephen Marsh. 4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. Springer, IFIP Advances in Information and Communication Technology, AICT-321, pp.79-94, 2010, Trust Management IV. 〈10.1007/978-3-642-13446-3_6〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01061320
Contributeur : Hal Ifip <>
Soumis le : lundi 27 novembre 2017 - 15:24:15
Dernière modification le : mardi 28 novembre 2017 - 01:17:04

Fichier

ThayerSG10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

F. Javier Thayer, Vipin Swarup, Joshua D. Guttman. Metric Strand Spaces for Locale Authentication Protocols. Masakatsu Nishigaki; Audun Jøsang; Yuko Murayama; Stephen Marsh. 4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. Springer, IFIP Advances in Information and Communication Technology, AICT-321, pp.79-94, 2010, Trust Management IV. 〈10.1007/978-3-642-13446-3_6〉. 〈hal-01061320〉

Partager

Métriques

Consultations de la notice

68

Téléchargements de fichiers

6