Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems
Recent public disclosures on attacks targeting the power industry showed that savvy attackers are now capable of occulting themselves from conventional rule-based network intrusion detection systems (IDS), bringing about serious threats. In order to leverage the work of rule-based IDS, this paper pr...
Main Authors: | Mohamad El Hariri, Samy Faddel, Osama Mohammed |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2018-07-01
|
Series: | Sensors |
Subjects: | |
Online Access: | http://www.mdpi.com/1424-8220/18/8/2478 |
Similar Items
-
IoT-Based Digital Twin for Energy Cyber-Physical Systems: Design and Implementation
by: Ahmed Saad, et al.
Published: (2020-09-01) -
Detecting and Localizing Cyber-Physical Attacks in Water Distribution Systems without Records of Labeled Attacks
by: Mashor Housh, et al.
Published: (2022-08-01) -
A Distributed Observer-Based Cyber-Attack Identification Scheme in Cooperative Networked Systems under Switching Communication Topologies
by: Anass Taoufik, et al.
Published: (2020-11-01) -
On the Vulnerabilities Due to Manipulative Zero-Stealthy Attacks in Cyber-Physical Systems
by: Takumi Shinohara, et al.
Published: (2017-11-01) -
On specification-based cyber-attack detection in smart grids
by: Ömer Sen, et al.
Published: (2022-09-01)