Model checking ad hoc network routing protocols: ARAN vs. endair A

Proceedings - Software Engineering and Formal Methods, SEFM 2010

Volumn , Issue , 2010, Pages 191-202

  Benetti, Davide ^a   Merro, Massimo ^a   Viganò, Luca ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

Ad hoc networks; Formal protocol analysis; Model checking; Secure routing protocols

Indexed keywords

FORMAL ANALYSIS; MODEL CHECKER; PROTOCOL ANALYSIS; SECURE ROUTING PROTOCOLS; SECURITY PROTOCOLS;

FORMAL METHODS; MODEL CHECKING; NETWORK SECURITY; ROUTING PROTOCOLS;

AD HOC NETWORKS;

EID: 78650504762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2010.24     Document Type: Conference Paper

References (29)

1. T. Clausen and P. Jacquet, "Optimized Link State Routing Protocol (OLSR)," 2003, rFC 3626.
2. C. E. Perkins and P. Bhagwat, "Highly Dynamic Destination- Sequenced Distance-Vector Routing (DSDV) for Mobile Computers," in Proceedings of SIGCOMM, 1994, pp. 234- 244.
3. D. B. Johnson and D. A. Maltz, Dynamic Source Routing in Ad Hoc Wireless Networks. Kluwer Acad. Pub., 1996.
4. C. E. Perkins and E. M. Belding-Royer, "Ad-hoc On-Demand Distance Vector Routing," in Proceedings of WMCSA. IEEE Computer Society Press, 1999, pp. 90-100.
5. L. Buttyan and J. Hubaux, Security and Cooperation in Wireless Networks. Cambridge University Press, 2008.
6. M. G. Zapata and N. Asokan, "Securing Ad Hoc Routing Protocols," in Proceedings of WiSe. ACM, 2002, pp. 1-10.
7. P. Papadimitratos and Z. J. Haas, "Secure Link State Routing for Mobile Ad Hoc Networks," in Proceedings of SAINT'03 Workshops. ACM, 2003, pp. 379-383.
8. Y.-C. Hu, A. Perrig, and D. B. Johnson, "Ariadne: A Secure On-Demand Routing Protocol for Ad Hoc Networks," Wireless Networks, vol. 11, no. 1-2, pp. 21-38, 2005.
9. K. Sanzgiri, D. LaFlamme, B. Dahill, B. N. Levine, C. Shields, and E. M. Belding-Royer, "Authenticated Routing for Ad Hoc Networks," IEEE Journal on Selected Areas in Communication, special issue on Wireless Ad Hoc Networks, vol. 23, no. 3, pp. 598-610, 2005.
10. G. Ács, L. Buttyán, and I. Vajda, "Provably Secure On- Demand Source Routing in Mobile Ad Hoc Networks," IEEE Transaction on Mobile Computing, vol. 5, no. 11, pp. 1533- 1546, 2006.
11. B. Blanchet, "An efficient cryptographic protocol verifier based on prolog rules," in Proceedings of CSF'01. IEEE Computer Society Press, 2001, pp. 82-96.
12. "The AVISPA Tool," http://www.avispa-project.org/.
13. D. Dolev and A. Yao, "On the Security of Public-Key Protocols," IEEE Trans. on Info. Theory, vol. 2, no. 29, 1983.
14. Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, J. Mantovani, S. M̈odersheim, and L. Vigneron, A High Level Protocol Specification Language for Industrial Security- Sensitive Protocols, ser. Automated Software Engineering. Austrian Computer Society, 2004, vol. 180, pp. 193-205.
15. M. L. Tobarra, D. Cazorla, F. Cuartero, G. Díaz, and M.- E. Cambronero, "Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP + TinyPK," Telecommunication Systems, vol. 40, no. 3-4, pp. 91-99, 2009.
16. S. Mödersheim and L. Viganò, "The Open-Source Fixed- Point Model Checker for Symbolic Analysis of Security Protocols," in FOSAD 2008/2009, ser. LNCS 5705. Springer-Verlag, 2009, pp. 166-194.
17. S. Yang and J. S. Baras, "Modeling vulnerabilities of ad hoc routing protocols," in Proceedings of SASN. ACM, 2003, pp. 12-20.
18. L. Buttyán and I. Vajda, "Towards provable security for ad hoc routing protocols," in Proceedings of SASN. ACM, 2004, pp. 94-105.
19. G. Ács, L. Buttyán, and I. Vajda, "Provable security of ondemand distance vector routing in wireless ad hoc networks," in Proceedings of ESAS, ser. LNCS 3813. Springer, 2005, pp. 113-127.
20. Ács G., Buttyán L., Vajda I., "Provably secure on-demand source routing in mobile ad hoc networks," IEEE Trans. Mob. Comput., vol. 5, no. 11, pp. 1533-1546, 2006.
21. S. Nanz and C. Hankin, "A Framework for Security Analysis of Mobile Wireless Networks," Theoretical Computer Science, vol. 367, no. 1-2, pp. 203-227, 2006.
22. J. Godskesen, "A Calculus for Mobile Ad Hoc Networks," in Proceedings of Coordination'97, ser. LNCS, vol. 4467. Springer-Verlag, 2007, pp. 132-150.
23. C. Karlof, N. Sastry, and D. Wagner, "Tinysec: a link layer security architecture for wireless sensor networks," in Proceedings of SenSys'04. ACM, 2004, pp. 162-175.
24. S. Zhu, S. Setia, and S. Jajodia, "Leap - efficient security mechanisms for large-scale distributed sensor networks," in Proceedings of SenSys. ACM, 2003, pp. 308-309. (Pubitemid 40682362)
25. R. J. Watro, D. Kong, S. fen Cuti, C. Gardiner, C. Lynn, and P. Kruus, "Tinypk: securing sensor networks with public key technology," in Proceedings of SASN, 2004, pp. 59-64.
26. L. Tobarra, D. Cazorla, and F. Cuartero, "Formal Analysis of Sensor Network Encryption Protocol (SNEP)," in Proceedings of WSNS 2007. IEEE CS, 2007.
27. A. Perrig, R. Szewczyk, V. Wen, D. Culler, and J. D. Tygar, "Spins: Security Protocols for Sensor Networks," Wireless Networks, vol. 8, no. 5, pp. 521-534, 2002.
28. M. Heen, G. Guette, and T. Genet, "On the Unobservability of a Trust relation in Mobile Ad Hoc Networks," in Proceedings of WISTP'09, ser. Lecture Notes in Computer Science, vol. 5746. Springer, 2009, pp. 1-11.
29. M. Arnaud, V. Cortier, and S. Delaune, "Modeling and Verifying Ad Hoc Routing Protocols," in Proceedings of CSF'10. IEEE Computer Society Press, 2010.