Login / Signup
A logic-based framework for the security analysis of Industrial Control Systems.
Laurens Lemaire
Jan Vossaert
Joachim Jansen
Vincent Naessens
Published in:
Autom. Control. Comput. Sci. (2017)
Keyphrases
</>
security analysis
control system
databases
software architecture
data mining
multi agent systems
data model
smart card