ABATe: Automatic Behavioral Abstraction Technique to Detect Anomalies in Smart Cyber-Physical Systems

Sandeep Nair Narayanan, Anupam Joshi, Ranjan Bose. ABATe: Automatic Behavioral Abstraction Technique to Detect Anomalies in Smart Cyber-Physical Systems. IEEE Trans. Dependable Sec. Comput., 19(3):1673-1686, 2022. [doi]

Abstract

Abstract is missing.