Formal threat analysis of machine learning-based control systems: A study on smart healthcare systems

Haque, Nur Imtiazul; Rahman, Mohammad Ashiqur; Uluagac, Selcuk

doi:10.1016/j.cose.2024.103709

Title: Formal threat analysis of machine learning-based control systems: A study on smart healthcare systems

Journal Article · 01 April 2024 · Computers & Security

DOI: https://doi.org/10.1016/j.cose.2024.103709 · OSTI ID:2283776

;

; Uluagac, Selcuk

View Accepted Manuscript (Publisher)

Cite

Export

Save

Sponsoring Organization:: USDOE

OSTI ID:: 2283776

Journal Information:: Computers & Security, Journal Name: Computers & Security Vol. 139 Journal Issue: C; ISSN 0167-4048

Publisher:: ElsevierCopyright Statement

Country of Publication:: Netherlands

Language:: English

References (28)

CAPTAIN: Community-based Advanced Persistent Threat Analysis in IT Networks Ramaki, Ali Ahmadian; Ghaemi-Bafghi, Abbas; Rasoolzadegan, Abbas International Journal of Critical Infrastructure Protection, Vol. 42 https://doi.org/10.1016/j.ijcip.2023.100620	journal	September 2023
A service-based framework for pharmacogenomics data integration Wang, Kun; Bai, Xiaoying; Li, Jing Enterprise Information Systems, Vol. 4, Issue 3 https://doi.org/10.1080/17517575.2010.498525	journal	August 2010
Learning representations by back-propagating errors Rumelhart, David E.; Hinton, Geoffrey E.; Williams, Ronald J. Nature, Vol. 323, Issue 6088 https://doi.org/10.1038/323533a0	journal	October 1986
Privacy Preservation in WSN for Healthcare Application Sharma, Nidhi; Bhatt, Ravindara Procedia Computer Science, Vol. 132 https://doi.org/10.1016/j.procs.2018.05.040	journal	January 2018
A Survey on Security and Privacy Issues in Modern Healthcare Systems Newaz, Akm Iqtidar; Sikder, Amit Kumar; Rahman, Mohammad Ashiqur ACM Transactions on Computing for Healthcare, Vol. 2, Issue 3 https://doi.org/10.1145/3453176	journal	July 2021
IoTChecker: A data-driven framework for security analytics of Internet of Things configurations Mohsin, Mujahid; Anwar, Zahid; Zaman, Farhat Computers & Security, Vol. 70 https://doi.org/10.1016/j.cose.2017.05.012	journal	September 2017
Integration of Wireless Sensor and Actuator Nodes With IT Infrastructure Using Service-Oriented Architecture Kyusakov, Rumen; Eliasson, Jens; Delsing, Jerker IEEE Transactions on Industrial Informatics, Vol. 9, Issue 1 https://doi.org/10.1109/TII.2012.2198655	journal	February 2013
Induction of decision trees Quinlan, J. R. Machine Learning, Vol. 1, Issue 1, p. 81-106 https://doi.org/10.1007/BF00116251	journal	March 1986
Machine Learning for Healthcare: On the Verge of a Major Shift in Healthcare Epidemiology Wiens, Jenna; Shenoy, Erica S. Clinical Infectious Diseases, Vol. 66, Issue 1 https://doi.org/10.1093/cid/cix731	journal	August 2017
Pattern Analysis of Oxygen Saturation Variability in Healthy Individuals: Entropy of Pulse Oximetry Signals Carries Information about Mean Oxygen Saturation Bhogal, Amar S.; Mani, Ali R. Frontiers in Physiology, Vol. 8 https://doi.org/10.3389/fphys.2017.00555	journal	August 2017
Estimating the Support of a High-Dimensional Distribution Schölkopf, Bernhard; Platt, John C.; Shawe-Taylor, John Neural Computation, Vol. 13, Issue 7 https://doi.org/10.1162/089976601750264965	journal	July 2001
The effectiveness of a 0.05 blood alcohol concentration (BAC) limit for driving in the United States Fell, James C.; Voas, Robert B. Addiction, Vol. 109, Issue 6 https://doi.org/10.1111/add.12365	journal	October 2013
Density-based clustering of big probabilistic graphs Halim, Zahid; Khattak, Jamal Hussain Evolving Systems, Vol. 10, Issue 3 https://doi.org/10.1007/s12530-018-9223-2	journal	March 2018
Empirical Study on Applications of Data Mining Techniques in Healthcare Kaur, Harleen; Wasan, Siri Krishan Journal of Computer Science, Vol. 2, Issue 2 https://doi.org/10.3844/jcssp.2006.194.200	journal	February 2006
Toward a Robust Estimation of Respiratory Rate From Pulse Oximeters Pimentel, Marco A. F.; Johnson, Alistair E. W.; Charlton, Peter H. IEEE Transactions on Biomedical Engineering, Vol. 64, Issue 8 https://doi.org/10.1109/TBME.2016.2613124	journal	August 2017
PIGNUS: A Deep Learning model for IDS in industrial internet-of-things Jayalaxmi, P. L. S.; Saha, Rahul; Kumar, Gulshan Computers & Security, Vol. 132 https://doi.org/10.1016/j.cose.2023.103315	journal	September 2023
Evidence identification in IoT networks based on threat assessment Akatyev, Nikolay; James, Joshua I. Future Generation Computer Systems, Vol. 93 https://doi.org/10.1016/j.future.2017.10.012	journal	April 2019
Nearest neighbor pattern classification Cover, T.; Hart, P. IEEE Transactions on Information Theory, Vol. 13, Issue 1, p. 21-27 https://doi.org/10.1109/TIT.1967.1053964	journal	January 1967
Support-vector networks Cortes, Corinna; Vapnik, Vladimir Machine Learning, Vol. 20, Issue 3 https://doi.org/10.1007/BF00994018	journal	September 1995
A Detection Framework Against CPMA Attack Based on Trust Evaluation and Machine Learning in IoT Network Liu, Liang; Xu, Xiangyu; Liu, Yulei IEEE Internet of Things Journal, Vol. 8, Issue 20 https://doi.org/10.1109/JIOT.2020.3047642	journal	October 2021
Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications Souri, Alireza; Mohammed, Amin Salih; Yousif Potrus, Moayad IEEE Access, Vol. 8 https://doi.org/10.1109/ACCESS.2020.2967629	journal	January 2020
University of Queensland Vital Signs Dataset Liu, David; Görges, Matthias; Jenkins, Simon A. Anesthesia & Analgesia, Vol. 114, Issue 3 https://doi.org/10.1213/ANE.0b013e318241f7c0	journal	March 2012
WiDom: A Dominance Protocol for Wireless Medium Access Pereira, Nuno; Andersson, Bjrn; Tovar, Eduardo IEEE Transactions on Industrial Informatics, Vol. 3, Issue 2 https://doi.org/10.1109/TII.2007.898461	journal	May 2007
Analysis of a complex of statistical variables into principal components. Hotelling, H. Journal of Educational Psychology, Vol. 24, Issue 6 https://doi.org/10.1037/h0071325	journal	January 1933
Random Forests Breiman, Leo Machine Learning, Vol. 45, Issue 1, p. 5-32 https://doi.org/10.1023/A:1010933404324	journal	January 2001
A preliminary assessment of vital-signs-integrated patient-assisted intravenous opioid analgesia (VPIA) for postsurgical pain Sng, Ban Leong; Tan, Daryl Jian’an; Tan, Chin Wen BMC Anesthesiology, Vol. 20, Issue 1 https://doi.org/10.1186/s12871-020-01060-4	journal	June 2020
Assessing IoT enabled cyber-physical attack paths against critical systems Stellios, Ioannis; Kotzanikolaou, Panayiotis; Grigoriadis, Christos Computers & Security, Vol. 107 https://doi.org/10.1016/j.cose.2021.102316	journal	August 2021
Secure and Resilient Artificial Intelligence of Things: A HoneyNet Approach for Threat Detection and Situational Awareness Tan, Liang; Yu, Keping; Ming, Fangpeng IEEE Consumer Electronics Magazine, Vol. 11, Issue 3 https://doi.org/10.1109/MCE.2021.3081874	journal	May 2022

Similar Records

Cyber threat assessment of machine learning driven autonomous control systems of nuclear power plants

Journal Article · 2023 · Progress in Nuclear Energy · OSTI ID:2279000

Yockey, Patience; Erickson, Anna; Spirito, Christopher

A Novel Simulation-Based Framework for Sensor Error Impact Analysis in Smart Building Systems: A Case Study for a Demand-Controlled Ventilation System

Journal Article · 2020 · Applied Energy · OSTI ID:1602692

Lu, Xing; O'Neill, Zheng; Li, Yanfei; +1 more

Machine learning-based real-time monitoring system for smart connected worker to improve energy efficiency

Journal Article · 2021 · Journal of Manufacturing Systems · OSTI ID:1977354

Bian, Shijie; Li, Chen; Fu, Yongwei; +4 more

Title: Formal threat analysis of machine learning-based control systems: A study on smart healthcare systems

Citation Formats

References (28)

Similar Records

Related Subjects