Paper Info
Title
A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.
Abstract
We proposed a model checking-based method to analyze cyber attack in IoT system. In the method, we first express an IoT system with an agent-oriented Petri net PN2. Next, we apply a model checking tool NuSMV to the analysis of cyber attack in the system. Then, we illustrated it with an application example of an IoT-equipped factory exposed to a cyber attack called DNS cache poisoning.
Year
DOI
Venue
2018
10.1109/GCCE.2018.8574673
IEEE Global Conference on Consumer Electronics
Field
DocType
ISSN
Petri net,Model checking,Cyber-attack,Computer science,Internet of Things,DNS spoofing,Distributed computing
Conference
2378-8143
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
shingo16431.04
Muhammad Syafiq Bin Ab Malek201.35