Journal
COMPUTER
Volume 52, Issue 7, Pages 72-75Publisher
IEEE COMPUTER SOC
DOI: 10.1109/MC.2019.2913138
Keywords
-
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available