Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Special Section: Intelligent, Smart and Scalable Cyber-Physical Systems
Guest editors: V. Vijayakumar, V. Subramaniyaswamy, Jemal Abawajy and Longzhi Yang
Article type: Research Article
Authors: Umadevi, K.S.a | Balakrishnan, P.a; * | Kousalya, G.b
Affiliations: [a] School of Computer Science and Engineering, Vellore Institute of Technology, Vellore, Tamilnadu, India | [b] Department of Computer Science Engineering, Coimbatore Institute of Technology, Coimbatore, Tamilnadu, India
Correspondence: [*] Corresponding author. P. Balakrishnan, School of Computer Science and Engineering, Vellore Institute of Technology, Vellore, Tamilnadu, India. E-mail: [email protected].
Abstract: Operational Technology (OT) often refers to the industrial control systems which are used to monitor and control the devices and processes of critical infrastructure like, water treatment plant, power grid and sewage systems. Conventionally, these OT systems are completely isolated from Information Technology (IT) infrastructure to protect their processes and devices against cyber-attacks. However, the convergence of IT and OT is inevitable to improvise the remote management of physical devices and to enhance the production by incorporating data-driven decision making by accessing and analyzing their real-time data. To achieve this, the isolated OT systems and devices need to be accessed using Internet. However, this interconnection leads both the sensor and control data of OT systems vulnerable to cyber-attacks. This research work extends our previous intrusion detection system that identifies anomalies which are deviated from process-invariants in secured water treatment (SWaT) test-bed data obtained from Singapore University of Technology and Design (SUTD). Additionally, it proposes process-invariants based timed automata wherein the attack and its detection model are represented as timed automata. The proposed system is implemented and validated using UPPAAL, a tool for validating real-time systems represented as networks of timed automata. The results conclude that the proposed system effectively identifies the attacks considered thereby recommending the timed automata as an operational tool for detecting the data-integrity attacks in critical infrastructures. The highly reported attacks that include level indicators, motorized valves, pressure indicators and analyzer indicators are detected successfully by the proposed system. Using the results, Stage 1 and Stage 3 are highly vulnerable.
Keywords: Cyber physical system, intrusion detection system, timed automata, UPPAAL
DOI: 10.3233/JIFS-169961
Journal: Journal of Intelligent & Fuzzy Systems, vol. 36, no. 5, pp. 4005-4015, 2019
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]