
Modelling and evaluation of the security of cyber‐physical systems using stochastic Petri nets
Author(s) -
Orojloo Hamed,
Abdollahi Azgomi Mohammad
Publication year - 2019
Publication title -
iet cyber‐physical systems: theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 7
ISSN - 2398-3396
DOI - 10.1049/iet-cps.2018.0008
Subject(s) - petri net , stochastic petri net , resilience (materials science) , computer science , cyber physical system , intrusion detection system , computer security , physical security , interval (graph theory) , network security , distributed computing , mathematics , operating system , physics , combinatorics , thermodynamics
This study proposes a stochastic Petri net model for evaluating the security and resilience of cyber‐physical systems (CPSs) in the face of malicious attacks. The basic idea behind the proposed model is to evaluate the security of control loops equipped with intrusion detection systems (IDSs) faced with security attacks. The quantitative analysis is performed in terms of system‐focused quantitative security measures, such as mean time‐to‐failure and availability. By using this model, one can investigate the effects of some attacks and defensive parameters, including the detection interval, the time to physical disruption, and the false‐positive probability of IDSs. This evaluation results can help to improve the security countermeasures of CPSs.