Forensic readiness of industrial control systems under stealthy attacks

被引:15
作者
Azzam, Mazen [1 ]
Pasquale, Liliana [2 ]
Provan, Gregory [3 ]
Nuseibeh, Bashar [1 ,4 ]
机构
[1] Lero Univ Limerick, Limerick V94 T9PX, Ireland
[2] Lero Univ Coll Dublin, Dublin, Ireland
[3] Lero Univ Coll Cork, Coll Rd, Cork T12 K8AF, Ireland
[4] Open Univ, Milton Keynes MK7 6AA, England
基金
英国工程与自然科学研究理事会; 爱尔兰科学基金会;
关键词
Industrial control systems; Forensic readiness; Digital forensics; Safety checking; Stealthy attacks; Value of information;
D O I
10.1016/j.cose.2022.103010
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Cyberattacks against Industrial Control Systems (ICS) can have harmful physical impacts. Investigating such attacks can be difficult, as evidence could be lost to physical damage. This is especially true with stealthy attacks ; i.e., attacks that can evade detection. In this paper, we aim to engineer Forensic Readiness (FR) in safety-critical, geographically distributed ICS, by proactively collecting potential evidence of stealthy attacks. The collection of all data generated by an ICS at all times is infeasible due to the large volume of such data. Hence, our approach only triggers data collection when there is the possibility for a potential stealthy attack to cause damage. We determine the conditions for such an event by performing predictive, model-based, safety checks. Furthermore, we use the geographical layout of the ICS and the safety predictions to identify data that is at risk of being lost due to damage, i.e., relevant data. Finally, to reduce the control performance overhead resulting from real-time data collection, we select a subset of relevant data to collect by performing a trade-off between expected impact of the attack and the estimated cost of collection. We demonstrate these ideas using simulations of the widely-used Tennessee- Eastman Process (TEP) benchmark. We show that the proposed approach does not miss relevant data and results in a reduced control performance overhead compared to the case when all data generated by the ICS is collected. We also showcase the applicability of our approach in improving the efficiency of existing ICS forensic log analysis tools.
引用
收藏
页数:10
相关论文
共 44 条
[1]   Forensic-by-Design Framework for Cyber-Physical Cloud Systems [J].
Ab Rahman, Nurul Hidayah ;
Glisson, William Bradley ;
Yang, Yanjiang ;
Choo, Kim-Kwang Raymond .
IEEE CLOUD COMPUTING, 2016, 3 (01) :50-59
[2]   Programmable Logic Controller Forensics [J].
Ahmed, Irfan ;
Obermeier, Sebastian ;
Sudhakaran, Sneha ;
Roussev, Vassil .
IEEE SECURITY & PRIVACY, 2017, 15 (06) :18-24
[3]   Live forensics of software attacks on cyber-physical systems [J].
Al-Sharif, Ziad A. ;
Al-Saleh, Mohammed, I ;
Alawneh, Luay M. ;
Jararweh, Yaser, I ;
Gupta, Brij .
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 :1217-1229
[4]  
Albright D., 2011, I SCI INT SECUR, V15
[5]   On Evidence Preservation Requirements for Forensic-Ready Systems [J].
Alrajeh, Dalal ;
Pasquale, Liliana ;
Nuseibeh, Bashar .
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, :559-569
[6]   Digital Forensics in Industrial Control Systems [J].
Altschaffel, Robert ;
Hildebrandt, Mario ;
Kiltz, Stefan ;
Dittmann, Jana .
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11698 :126-134
[7]  
[Anonymous], 2016, P 2016 ACM SIGSAC C
[8]   Tools, Techniques, and Methodologies: A Survey of Digital Forensics for SCADA Systems [J].
Awad, Rima Asmar ;
Beztchi, Saeed ;
Smith, Jared M. ;
Lyles, Bryan ;
Prowell, Stacy .
4TH ANNUAL INDUSTRIAL CONTROL SYSTEM SECURITY WORKSHOP (ICSS 2018), 2018, :1-8
[9]   Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems [J].
Azzam, Mazen ;
Pasquale, Liliana ;
Provan, Gregory ;
Nuseibeh, Bashar .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 19 (06) :3955-3970
[10]   Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks [J].
Azzam, Mazen ;
Pasquale, Liliana ;
Provan, Gregory ;
Nuseibeh, Bashar .
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (02) :735-747