Association for Computing Machinery (ACM) - Model-Based Security Analysis of a Water Treatment System

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)

Author(s): Eunsuk Kang ; Sridhar Adepu ; Daniel Jackson ; Aditya P. Mathur
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 May 2016
Conference Location: Austin, TX, USA
Conference Date: 16 May 2016
Page(s): 22 - 28
ISBN (Electronic): 978-1-4503-4171-4
DOI: 10.1109/SEsCPS.2016.012

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... View More