在关键信息物理系统中实现自配置运行时状态验证

Abel O. Gomez Rivera, Deepak K. Tosh
{"title":"在关键信息物理系统中实现自配置运行时状态验证","authors":"Abel O. Gomez Rivera, Deepak K. Tosh","doi":"10.1109/SmartGridComm52983.2022.9961037","DOIUrl":null,"url":null,"abstract":"Cyber-Physical Systems (CPS) commonly monitor and manage critical cyber-enabled services such as distributed power generation architectures. Traditional CPS consists of heterogeneous devices that monitor physical systems processes generally stochastic and complex to model through state-of-the-art methods such as time-series analysis. Due to the stochas-tic nature, assurance of continuous runtime state integrity is challenging. Furthermore, adversaries exploit the lack of robust security mechanisms to deploy false sequential attacks that target the physical state of system processes. Therefore, this work designs runtime-system-state integrity assurance techniques necessary to enhance the security of critical CPS such as Small Modular Reactors (SMR). In this work, we propose a Reinforce-ment Learning(RL)-based Runtime-system-state Integrity (RRI) framework that aims to enable self-configurable runtime-system-states in SMR. The RRI framework generally addresses false sequential attacks by enabling fine-grained detail continuous runtime state integrity assurance through state-of-the-art RL and Machine Learning (ML) methods. A proof-of-concept of the RRI framework has been evaluated in an emulated SMR. This work demonstrates the RRI framework's performance regarding the RL methods' convergence time. Overall, the state-of-the-art RL methods converge in 1,000 episodes. We implemented the emulated experimental SMR through the open-source OpenAI, scikit-learn, and Stable Baselines3 platforms. The open-source platforms enable the development and comparison of RL and ML methods by enabling standard communication between baselines algorithms and ecosystems. The experimental results discussed in this work provide essential information that help understand complex and stochastic environments. Furthermore, we demon-strated that the RRI framework could provide high-fidelity CPS models that can provide helpful insights into understanding the system-state behavior of complex system processes.","PeriodicalId":252202,"journal":{"name":"2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Achieving Self-Configurable Runtime State Verification in Critical Cyber-Physical Systems\",\"authors\":\"Abel O. Gomez Rivera, Deepak K. Tosh\",\"doi\":\"10.1109/SmartGridComm52983.2022.9961037\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Cyber-Physical Systems (CPS) commonly monitor and manage critical cyber-enabled services such as distributed power generation architectures. Traditional CPS consists of heterogeneous devices that monitor physical systems processes generally stochastic and complex to model through state-of-the-art methods such as time-series analysis. Due to the stochas-tic nature, assurance of continuous runtime state integrity is challenging. Furthermore, adversaries exploit the lack of robust security mechanisms to deploy false sequential attacks that target the physical state of system processes. Therefore, this work designs runtime-system-state integrity assurance techniques necessary to enhance the security of critical CPS such as Small Modular Reactors (SMR). In this work, we propose a Reinforce-ment Learning(RL)-based Runtime-system-state Integrity (RRI) framework that aims to enable self-configurable runtime-system-states in SMR. The RRI framework generally addresses false sequential attacks by enabling fine-grained detail continuous runtime state integrity assurance through state-of-the-art RL and Machine Learning (ML) methods. A proof-of-concept of the RRI framework has been evaluated in an emulated SMR. This work demonstrates the RRI framework's performance regarding the RL methods' convergence time. Overall, the state-of-the-art RL methods converge in 1,000 episodes. We implemented the emulated experimental SMR through the open-source OpenAI, scikit-learn, and Stable Baselines3 platforms. The open-source platforms enable the development and comparison of RL and ML methods by enabling standard communication between baselines algorithms and ecosystems. The experimental results discussed in this work provide essential information that help understand complex and stochastic environments. Furthermore, we demon-strated that the RRI framework could provide high-fidelity CPS models that can provide helpful insights into understanding the system-state behavior of complex system processes.\",\"PeriodicalId\":252202,\"journal\":{\"name\":\"2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SmartGridComm52983.2022.9961037\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SmartGridComm52983.2022.9961037","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

信息物理系统(CPS)通常监控和管理关键的网络服务,如分布式发电架构。传统的CPS由异构设备组成,这些设备通过时间序列分析等最先进的方法来监测物理系统过程,这些过程通常是随机和复杂的。由于系统的随机性,保证系统连续运行状态的完整性具有一定的挑战性。此外,攻击者利用缺乏健壮的安全机制来部署以系统进程的物理状态为目标的错误顺序攻击。因此,本工作设计了必要的运行时-系统状态完整性保证技术,以提高关键CPS(如小型模块化反应堆(SMR))的安全性。在这项工作中,我们提出了一个基于强化学习(RL)的运行时系统状态完整性(RRI)框架,旨在实现SMR中自配置的运行时系统状态。RRI框架通常通过最先进的RL和机器学习(ML)方法实现细粒度细节的连续运行时状态完整性保证,从而解决假顺序攻击。RRI框架的概念验证已经在模拟SMR中进行了评估。这项工作证明了RRI框架在RL方法的收敛时间方面的性能。总的来说,最先进的强化学习方法集中在1000集。我们通过开源的OpenAI、scikit-learn和Stable Baselines3平台实现了模拟实验SMR。开源平台通过支持基线算法和生态系统之间的标准通信,使RL和ML方法的开发和比较成为可能。在这项工作中讨论的实验结果提供了必要的信息,有助于理解复杂和随机的环境。此外,我们证明了RRI框架可以提供高保真的CPS模型,可以为理解复杂系统过程的系统状态行为提供有用的见解。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Achieving Self-Configurable Runtime State Verification in Critical Cyber-Physical Systems
Cyber-Physical Systems (CPS) commonly monitor and manage critical cyber-enabled services such as distributed power generation architectures. Traditional CPS consists of heterogeneous devices that monitor physical systems processes generally stochastic and complex to model through state-of-the-art methods such as time-series analysis. Due to the stochas-tic nature, assurance of continuous runtime state integrity is challenging. Furthermore, adversaries exploit the lack of robust security mechanisms to deploy false sequential attacks that target the physical state of system processes. Therefore, this work designs runtime-system-state integrity assurance techniques necessary to enhance the security of critical CPS such as Small Modular Reactors (SMR). In this work, we propose a Reinforce-ment Learning(RL)-based Runtime-system-state Integrity (RRI) framework that aims to enable self-configurable runtime-system-states in SMR. The RRI framework generally addresses false sequential attacks by enabling fine-grained detail continuous runtime state integrity assurance through state-of-the-art RL and Machine Learning (ML) methods. A proof-of-concept of the RRI framework has been evaluated in an emulated SMR. This work demonstrates the RRI framework's performance regarding the RL methods' convergence time. Overall, the state-of-the-art RL methods converge in 1,000 episodes. We implemented the emulated experimental SMR through the open-source OpenAI, scikit-learn, and Stable Baselines3 platforms. The open-source platforms enable the development and comparison of RL and ML methods by enabling standard communication between baselines algorithms and ecosystems. The experimental results discussed in this work provide essential information that help understand complex and stochastic environments. Furthermore, we demon-strated that the RRI framework could provide high-fidelity CPS models that can provide helpful insights into understanding the system-state behavior of complex system processes.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Scheduling Electric Vehicle Fleets as a Virtual Battery under Uncertainty using Quantile Forecasts Graph Neural Network Based Prediction of Data Traffic in Cyber-Physical Smart Power Grids A Digital Twin Integrated Cyber-physical Systems for Community Energy Trading Analysis of Message Authentication Solutions for IEC 61850 in Substation Automation Systems Smart Home/Office Energy Management based on Individual Data Analysis through IoT Networks
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1