Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic. (arXiv:2209.06722v1 [cs.CR])

Cyber-attacks can have severe impacts on critical infrastructures, from
outages to economical loss and physical damage to people and environment. One
of the main targets of these attacks is the smart grid. In this paper, we
propose a new software detector for integrity attacks targeting smart meter
readings. The detector relies upon mining parameters of temporal logic
specifications for integrity attack classification. To this end, we use Signal
Temporal Logic (STL) for specifying properties over time series. Our approach
considers …

attacks detection grid integrity logic signal smart temporal