Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK

Telecommunication Systems

Volumn 40, Issue 3-4, 2009, Pages 91-99

  Tobarra, Llanos ^a   Cazorla, Diego ^a   Cuartero, Fernando ^a   Díaz, Gregorio ^a   Cambronero, Emilia ^a  

^a INSTITUTO DE INVESTIGACIÓN EN INFORMÁTICA DE ALBACETE   (Spain)

Author keywords

AVISPA toolbox; Model checking; Security protocols; Wireless sensor

Indexed keywords

AVISPA TOOLBOX; COMPLEMENTARY PROTOCOLS; CONFIDENTIAL DATA; FORMAL ANALYSIS OF SECURITY PROTOCOLS; MODEL CHECKING TOOLS; SECURITY PROPERTIES; SECURITY PROTOCOLS; WIRELESS SENSOR;

FORMAL LANGUAGES; MODEL CHECKING; WIRELESS SENSOR NETWORKS;

NETWORK SECURITY;

EID: 78650508247     PISSN: 10184864     EISSN: 15729451     Source Type: Journal    
DOI: 10.1007/s11235-008-9131-z     Document Type: Conference Paper

References (22)

1. Armando, A., Basin, D. A., Boichut, Y., Chevalier, Y., Compagna, L., Cuéllar, J., Drielsma, P. H., Héam, P. C., Kouchnarenko, O., Mantovani, J., Mödersheim, S., von Oheimb, D., Rusinowitch,M., Santiago, J., Turuani, M., Viganò, L., & Vigneron, L. (2005). The AVISPA tool for the automated validation of internet security protocols and applications. In K. Etessami & S. K. Rajamani (Eds.), Lecture notes in computer science: Vol. 3576. CAV (pp. 281-285). Berlin: Springer.
2. Backes, M., Mödersheim, S., Pfitzmann, B., & Viganò, L. (2006). Symbolic and cryptographic analysis of the secure WSReliableMessaging scenario. In L. Aceto&A. Ingólfsdóttir (Eds.), Lecture notes in computer science: Vol. 3921. FoSSaCS (pp. 428- 445). Berlin: Springer.
3. Bellare, M., Desai, A., Jokipii, E., & Rogaway, P. (1997). A concrete security treatment of symmetric encryption. In Proceedings of 38th annual symposium on foundations of computer science (pp. 394-403). New York: IEEE.
4. Bellare, M., Kilian, J., & Rogaway, P. (2000). The security of the cipher block chaining message authentication code. Journal of Computer and Systems Sciences, 61(3), 362-399.
5. Bhargavan, K., Fournet, C., & Gordon, A. D. (2004). Verifying policy-based security for web services. In V. Atluri, B. Pfitzmann, & P. D. McDaniel (Eds.), ACM conference on computer and communications security (pp. 268-277). New York: Assoc. Comput. Mach.
6. Chan, H., Perrig, A., & Song, D. X. (2003). Random key predistribution schemes for sensor networks. In IEEE symposium on security and privacy (p. 197). Los Alamitos: IEEE Comput. Soc.
7. Chevalier, Y., Compagna, L., Cuéllar, J., Drielsma, P. H., Mantovani, J., Mödersheim, S., & Vigneron, L. (2004) A high level protocol specification language for industrial security-sensitive protocols. In Proceedings of workshop on specification and automated processing of security requirements (SAPS) (pp. 193-205).
8. Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge: MIT Press.
9. Dolev, D., & Yao, A. C. C. (1981). On the security of public key protocols. In FOCS (pp. 350-357). New York: IEEE.
10. Eschenauer, L., & Gligor, V. (2002). A key-management scheme for distributed sensor networks. In V. Atluri (Ed.), ACM conference on computer and communications security (pp. 41-47). New York: Assoc. Comput. Mach.
11. Glouche, Y., Genet, T., Heen, O., & Courtay, O. (2006). A security protocol animator tool for AVISPA. In ARTIST2 workshop on security specification and verification of embedded systems, Pisa.
12. Heather, J., Lowe, G.,&Schneider, S. (2003). How to prevent type flaw attacks on security protocols. Journal of Computer Security, 11(2), 217-244.
13. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D. E., & Pister, K. S. J. (2000). System architecture directions for networked sensors. In Inter. conf. on architectural support for programming languages and operating systems, ASPLOS (pp. 93-104).
14. Karlof, C., Sastry, N., & Wagner, D. (2004). TinySec: a link layer security architecture for wireless sensor networks. In Proceedings of the 2nd international conference on embedded networked sensor systems, SenSys 2004 (pp. 162-175). Baltimore, MD, USA, November 3-5, 2004. New York: Assoc. Comput. Mach.
15. Lowe, G. (1998). Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(1-2), 53-84.
16. Mitchell, J. C. (1998). Finite-state analysis of security protocols. In A. J. Hu & M. Y. Vardi (Eds.), Lecture notes in computer science: Vol. 1427. CAV (pp. 71-76). Berlin: Springer.
17. Perrig, A., Stankovic, J. A.,&Wagner, D. (2004). Security in wireless sensor networks. Communications of the ACM, 47(6), 53-57.
18. Perrig, A., Szewczyk, R., Tygar, J. D., Wen, V., & Culler, D. E. (2002). SPINS: Security protocols for sensor networks. Wireless Networks, 8(5), 521-534.
19. Tobarra, M. L., Cazorla, D., Cuartero, F., & Diaz, G. (2005). Application of formal methods to the analysis of web services security. In M. Bravetti, L. Kloul, & G. Zavattaro (Eds.), Lecture notes in computer science: Vol. 3670. EPEW/WS-FM (pp. 215- 229). Berlin: Springer.
20. Tobarra, M. L., Cazorla, D., Cuartero, F., & Diaz, G. (2006). Formal verification of TLS handshake and extensions for wireless networks. In Proc. of IADIS international conference on applied computing (AC'06) (pp. 57-64). San Sebastian: IADIS.
21. Watro, R., Kong, D., Cuti, S. F., Gardiner, C., Lynn, C., & Kruus, P. (2004). Tinypk: securing sensor networks with public key technology. In SASN'04: Proceedings of the 2nd ACM workshop on security of ad hoc and sensor networks (pp. 59-64). New York: Assoc. Comput. Mach. doi:10.1145/1029102. 1029113, http://portal.acm.org/citation.cfm?id=1029113.
22. Zhu, S., Setia, S., & Jajodia, S. (2003). LEAP: efficient security mechanisms for large-scale distributed sensor networks. In S. Jajodia, V. Atluri, & T. Jaeger (Eds.), ACM conference on computer and communications security (pp. 62-72). New York: Assoc. Comput. Mach.