Secure reboots for real-time cyber-physical systems

Loading...
Thumbnail Image
Authors
Banerjee, Vijay
Hounsinou, Sena
Olufowobi, Habeeb
Hasan, Monowar
Bloom, Gedare
Advisors
Issue Date
2022-11-07
Type
Conference paper
Keywords
Real-time systems , Cyber-physical systems , Secure boot
Research Projects
Organizational Units
Journal Issue
Citation
Vijay Banerjee, Sena Hounsinou, Habeeb Olufowobi, Monowar Hasan, and Gedare Bloom. 2022. Secure Reboots for Real-Time Cyber-Physical Systems. In Proceedings of the 4th Workshop on CPS & IoT Security and Privacy (CPSIoTSec'22). Association for Computing Machinery, New York, NY, USA, 27–33. https://doi.org/10.1145/3560826.3563384
Abstract

Cyber-Physical Systems (CPS) such as industrial control systems, automobiles, and medical devices often consist of applications with real-time properties. Due to the safety-critical nature of the application domain, multiple security and fault tolerance approaches have been studied and used in safety-critical CPS. One of the popular approaches for CPS safety is the Simplex architecture, which has also been used recently to strengthen the security of the CPS. The simplex architecture supports the integration of safe controllers for dependable systems, and when combined with periodic restarts, the architecture can reset the CPS into a safe state after each restart. However, these restart-based systems do not protect the system against attacks that persist beyond a restart. Such attacks can be mitigated using secure boot, which is a widely used approach for securing general computing systems but is not used in real-time systems due to the overhead of the boot process. This paper presents an analytical framework and derives feasibility conditions to enable secure reboots in real-time applications. The schedulability conditions presented can be used to design and integrate secure reboot into Simplex-based CPS. Our analysis shows that secure boot adds a deterministic and low-performance overhead, which can be as low as 0.08%.

Table of Contents
Description
Attribution 4.0 International (CC BY 4.0) This is a human-readable summary of (and not a substitute for) the license. Disclaimer. You are free to: Share: copy and redistribute the material in any medium or format. Adapt: remix, transform, and build upon the material for any purpose, even commercially. This license is acceptable for Free Cultural Works. The licensor cannot revoke these freedoms as long as you follow the license terms. Under the following terms: Attribution: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. No additional restrictions. You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
Click on the DOI to access the publisher's version of this conference paper.
Publisher
Association for Computing Machinery
Journal
Book Title
Series
CPSIoTSec'22: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy
2022
PubMed ID
DOI
ISSN
EISSN