Specification-based Attacks and Defenses in Sequential Control Systems

open_access
Open Access