Model-based security analysis of a water treatment system
Name
Model-based security.pdf
Size
476.44 KB
Format
Adobe PDF
Checksum (MD5)
9b9d5807025b290a10a6ec7b1d35f137
Author(s)
Kang, Eunsuk
Adepu, Sridhar
Jackson, Daniel
Mathur, Aditya P.
Date Issued
May 2016
Journal
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16
Publisher
Association for Computing Machinery
Citation
Kang, Eunsuk, et al. "Model-Based Security Analysis of a Water Treatment System." SEsCPS '16 Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 14-22 May, 2016, Austin, Texas, ACM Press, 2016, pp. 22–28.
Version
Author's final manuscript
Abstract
An approach to analyzing the security of a cyber-physical system (CPS) is proposed, where the behavior of a physical plant and its controller are captured in approximate models, and their interaction is rigorously checked to discover potential attacks that involve a varying number of compromised sensors and actuators. As a preliminary study, this approach has been applied to a fully functional water treatment testbed constructed at the Singapore University of Technology and Design. The analysis revealed previously unknown attacks that were confirmed to pose serious threats to the safety of the testbed, and suggests a number of research challenges and opportunities for applying a similar type of formal analysis to cyber-physical security.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/2897035.2897041
