Secure and Resilient Control Design for Cloud Enabled Networked Control Systems

Zhiheng Xu, Quanyan Zhu
{"title":"Secure and Resilient Control Design for Cloud Enabled Networked Control Systems","authors":"Zhiheng Xu, Quanyan Zhu","doi":"10.1145/2808705.2808708","DOIUrl":null,"url":null,"abstract":"Cloud computing enables resource-constrained Networked Control Systems (NCSs) to outsource heavy computations to a cloud server with massive computational resources. However, Cloud-enabled NCSs (CE-NCSs) introduce new challenges arising from the trustworthiness of the cloud and the cyber-physical connections between the control system and the cloud. To address these concerns, this paper presents a secure and resilient mechanism, which employs customized cryptographic tools to encrypt the data of a control problem and develops verification methods to guarantee the integrity of the computational results from the cloud. In addition, our design enables a Switching Mode Mechanism (SMM) to provide resiliency to the NCSs when the system successively fails to receive correct control inputs from the cloud. We demonstrate that the mechanism can achieve the data confidentiality and integrity, guarantee the stability, and enhance the resiliency. Finally, an Unmanned Aerial Vehicle (UAV) example is used to corroborate these properties.","PeriodicalId":144851,"journal":{"name":"Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"40","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2808705.2808708","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 40

Abstract

Cloud computing enables resource-constrained Networked Control Systems (NCSs) to outsource heavy computations to a cloud server with massive computational resources. However, Cloud-enabled NCSs (CE-NCSs) introduce new challenges arising from the trustworthiness of the cloud and the cyber-physical connections between the control system and the cloud. To address these concerns, this paper presents a secure and resilient mechanism, which employs customized cryptographic tools to encrypt the data of a control problem and develops verification methods to guarantee the integrity of the computational results from the cloud. In addition, our design enables a Switching Mode Mechanism (SMM) to provide resiliency to the NCSs when the system successively fails to receive correct control inputs from the cloud. We demonstrate that the mechanism can achieve the data confidentiality and integrity, guarantee the stability, and enhance the resiliency. Finally, an Unmanned Aerial Vehicle (UAV) example is used to corroborate these properties.
支持云的网络控制系统的安全和弹性控制设计
云计算使资源受限的网络控制系统(NCSs)能够将繁重的计算任务外包给具有大量计算资源的云服务器。然而,云支持的NCSs (CE-NCSs)带来了新的挑战,这些挑战来自云的可信度以及控制系统与云之间的网络物理连接。为了解决这些问题,本文提出了一种安全且具有弹性的机制,该机制采用定制的加密工具对控制问题的数据进行加密,并开发验证方法以保证来自云的计算结果的完整性。此外,我们的设计使切换模式机制(SMM)能够在系统连续无法接收来自云的正确控制输入时为NCSs提供弹性。实验证明,该机制能够实现数据的保密性和完整性,保证数据的稳定性,增强数据的弹性。最后,以无人机(UAV)为例验证了这些特性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信