A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets.

Alvi Jawad Luke Newton Ashraf Matrawy Jason Jaskolka

Published in: ICC (2022)

Keyphrases

formal analysis
management system
formal methods
countermeasures
cloud computing
location information
big data
ban logic
data model
open source
network traffic