Modeling the propagation of malware can help us to understand this phenomenon, and to provide defense strategies for the system. We discuss the use of Cell-DEVS, a formal modeling approach to model malware propagation in different types of networks. We present different models to investigate the propagation of malware in different networks. We first study malware propagation in wireless sensor networks, and we introduce wireless channel access rules. Then, we study malware spread in wired networks. In this model, we introduce an attacker who can generate and update a worm dynamically, and a defender who can develop anti-malware into the network. Finally, we discuss the advantages of the use of formal modeling technique to model different kinds of malware propagation in networks.

Additional Metadata
Keywords CD++, Cell-DEVS, Computer networks, DEVS, Malware, Wireless sensor networks
Conference 20th Communications and Networking Symposium, CNS 2017, Part of the 2017 Spring Simulation Multi-Conference, SpringSim 2017
Kazi, B.U. (Baha Uddin), & Wainer, G.A. (2017). Formal modeling and simulation to analyze the dynamics of malware propagation in networks using Cell-DEVS. In Simulation Series (pp. 57–68).