Skip to content

Modelling a Mirai-like botnet using networks of timed automata in UPPAAL

Notifications You must be signed in to change notification settings

LukeANewton/SYSC5500-project

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

94 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SYSC5500-project

This is the term project for SYSC5500 (Designing Secure Networking and Computer Systems) at Carleton University for the Fall 2020 semester. The main goal of the project is to model the Mirai botnet based on the behavior described in two papers [1, 2] and observe how different factors in a network of IoT devices affect botnet propagation.

Contributors

  • Alvi Jawad
  • Luke Newton

Repository Structure

  • the project-proposal folder contains our original project proposal and associated files
  • the progress-presentation folder contains the progress presentation delivered halfway through the project, along with a snapshot of the model and data analysis at the time of the presentation
  • the final-presentation folder contains the final presentation delivered at end of the project
  • the data-analysis folder contains the version of the model used for final presentation and final report results, scripts written to aid in generating results, and the experiment results themselves
  • Slide_Format_DarkRED.pptx is the formatting for the slides of the progress and final presentations

References

  1. M. Antonakakis, T. April, M. Bailey, M. Bernhard, E. Bursztein, J. Cochran, Z. Durumeric, J. A. Halderman, L. Invernizzi, M. Kallitsis, D. Kumar, C. Lever, Z. Ma, J. Mason, D. Menscher, C. Seaman, N. Sullivan, K. Thomas, and Y. Zhou, “Understanding the mirai botnet,” in 26th USENIX Security Symposium (USENIX Security 17), (Vancouver, BC), pp. 1093–1110, USENIX Association, Aug. 2017
  2. G. Kambourakis, C. Kolias and A. Stavrou, "The Mirai botnet and the IoT Zombie Armies," MILCOM 2017 - 2017 IEEE Military Communications Conference (MILCOM), Baltimore, MD, 2017, pp. 267-272, doi: 10.1109/MILCOM.2017.8170867.

About

Modelling a Mirai-like botnet using networks of timed automata in UPPAAL

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published