Title
S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems
Abstract
Until recently, cyber-physical systems, especially those with safety-critical properties that manage critical infrastructure (e.g. power generation plants, water treatment facilities, etc.) were considered to be invulnerable against software security breaches. The recently discovered 'W32.Stuxnet' worm has drastically changed this perception by demonstrating that such systems are susceptible to external attacks. Here we present an architecture that enhances the security of safety-critical cyber-physical systems despite the presence of such malware. Our architecture uses the property that control systems have deterministic execution behavior, to detect an intrusion within 0.6 {\mu}s while still guaranteeing the safety of the plant. We also show that even if an attack is successful, the overall state of the physical system will still remain safe. Even if the operating system's administrative privileges have been compromised, our architecture will still be able to protect the physical system from coming to harm.
Year
Venue
Field
2012
CoRR
Architecture,Computer security,Physical system,Computer science,Software security assurance,Harm,Critical infrastructure,Cyber-physical system,Control system,Malware
DocType
Volume
Citations 
Journal
abs/1202.5722
10
PageRank 
References 
Authors
0.84
15
6
Name
Order
Citations
PageRank
Sibin Mohan125625.63
Stanley Bak231016.78
emiliano betti31897.57
Hee-Chul Yun432118.81
L. Sha573761006.47
Marco Caccamo642531.84