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

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.

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

False data injection attacks against contingency analysis in power grids: poster

针对电网应急分析的虚假数据注入攻击：海报

• DOI: 10.1145/3317549.3326323
• 发表时间: 2019
• 期刊: ACM Conference on Security and Privacy in Wireless and Mobile Networks
• 作者: Rahman, M. Ashiqur;Shahriar, Md Hasan;Masum, Rahat
• 通讯作者: Masum, Rahat