• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on dependable and secure computing >Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis
【24h】

Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis

机译：隐身攻击对最优电流的影响：一种模拟驱动的正式分析

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Optimal Power Flow (OPF) is a crucial part of the Energy Management System (EMS) as it determines individual generator outputs that minimize generation cost while satisfying transmission, generation, and system level operating constraints. OPF relies on a core EMS routine, namely state estimation, which computes system states, principally bus voltages/phase angles at the buses. However, state estimation is vulnerable to false data injection attacks in which an adversary can alter certain measurements to corrupt the estimator's solution without being detected. It is also shown that such a stealthy attack on state estimation can increase the OPF cost. However, the impact of stealthy attacks on the economic and secure operation of the system cannot be comprehensively analyzed due to the very large size of the attack space. In this paper, we present a hybrid framework that combines formal analytics with Simulink-based system modeling to investigate the feasibility of stealthy attacks and their influence on OPF in a time-efficient manner. The proposed approach is illustrated on synthetic case studies demonstrating the impact of stealthy attacks in different attack scenarios. We also evaluate the impact analysis time by running experiments on standard IEEE test cases and the results show significant scalability of the framework.
机译：最佳功率流量（OPF）是能量管理系统（EMS）的重要组成部分，因为它确定各个发生器输出，以最小化生成成本，同时满足传输，生成和系统级操作约束。 OPF依赖于核心EMS例程，即状态估计，其计算系统状态，主要是总线上的总线电压/相位角。然而，状态估计很容易受到假数据注入攻击，其中对手可以改变某些测量以破坏估计器的解决方案而不检测到。还表明，对国家估计的这种隐身攻击可以提高OPF成本。然而，由于攻击空间的大小非常大，无法全面地分析系统对系统经济和安全运行的影响。在本文中，我们提出了一种混合框架，将正式分析与基于Simulink的系统建模相结合，以衡量隐秘攻击的可行性及其对opf的时间效率。拟议的方法在综合性研究中说明了证明隐身攻击在不同攻击情景中的影响。我们还通过在标准IEEE测试用例上运行实验来评估影响分析时间，结果显示了框架的显着可扩展性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号