ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS

ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS
Title:
ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS
Other Titles:
ICSS: Proceedings of the Fifth Annual Industrial Control System Security (ICSS) Workshop
Publication Date:
10 December 2019
Citation:
Abstract:
Industrial control systems (ICS) have been widely adopted in mission-critical infrastructures. However, the increasing prevalence of cyberattacks targeting them has been a critical security concern. On the other hand, the high real-time and availability requirements of ICS limits the applicability of certain available security solutions due to the performance overhead they introduce and the system unavailability they cause. Moreover, scientific metrics (mathematical models) are not available to evaluate the efficiency and resilience of security solutions in the ICS context. Hence, in this paper, we propose ICS-SEA to address the ICS design constraints of Security, Efficiency, and Availability (SEA). Our ICS-SEA formally models the real-time constraints and physical-state resiliency quantitatively based on a typical ICS. We then design two real-world ICS testbeds and evaluate the efficiency and resilience of a few selected security solutions using our defined models. The results show that our ICS-SEA is effective to evaluate security solutions against the SEA conflicting design constraints in ICS.
License type:
PublisherCopyrights
Funding Info:
NRF2014NCR-NCR001-31
Description:
Full paper can be downloaded here: https://doi.org/10.1145/3372318.3372325
ISBN:
978-1-4503-7719-5/19/12
Files uploaded:
File Size Format Action
There are no attached files.