Login / Signup

A logic-based framework for the security analysis of Industrial Control Systems.

Laurens LemaireJan VossaertJoachim JansenVincent 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