Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems

Fardin Abdi, Chien Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Physical plants that form the core of the Cyber-Physical Systems (CPS) often have stringent safety requirements. Recent attacks have shown that cyber intrusions can result in the safety of such plants being compromised-thus leading to physical damage. In this paper, we demonstrate how to ensure safety of the plant even when the system gets compromised. We leverage the fact that due to inertia, an adversary cannot destabilize the physical system (even with complete control of the software) in an instantaneous manner; in fact, it often takes finite (even considerable time). This property, coupled with em system-wide restarts is used to enforce a secure (and safe) operational window for the system. A hardware root-of-trust, further decreases the ability for attackers to compromise our mechanisms. We demonstrate our approach using two realistic systems- A 3 degree of freedom (3-DoF) helicopter and a simulated warehouse temperature control unit. We also show that our system is robust against multiple emulated attacks-essentially the attackers are not able to compromise the safety of the CPS.

Original languageEnglish (US)
Title of host publicationProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages10-21
Number of pages12
ISBN (Print)9781538653012
DOIs
StatePublished - Aug 21 2018
Event9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018 - Porto, Portugal
Duration: Apr 11 2018Apr 13 2018

Publication series

NameProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018

Other

Other9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
CountryPortugal
CityPorto
Period4/11/184/13/18

Keywords

  • Control
  • Cyber Physical Systems
  • Guaranteed Security
  • Security

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Control and Optimization

Fingerprint Dive into the research topics of 'Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this