The security proof of a link-state routing protocol for wireless sensor networks

2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS

Volumn , Issue , 2007, Pages

  Ács, Gergely ^a   Buttyán, Levente ^a   Vajda, István ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SENSORS; LAWS AND LEGISLATION; NETWORK PROTOCOLS; NETWORK ROUTING; ROUTING PROTOCOLS; SENSORS; WIRELESS NETWORKS; WIRELESS SENSOR NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

LINK-STATE ROUTING; RIGOROUS MODELING; SECURITY PROOFS; SENSOR NETWORK ROUTING; SENSOR SYSTEMS;

SENSOR NETWORKS;

EID: 50249162045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MOBHOC.2007.4428765     Document Type: Conference Paper

References (10)

1. G. Ács, L. Buttyán, and I. Vajda. Modelling Adversaries and Security Objectives for Routing Protocols in Wireless Sensor Networks. In Proceedings of ACM SASN, Oct. 2006.
2. G. Ács, L. Buttyán, and I. Vajda. Provably Secure On-demand Source Routing in Mobile Ad Hoc Networks. In IEEE Transactions on Mobile Computing, Vol. 5, No. 11, November 2006.
3. J. Deng, R. Han, and S. Mishra. INSENS: Intrusion-Tolerant Routing in Wireless Sensor Sensor Networks. Technical Report CU-CS-939-02, Department of Computer Science, University of Colorado, November 2002.
4. J. Deng, R. Han, and S. Mishra. A performance evaluation of intrusion-tolerant routing in wireless sensor networks. In IEEE Workshop on Information Processing in Sensor Networks (IPSN), pages 349-364, Apr. 2003.
5. C. Karlof, D. Wagner. Secure routing in wireless sensor networks: attacks and countermeasures. In Ad Hoc Networks, Volume 1, 2003.
6. J. Kong, X. Hong, and M. Gerla. Modeling Ad-hoc Rushing Attack in a Negligibility-based Security Framework. In Proceedings of the 5th ACM Workshop on Wireless Security (WiSe), pp. 55-64, 2006.
7. J. Marshall. An Analysis of the Secure Routing Protocol for mobile ad hoc network route discovery: using intuitive reasoning and formal verification to identify flaws. MSc thesis, Department of Computer Science, Florida State University, April 2003.
8. P. Papadimitratos, Z.J. Haas, and J.-P. Hubaux. How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET. In Proceedings of IEEE CS BroadNets 2006, San Jose, CA, October 2006.
9. S. Yang and J. Baras. Modeling vulnerabilities of ad hoc routing protocols. In Proceedings of the ACM Workshop on Security of Ad Hoc and Sensor Networks, October 2003.
10. A. D. Wood, L. Fang, J. A. Stankovic, and T. He. SIGF: A family of configurable, secure routing protocols for wireless sensor networks. In Proceedings of ACM SASN, Oct. 2006.