@inproceedings{ec3911aa56bd450e817072bec11a104e,
title = "S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems",
abstract = "The recently discovered 'W32.Stuxnet' worm has drastically changed the perception that systems managing critical infrastructure are invulnerable to software security 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 real-time) execution behavior to detect an intrusion within 0.6 μs while still guaranteeing the safety of the plant. We also show that even if an attacker is successful (or gains access to the operating system's administrative privileges), the overall state of the physical system still remains safe.",
keywords = "S3A, cyber-physical systems, intrusion detection, real-time systems, safety-critical systems, secure simplex, stuxnet",
author = "Sibin Mohan and Stanley Bak and Emiliano Betti and Heechul Yun and Lui Sha and Marco Caccamo",
year = "2013",
doi = "10.1145/2461446.2461456",
language = "English (US)",
isbn = "9781450319614",
series = "HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013",
pages = "65--74",
booktitle = "HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013",
note = "2013 2nd ACM International Conference on High Confidence Networked Systems, HiCoNS 2013, as Part of CPSWeek 2013 ; Conference date: 09-04-2013 Through 11-04-2013",
}