Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems
复制标题
电力系统中约束虚假数据注入下交流状态估计的自动脆弱性分析
DOI：
10.1109/cdc.2015.7402610
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
H. Shrobe
中科院分区：
文献类型：
--
作者：
Sicun Gao;Le Xie;Armando Solar;D. Serpanos;H. Shrobe
我们介绍了新的方法，自动脆弱性分析电网下的虚假数据注入攻击对非线性（AC）状态估计。我们将分析问题编码为可以由SMT求解器自动解决的逻辑决策问题。为此，我们提出了一种名为“符号传播”的分析技术，它的灵感来自于符号执行方法，用于发现软件程序中的错误和漏洞。我们表明，所提出的方法可以成功地分析脆弱性的交流状态估计在现实的电网模型。我们的方法是推广到许多其他应用，如潮流分析和状态估计。
We introduce new methods for the automatic vulnerability analysis of power grids under false data injection attacks against nonlinear (AC) state estimation. We encode the analysis problems as logical decision problems that can be solved automatically by SMT solvers. To do so, we propose an analysis technique named “symbolic propagation,” which is inspired by symbolic execution methods for finding bugs and exploits in software programs. We show that the proposed methods can successfully analyze vulnerability of AC state estimation in realistic power grid models. Our approach is generalizable towards many other applications such as power flow analysis and state estimation.