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

Haque, Nur Imtiazul, Rahman, Mohammad Ashiqur, Uluagac, Selcuk. (2024). Formal threat analysis of machine learning-based control systems: A study on smart healthcare systems . COMPUTERS & SECURITY, 139 10.1016/j.cose.2024.103709

cited authors

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

authors

publication date

  • April 1, 2024

published in

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Cyber-physical systems
  • Cyberattacks
  • FRAMEWORK
  • Formal model
  • INTERNET
  • Internet of things
  • MODEL
  • Machine learning
  • SUPPORT
  • Science & Technology
  • Technology
  • Threat analysis

Digital Object Identifier (DOI)

publisher

  • ELSEVIER ADVANCED TECHNOLOGY

volume

  • 139