Formal Modeling and Simulation to Analyze the Dynamics of Malware Propagation in Networks Using Cell-DEVS

Baha Uddin Kazi , Gabriel A. Wainer
Spring Simulation Conference (SpringSim), Communications and Networking Symposium (CNS) - 2017
Category: Networking and Communications
2nd Category: Cellular Modeling Techniques
Booktitle: Spring Simulation Conference (SpringSim), Communications and Networking Symposium (CNS)
Year : 2017
URL: http://cell-devs.sce.carleton.ca/publications/2017/KW17a

BibTex references

@Conference_Paper\{KW17a,
  author       = "Kazi , Baha Uddin and Wainer, Gabriel A.",
  title        = "Formal Modeling and Simulation to Analyze the Dynamics of Malware Propagation in Networks Using Cell-DEVS",
  category     = "Networking and Communications",
  2nd category = "Cellular Modeling Techniques",
  booktitle    = "Spring Simulation Conference (SpringSim), Communications and Networking Symposium (CNS)",
  year         = "2017",
  url          = "http://cell-devs.sce.carleton.ca/publications/2017/KW17a"
}

Other publications in the database