CRII: CPS: Noninvasive Security Analysis for Smart Grid Energy Management System

CRII：CPS：智能电网能源管理系统的无创安全分析

• 批准号: 1929183
• 负责人: Mohammad Rahman
• 金额: $ 13.01万
• 依托单位: Florida International University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-01-01 至 2022-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1929183&HistoricalAwards=false
• 关键词: CRII; CPS; Noninvasive; Security; Analysis

A smart grid system is complicated because it combines new and old technologies and is dependent on different cyber and physical components. Because it is complicated, a smart grid is more likely to be attacked due to misconfigurations and lacking security measures. Therefore, the secure and resilient operation of smart grids must be ensured by identifying potential threats and their impact and finding affordable solutions to defend against identified threats. This research aims to achieve these goals through the development of an efficient security analysis framework for the Energy Management System (EMS), a core smart grid component. The intellectual merit of the proposed research lies in advancing the science of security analysis for Cyber-Physical Systems (CPS) by integrating different theories, such as formal verification, model simulation, data and control flow, and security concepts, into the CPS components. This work will contribute to the CPS security science by: (a) developing a comprehensive formal model for stealthy attack verifications and (b) designing an efficient mechanism for systematically performing the impact-oriented threat analysis. Although this research targets EMS in smart grids, the approach is broad enough to be generalized for other CPS control loops that utilize measurement-based estimation.CPS, like power grids, are critical to the national infrastructure, requiring that they be secure and dependable, especially with the increase of cyberwarfare. This research aims to address the urgent need to analyze CPS security. In addition to the technical project contributions, graduate and undergraduate level course modules on CPS security will also be developed. Underrepresented and minority students will be encouraged, through local and outreach activities, to participate in the project. Results of this project will be widely publicized in the research community through peer-reviewed journals articles and conference papers.

智能电网系统很复杂，因为它结合了新旧技术，并且依赖于不同的网络和物理组件。由于其复杂性，智能电网更容易因配置错误和缺乏安全措施而受到攻击。因此，必须通过识别潜在威胁及其影响并找到经济实惠的解决方案来防御已识别的威胁，以确保智能电网的安全和弹性运行。本研究旨在通过为智能电网核心组件能源管理系统（EMS）开发高效的安全分析框架来实现这些目标。所提出的研究的智力价值在于通过将不同的理论（例如形式验证、模型模拟、数据和控制流以及安全概念）集成到网络物理系统（CPS）组件中来推进网络物理系统（CPS）的安全分析科学。这项工作将通过以下方式为 CPS 安全科学做出贡献：(a) 开发用于隐形攻击验证的全面正式模型；(b) 设计一种有效的机制来系统地执行面向影响的威胁分析。尽管这项研究针对智能电网中的 EMS，但该方法足够广泛，可以推广到利用基于测量的估计的其他 CPS 控制回路。CPS 与电网一样，对国家基础设施至关重要，要求它们安全可靠，尤其是随着网络战的增加。本研究旨在解决分析 CPS 安全性的迫切需要。除了技术项目贡献外，还将开发有关 CPS 安全的研究生和本科课程模块。通过当地和外展活动，将鼓励代表性不足的学生和少数族裔学生参与该项目。该项目的结果将通过同行评审的期刊文章和会议论文在研究界广泛宣传。

项目成果

Security design against stealthy attacks on power system state estimation: A formal approach

针对电力系统状态估计隐形攻击的安全设计：一种形式化方法

• DOI: 10.1016/j.cose.2019.03.022
• 发表时间: 2019
• 期刊: Computers & Security
• 影响因子: 5.6
• 作者: Rahman, Mohammad Ashiqur;Datta, Amarjit;Al-Shaer, Ehab
• 通讯作者: Al-Shaer, Ehab

Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines

• DOI: 10.1109/iceccs51672.2020.00019
• 发表时间: 2020-10
• 期刊: 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
• 作者: M. Rahman;Rahat Masum;Matthew O. Anderson;S. Drager

iDDAF: An Intelligent Deceptive Data Acquisition Framework for Secure Cyber-Physical Systems

• DOI: 10.1007/978-3-030-90022-9_17
• 发表时间: 2021
• 作者: Md Hasan Shahriar;M. Rahman;Nur Imtiazul Haque;Badrul Chowdhury;S. Whisenant

PHASE: Security Analyzer for Next-Generation Personalized Smart Healthcare System

PHASE：下一代个性化智能医疗系统的安全分析仪

• 发表时间: 2022
• 期刊: IEEE International Conference on Digital Health (ICDH
• 作者: Haque, Nur Imtiazul;Rahman, Mohammad Ashiqur.
• 通讯作者: Rahman, Mohammad Ashiqur.

False Data Injection Attack Against Power System Small-Signal Stability

• DOI: 10.1109/pesgm46819.2021.9638112
• 发表时间: 2021-02
• 期刊: 2021 IEEE Power & Energy Society General Meeting (PESGM)
• 作者: Mohamadsaleh Jafari;M. Rahman;S. Paudyal