Login / Signup
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.
Chibuzo Ukegbu
Ramesh Neupane
Hoda Mehrpouyan
Published in:
EICC (2023)
Keyphrases
</>
security properties
control system
formal model
data mining
knowledge representation
computer systems
security analysis