Modeling tools for detecting DoS attacks in WSNs

Security and Communication Networks

Volumn 6, Issue 4, 2013, Pages 420-436

  Ballarini, Paolo ^a   Mokdad, Lynda ^b   Monnet, Quentin ^b  

^a ECOLE CENTRALE PARIS   (France)

^b UNIVERSITÉ PARIS EST CRÉTEIL   (France)

Author keywords

Detection method; DoS attacks; Modeling tools; Statistical model checking

Indexed keywords

ENERGY UTILIZATION; MODEL CHECKING; SENSOR NODES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

COMPROMISED NODES; DETECTION COVERAGE; DETECTION METHODS; DYNAMIC SOLUTIONS; HYBRID AUTOMATONS; MODELING TOOL; STATISTICAL MODEL CHECKING; WIRELESS SENSOR NETWORK (WSNS);

DENIAL-OF-SERVICE ATTACK;

EID: 84875648770     PISSN: 19390114     EISSN: 19390122     Source Type: Journal    
DOI: 10.1002/sec.630     Document Type: Article

References (34)

1. Anastasi G, Conti M, Di Francesco M, Passarella A. Energy conservation in wireless sensor networks: a survey. Ad Hoc Networks 2009; 7:537-668.
2. Li B, Batten L. Using mobile agents to recover from node and database compromise in path-based DoS attacks in wireless sensor networks. Journal of Network and Computer Applications 2009; 32:377-387.
3. Claycomb WR, Shin D. A novel node level security policy framework for wireless sensor networks. Journal of Network and Computer Applications 2011; 34:418-428.
4. Simplicio MA Jr., De Oliveira BT, Barreto PSLM, Margi CB, Carvalho TCMB, Naslund M. Comparison of authenticated-encryption schemes in wireless sensor networks, 36th Annual IEEE Conference on Local Computer Networks, Bonn, Germany, 2011.
5. Hu F, Sharma N. Security considerations in ad hoc sensor networks. Ad Hoc Networks 2005; 3:69-89.
6. Ai J, Turgut D, Bölöni L. A cluster-based energy balancing scheme in heterogeneous wireless sensor networks. Proceedings of International Conference on Networking, April 2005; 467-474.
7. Heinzelman WR, Chandrakasan A, Balakrishnan H. Energy-efficient communication protocol for wireless microsensor networks. Proceedings of the IEEE Hawaii International Conference on System Sciences, 2000.
8. Ozdemir S, Xiao Y. Secure data aggregation in wireless sensor networks: a comprehensive overview. Computer Networks 2009; 53:2022-2037.
9. Younis O, Fahmy S. HEED: a hybrid, energy-efficient distributed clustering approach for ad hoc sensor networks. IEEE Transactions on Mobile Computing 2004; 3(4):366-379.
10. Fouchal S, Lavallée I. Fast and flexible unsupervised clustering algorithm based on ultrametric properties. Proceedings of the 7th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Miami, USA, 2011.
11. Liang Y. Efficient temporal compression in wireless sensor networks, 36th Annual IEEE Conference on Local Computer Networks, Bonn, Germany, 2011.
12. Lai GH, Chen CM. Detecting denial of service attacks in sensor networks. Proceedings of the Fourth IASTED International Conference on Communication, Network and Information Security (CNIS'07); 109-115.
13. Guechari M, Mokdad L, Tan S. Dynamic solution for detecting denial of service attacks in wireless sensor networks. ICC June 2012.
14. Yahya B, Ben-Othman J. Energy efficient and QoS aware medium access control for wireless sensor networks. Concurrency and Computation: Practice and Experience 2010; 22(10):1252-1266.
15. Ben-Othman J, Yahya B. Energy efficient and QoS based routing protocol for wireless sensor networks. Journal of Parallel and Distributed Computing 2010; 70(8):849-857.
16. Mohi M, Movaghar A, Zadeh PM. A Bayesian game approach for preventing DoS attacks in wireless sensor networks. International Conference on Communications and Mobile Computing, 2009.
17. Ho J-W. Distributed Detection of Node Capture Attacks in Wireless Networks. In Smart Wireless Sensor Networks, Chinh HD, Tan YK (eds). 2010. Available from: http://www.intechopen.com/books/smart-wireless-sensor-networks/distributed-detection-of-node-capture-attacks-in-wireless-sensor-networks
18. Misra S, Krishna PV, Abraham KI, Sasikumar N, Fredun S. An adaptive learning routing protocol for the prevention of distributed denial of service attacks in wireless mesh networks. Computers and Mathematics with Applications 2010; 60:294-306.
19. Perrig A, Szewczyk R, Wen V, Culler D, Tygar JD. SPINS: security protocols for sensor networks. Mobile Computing and Networking: Rome, Italy, 2001.
20. Oliveira LB, Ferreirac A, Vilaça MA, et al. SecLEACH - on the security of clustered sensor networks. Signal Processing 2007; 87:2882-2895.
21. Islam MH, Nadeem K, Khan SA. Optimal sensor placement for detection against distributed denial of service attacks. Pakistan Journal of Engineering and Applied Sciences 2009; 4:80-92.
22. Son JH, Luo H, Seo SW. Denial of service attack-resistant flooding authentication in wireless sensor networks. Computer Communications 2010; 33:1531-1542.
23. Hsieh MY, Huang YM, Chao HC. Adaptive security design with malicious node detection in cluster-based sensor networks. Computer Communications 2007; 30:2385-2400.
24. Handy MJ, Haase M, Timmerman D. Low energy adaptive clustering hierarchy with deterministic cluster-head selection. Proceedings of the 4th IEEE Conference on Mobile and Wireless Communications Networks, Stockholm, Sweden, 2002.
25. Ballarini P, Djafr H, Duflot M, Haddad S, Pekergin N. HASL: an expressive language for statistical verification of stochastic models. Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (ValueTOOLS11), Cachan, France, 2011.
26. The Network Simulator NS-2. http://www.isi.edu/nsnam/ns/
27. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995. http://www.di.unito.it/~greatspn/GSPN-Wiley/
28. Ben-Othman J, Bessaoud K, Bui A, Pilard L. Self-stabilizing algorithm for efficient topology control in Wireless Sensor Networks. Elsevier, Journal of Computational Science (JOCS) In press.
29. Fouchal H, Habbas Z. Distributed backtracking algorithm based on tree decomposition over wireless sensor networks. Concurrency and Computation: Practice and Experience, September 2011. DOI: 10.1002/cpe.1804.
30. Ben-Othman J, Saavedra Benitez Y. IBC-HWMP: a novel secure identity-based cryptography-based scheme for Hybrid Wireless Mesh Protocol for IEEE 802.11s. In Concurrency and Computation: Practice and Experience. Wiley, In press.
31. Dessart N, Fouchal H, Hunel P, Vidot N. Anomaly detection with wireless sensor networks. The 9th IEEE International Symposium on Network Computing and Applications (NCA 2010), IEEE CS Press, Cambridge, MA, USA, July 2010.
32. Bernard T, Fouchal H. A low energy consumption MAC protocol for WSN. IEEE ICC 2012, Ottawa, Canada, June 2012.
33. Kwiatkowska M, Norman G, Parker D. Stochastic model checking, In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), LNCS (Tutorial Volume): Bertinoro, Italy, Vol. 4486, 2007.
34. Clarke EM, Grumberg O, Peled DA. Model Checking. MIT Press, 1999. http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3730