Distance bounding protocols: Authentication logic analysis and collusion attacks

Advances in Information Security

Volumn 30, Issue , 2007, Pages 279-298

  Meadows, Catherine ^a   Poovendran, Radha ^b   Pavlovic, Dusko ^c   Chang, LiWu ^a   Syverson, Paul ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

^b University of Washington   (United States)

^c KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84882715141     PISSN: 15682633     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-46276-9_12     Document Type: Article

References (17)

1. MSSI Completes Phase I1 SBIR Contract for UWB-Based Urban Positioning System ('UPS')-Awarded flM Phase 11 Plus, June 27 2006.
2. S. Brands and D. Chaum. Distance-bounding protocols. In Advances in Cryptology-Eurocrypt '93. LNCS 765, Springer-Verlag, 1995.
3. L. Bussard. Tmst Establishment Protocols for Communicating Devices. PhD thesis, ESNT Paris, October 2004.
4. Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic. An encapsulated authentication logic for reasoning about key distribution protocols. In Joshua Guttman, editor, Proceedings of CSFW 2005, pages 4841. IEEE, 2005.
5. Y. Desmedt. Major security problems with the 'unforgeable' Feige-Shamir proofs of identity and how to overcome them. In Proceedings of Securicom '88,1988.
6. G. Hancke and M. Kuhn. An RFID distance bounding protocol. In Proc. of Securecomm 2005,2005.
7. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565,1978.
8. L. Lazos, S. capkun, and R. Poovendran. ROPE: Robust position estimation in wireless sensor networs. In The Fourth Znternational Conference on Information Processing in Sensor Networks (ZSPN '05), April 2005.
9. L. Lazos and R. Poovendran. SerLoc: Robust localization for wireless sensor network protocols. ACM Transactions on Sensor Networks, 2005.
10. Loukas Lazos and Radha Poovendran. HiRLoc: Hi-resolution robust localization for wireless sensor networks. IEEE Journal on Selected Areas in Communication, 24(2):993-999, February 2006.
11. Catherine Meadows and Dusko Pavlovic. Deriving, attacking and defending the GDOI protocol. In Peter Ryan, Pierangela Samarati, Dieter Gollmann, and Refik Molva, editors, Proc. ESORZCS 2004, volume 3 193 of Lecture Notes in Computer Science, pages 53-72. Springer Verlag, 2004.
12. Catherine Meadows, Paul Syverson, and LiWu Chang. Towards more efficient distance bounding protocols. In SecureComm 2006, August 2006.
13. Dusko Pavlovic and Catherine Meadows. Deriving secrecy properties in key establishment protocols. In Dieter Gollmann and Andrei Sabelfeld, editors, Proceedings of ESORZCS 2006, Lecture Notes in Computer Science. Springer Verlag, 2006. to appear.
14. N. Sastry, U. Shankar, and D. Wagner. Secure verification of location claims. In ACM Workshop on Wireless Security (Wise 2003), pages 48-61. ACM, September 19 2003.
15. D. Singlek and B. Preneel. Location verification using secure distance bounding protocols. In Zntemational Workshop on Wireless and Sensor Network Security. IEEE Computer Society Press, 2005.
16. S. Capkun and J. P. Hubaux. Secure positioning in wireless networks. ZEEE Journal on Selected Areas in Communication, 24(2), February 2006.
17. B. Waters and E. Felten. Secure, private proofs of location. Technical Report TR-667-03, Princeton, 2003.