Abstract
The authors discuss their research on programmable logic controller (PLC) code analytics, which leverages safety engineering to detect and characterize PLC infections that target physical destruction of power plants. Their approach also draws on control theory, namely the field of engineering and mathematics that deals with the behavior of dynamical systems, to reverse-engineer safety-critical code to identify complex and highly dynamic safety properties for use in the hybrid code analytics approach.
Original language | English (US) |
---|---|
Article number | 7006408 |
Pages (from-to) | 40-47 |
Number of pages | 8 |
Journal | IEEE Security and Privacy |
Volume | 12 |
Issue number | 6 |
DOIs | |
State | Published - Nov 1 2014 |
Keywords
- formal models
- industrial control malware
- model checking
- PLC code analytics
- process control systems
- reverse engineering
- safety-critical code
- security
ASJC Scopus subject areas
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Law