Formal modeling and simulation to analyze the dynamics of malware propagation in networks using cell-DEVS
Baha Uddin Kazi, Gabriel Wainer · Communications and Networking Symposium · 2017
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.