Towards more efficient distance bounding protocols for use in sensor networks

2006 Securecomm and Workshops

Volumn , Issue , 2006, Pages

  Meadows, Catherine ^a   Syverson, Paul ^a   Chang, Li Wu ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTANCE BOUNDING; DISTANCE ESTIMATION; FORMAL ANALYSIS; MESSAGE COMPLEXITY; ON TIME; SECURE PROTOCOLS; SECURITY PROPERTIES;

CHLORINE COMPOUNDS; ESTIMATION; SENSOR NETWORKS; SENSORS;

LAWS AND LEGISLATION;

EID: 50049102546     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECCOMW.2006.359532     Document Type: Conference Paper

References (13)

1. MSSI Completes Phase II SBIR Contract for UWB-Based Urban Positioning System ('UPS') - Awarded $1M Phase II Plus, June 27 2006.
2. S. Brands and D. Chaum. Distance-bounding protocols. InAdvances in Cryptology - Eurocrypt '93. LNCS 765, Springer- Verlag, 1995.
3. L. Bussard. Trust Establishment Protocols for Communicating Devices. PhD thesis, ESNT Paris, Oct. 2004.
4. S. Čapkun and J. P. Hubaux. Secure positioning in wireless networks. IEEE Journal on Selected Areas in Communication, 24(2), February 2006.
5. 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 48-61. IEEE Computer Society Press, 2005.
6. Y. Desmedt. Major security problems with the 'unforgeable' Feige-Shamir proofs of identity and how to overcome them. In Proc. Securicom '88, 1988.
7. G. Hancke and M. Kuhn. An RFID distance bounding protocol. In Proc. of Securecomm 2005, 2005.
8. L. Lamport. The temporal logic of actions. Acm TOPLAS, 16(3), 1994.
9. L. Lazas, S. Čapkun, and R. Poovendran. ROPE: Robust position estimation in wireless sensor networs. In The Fourth International Conference on Information Processing in Sensor Networks (ISPN '05), April 2005.
10. C. Meadows and D. Pavlovic. Deriving, attacking and defending the GDOI protocol. In Proc. ESORICS 2004, pages 33-53. Springer-Verlag LNCS 3193, 2004.
11. Adrian Perrig, Ran Canetti, J. D. Tygar, and Dawn Song. The TESLA broadcast authentication protocol. RSA Cryptobytes, 5(2), Summer/Fall 2002.
12. D. Singleé and B. Preneel. Location verification using secure distance bounding protocols. In International Workshop on Wireless and Sensor Network Security. IEEE Computer Society Press, 2005.
13. B. Waters and E. Felten. Secure, private proofs of location. Technical Report TR-667-03, Princeton, 2003.