Anzeige
Erschienen in:
2018 | OriginalPaper | Buchkapitel
Detecting PLC Program Malicious Behaviors Based on State Verification
verfasst von : Tianyou Chang, Qiang Wei, Wenwen Liu, Yangyang Geng
Erschienen in: Cloud Computing and Security
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
At present, the security of Programmable Logic Controller (PLC) codes mainly depends on the detection of code defects. However, there is no detection of malicious behaviors that violates the safety requirements. In this paper, we propose an approach to detect the malicious behaviors of PLC programs based on state verification. In particular, avoid state space explosion by merging the same output state of the same scan cycle and removing the output states that have been analyzed in previous scan cycles. For timer, we deduce all output states of a timer based on the analysis of part output state transition relationships. Moreover, the sequence of input vector that violates the safety requirement could be obtained when malicious behaviors are found. Based on experimental results, our method takes less than 5 min for the worst case, it can be proved that our method can detect PLC malicious behaviors effectively and accurately.