论文标题
使用信号时间逻辑检测智能电网完整性攻击
Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic
论文作者
论文摘要
网络攻击可能会对关键基础设施产生严重影响，从中断到对人和环境的经济损失以及身体损害。这些攻击的主要目标之一是智能电网。在本文中，我们为针对智能电表读数的完整性攻击提出了一个新的软件检测器。检测器依靠时间逻辑规格的采矿参数来进行完整性攻击分类。 To this end, we use Signal Temporal Logic (STL) for specifying properties over time series.我们的方法考虑了去年发现的不同的“攻击场景”：给定每个“攻击方案”和一组标记的痕迹的参数公式，我们旨在查找验证每个模板的参数估值。
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.
