Skip navigation

Security of cyberphysical systems: Chaining induction and deduction

Security of cyberphysical systems: Chaining induction and deduction

Khan, Muhammad Taimoor ORCID: 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:https://doi.org/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 / Department / Research Group: Faculty of Liberal Arts & Sciences
Faculty of Liberal Arts & Sciences > School of Computing & Mathematical Sciences (CAM)
Related URLs:
Last Modified: 26 Nov 2020 23:01
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
Selected for GREAT 2019: None
Selected for REF2021: None
URI: http://gala.gre.ac.uk/id/eprint/29522

Actions (login required)

View Item View Item