CPS: TTP Option: Synergy: A Verifiable Framework for Cyber- Physical Attacks and Countermeasures in a Resilient Electric Power Grid

电网是一个网络物理系统（CPS），面临着网络攻击造成灾难性破坏的惊人高风险。然而，建模网络攻击，评估后果，并制定适当的对策需要一个详细的，现实的，易于处理的电力CPS运营模型。主要的障碍是缺乏对复杂的传统专有系统模型的访问，而这些系统是电网几十年来所依赖的。该项目旨在克服这些挑战，开发一个攻击验证（可验证）软件框架，该框架将捕获足够详细的电力系统操作。网络威胁将使用该框架通过合理的理论方法和开源商业模拟引擎的组合进行验证，该引擎可通过独特的过渡到实践（TTP）选项访问。这项研究的重点是四个基本的和相关的推力：（一）确定类的网络攻击与可量化的物理后果，并制定基于检测的对策;（二）确定对分布式电网运营的通信攻击，并制定信息共享对策;（iii）开发一个可验证的软件框架，模拟电网与（i）和（ii）推力同步的时空运行验证攻击模型，评估对策，并开发新的弹性协议;以及（iv）TTP选项，与来自IncSys和PowerData的行业领先专家合作，开发商业级开源电力仿真软件包，以集成和测试推力（i）至（iii）的攻击和对策，并为北美电力可靠性理事会（NERC）开发劳动力培训课程认证这项研究还包括通过亚利桑那科学实验室计划与K-12学生的接触。

The electric power grid, a cyber-physical system (CPS), faces an alarmingly high risk of catastrophic damage from cyber-attacks. However, modeling cyber-attacks, evaluating consequences, and developing appropriate countermeasures require a detailed, realistic, and tractable model of electric power CPS operations. The primary barrier is the lack of access to models for the complex legacy proprietary systems upon which the electric power grid has relied for decades. This project aims to overcome these challenges with the development of an attack-verifying (verifiable) software framework that will capture the electric power system operations in adequate detail. Cyber threats will be verified using this framework through a combination of sound theoretical methods and an open-source commercial simulation engine accessible via a unique transition to practice (TTP) option. This research focuses on four fundamental and related thrusts: (i) identifying classes of cyber-attacks with quantifiable physical consequences and developing detection-based countermeasures; (ii) identifying communication attacks on distributed grid operations and developing information-sharing countermeasures; (iii) developing a verifiable software framework that models the spatio-temporal operations of the electric grid in tandem with thrusts (i) and (ii) to verify attack models, evaluate countermeasures, and develop new resiliency protocols; and (iv) a TTP option, in collaboration with industry-leading experts from IncSys and PowerData, to develop commercial grade open source power simulation software packages to integrate and test the attacks and countermeasures of Thrusts (i) through (iii) as well as develop workforce training curriculum for North American Electric Reliability Council (NERC) certification. This research also includes engagement with K-12 students via the Arizona Science Laboratory program.