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 different "attack scenarios" found in last years: given a parametric formula for each "attack scenario" and a set of labeled traces, we aim at finding the parameter valuation that validates each template.

翻译：网络攻击可能对关键基础设施产生严重影响,从断电到经济损失,以及对人和环境造成的物质损害。这些攻击的主要目标之一是智能网格。我们在本文件中提议为针对智能计量读数的完整攻击提供一个新的软件检测器。探测器依靠时间逻辑参数的采矿参数来进行完整攻击分类。为此,我们使用信号时间逻辑(STL)来说明时间序列的属性。我们的方法考虑了过去几年发现的不同“攻击情景 ” : 给每个“攻击情景” 的参数公式和一组贴标签的痕迹,我们的目标是找到验证每个模板的参数值。