Introduction of a Hybrid Monitor to Cyber-Physical Systems

TL;DR

This paper proposes a hybrid monitor for cyber-physical systems to address unique security threats, demonstrating its effectiveness through theoretical proofs and attack scenarios.

Contribution

It introduces a novel hybrid monitor specifically designed for cyber-physical systems, backed by theoretical security proofs and attack scenario analysis.

Findings

The monitor enhances security against cyber-physical threats.

Shannon entropy proof confirms the monitor's effectiveness.

MSDND proof validates the security properties of the monitor.

Abstract

Computing and technology have vastly changed since the introduction of firewall technology in 1988. The internet has grown from a simple network of networks to a cyber and physical entity that encompasses the entire planet. Cyber-physical systems(CPS) now control most of the day to day operations of human civilization from autonomous cars to nuclear energy plants. While phenomenal, this growth spurt has created new security threats. These are threats that cannot be blocked by a firewall for they are not only cyber but cyber-physical. In light of these new cyber-physical threats, this text proposes a security measure that promises to enhance the security of cyber-physical systems. Using theoretical cyber, physical, and cyber-physical attack scenarios, this text will highlight the need for some sort of monitor in cyber-physical systems as an extra security measure. Additionally, this text will illustrate the efficiency of said monitor using a Shannon entropy proof, and a multiple security domain nondeducibility(MSDND) proof.