Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:10.1109/MC.2019.2913138)

Full text not available from this repository. (Request a copy)

Abstract

Formal methods and machine learning have been successfully applied to detect and classify security threats in a variety of application domains. While both approaches have limitations, we argue for combining the best of them to detect and classify threats in cyberphysical systems.

Item Type:	Article
Uncontrolled Keywords:	Security, Deductive reasoning, Inductive reasoning
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Faculty / School / Research Centre / Research Group:	Faculty of Engineering & Science > School of Computing & Mathematical Sciences (CMS) Faculty of Engineering & Science
Related URLs:	http://www.computer.org/csdl/magazine/co...
Last Modified:	04 Mar 2022 13:06
URI:	http://gala.gre.ac.uk/id/eprint/29522

Actions (login required)

View Item