Formal analysis of sensor network encryption protocol (SNEP)

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

Volumn , Issue , 2007, Pages

  Tobarra, Llanos ^a   Cazorla, Diego ^a   Cuartero, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Avispa toolbox; Model checking; Security protocols; SNEP; Wireless sensor

Indexed keywords

ARSENIC; BASE STATIONS; CRYPTOGRAPHY; FORMAL LANGUAGES; HIGH LEVEL LANGUAGES; HYBRID SENSORS; LAWS AND LEGISLATION; MODEL CHECKING; NETWORK PROTOCOLS; PUBLIC KEY CRYPTOGRAPHY; REAL TIME SYSTEMS; RELIABILITY; ROUTING PROTOCOLS; SECURITY OF DATA; SENSORS; WIRELESS NETWORKS; WIRELESS SENSOR NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

AVISPA TOOLBOX; CONFIDENTIAL DATA; CONFIDENTIAL INFORMATION; DATA-INTEGRITY; FORMAL ANALYSIS; KEY-DISTRIBUTION PROTOCOLS; MODEL-CHECKING TOOLS; SECURITY PROPERTIES; SECURITY PROTOCOLS; SENSOR SYSTEMS; SNEP; WIRELESS SENSOR; WIRELESS SENSORS;

SENSOR NETWORKS;

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

References (22)

1. A. Armando, D. A. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. H. Drielsma, P.-C. Héam, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The AVISPA tool for the automated validation of internet security protocols and applications. In K. Etessami and S. K. Rajamani, editors, CAV, volume 3576 of Lecture Notes in Computer Science, pages 281-285. Springer, 2005.
2. M. Backes, S. Mödersheim, B. Pfitzmann, and L. Viganò. Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. In L. Aceto and A. Ingólfsdóttir, editors, FoSSaCS, volume 3921 of Lecture Notes in Computer Science, pages 428-445. Springer, 2006.
3. K. Bhargavan, C. Fournet, and A. D. Gordon. Verifying policy-based security for web services. In V. Atluri, B. Pfitzmann, and P. D. McDaniel, editors, ACM Conference on Computer and Communications Security, pages 268-277. ACM, 2004.
4. H. Chan, A. Perrig, and D. X. Song. Random key predistribution schemes for sensor networks. In IEEE Symposium on Security and Privacy, page 197. IEEE Computer Society, 2003.
5. Y. Chevalier, L. Compagna, J. Cuéllar, P. H. Drielsma, J. Mantovani, S. Mödersheim, and L. Vigneron. A high level protocol specification language for industrial security-sensitive protocols. In Proceedings of Workshop on Specification and Automated Processing of Security Requirements (SAPS), pages 193-205, 2004.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
7. D. Dolev and A. C.-C. Yao. On the security of public key protocols. In FOCS, pages 350-357. IEEE, 1981.
8. L. Eschenauer and V. Gligor. A key-management scheme for distributed sensor networks. In V. Atluri, editor, ACM Conference on Computer and Communications Security, pages 41-47. ACM, 2002.
9. Y. Glouche, T. Genet, O. Heen, and O. Courtay. A security protocol animator tool for AVISPA. In ARTIST2 Workshop on Security Specification and Verification of Embedded Systems, Pisa, May 2006.
10. C. Karlof, N. Sastry, and D. Wagner. TinySec: a link layer security architecture for wireless sensor networks. In Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys 2004, Baltimore, MD, USA, November 3-5, 2004, pages 162-175. ACM, 2004.
11. I.-G. Kim and J.-Y. Choi. Formal verification of pap and eap-md5 protocols in wireless networks: Fdr model checking. aina, 02:264, 2004.
12. G. Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(1-2):53-84, 1998.
13. A. P. Mark Luk, Ghita Mezzour and V. Gligor. Minisec: A secure sensor network communication architecture. In Proceedings of IEEE International Conference on Information Processing in Sensor Networks (IPSN), April 2007.
14. J. C. Mitchell. Finite-state analysis of security protocols. In A. J. Hu and M. Y. Vardi, editors, CAV, volume 1427 of Lecture Notes in Computer Science, pages 71-76. Springer, 1998.
15. A. Perrig, J. A. Stankovic, and D. Wagner. Security in wireless sensor networks. Commun. ACM, 47(6):53-57, 2004.
16. A. Perrig, R. Szewczyk, J. D. Tygar, V. Wen, and D. E. Culler. SPINS: Security protocols for sensor networks. Wireless Networks, 8(5):521-534, 2002.
17. A. Perrig, R. Szewczyk, V. Wen, D. E. Culler, and J. D. Tygar. SPINS: security protocols for sensor netowrks. In Mobile Computing and Networking.
18. M. L. Tobarra, D. Cazorla, F. Cuartero, and G. Diaz. Application of formal methods to the analysis of web services security. In M. Bravetti, L. Kloul, and G. Zavattaro, editors, EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, pages 215-229. Springer, 2005.
19. M. L. Tobarra, D. Cazorla, F. Cuartero, and G. Diaz. Formal verification of TLS handshake and extensions for wireless networks. In Proc. of IADIS International Conference on Applied Computing (AC'06), pages 57-64, San Sebastian, Spain, February 2006. IADIS Press.
20. R. J. Watro, D. Kong, S.-f. Cuti, C. Gardiner, C. Lynn, and P. Kruus. TinyPK: securing sensor networks with public key technology. In S. Setia and V. Swarup, editors, SASN, pages 59-64. ACM, 2004.
21. S. Zhu, S. Setia, and S. Jajodia. LEAP: efficient security mechanisms for large-scale distributed sensor networks. In S. Jajodia, V. Atluri, and T. Jaeger, editors, ACM Conference on Computer and Communications Security, pages 62-72. ACM, 2003.
22. S. Zhu, S. Setia, and S. Jajodia. LEAP : Efficient security mechanisms for large-scale distributed sensor networks. ACM Transactions on Sensor Networks, 2(4):500-528, 2006.