Sign in
ARTINALI: dynamic invariant detection for cyber-physical system security.
Maryam Raiyat Aliabadi
Amita Ajith Kamath
Julien Gascon-Samson
Karthik Pattabiraman
Published in:
ESEC/SIGSOFT FSE (2017)
Keyphrases
</>
cyber physical systems
cyber security
network security
human activities
critical infrastructure