Full Program

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation

Summary:

The increasing complexity of cyberphysical power systems leads to larger attack surfaces to be exploited by malicious actors and a higher risk of faults through misconfiguration. We propose a declarative approach to describe cyberphysical power systems and to evaluate security and safety controls, by leveraging Semantic Web technologies. We model infrastructure through an ontology which combines external ontologies, architecture and data models for sufficient expressivity and interoperability with external systems. The ontology can enrich itself through rules defined in SPARQL, allowing for the inference of knowledge that is not explicitly stated. Through the evaluation of SHACL shape constraints we can then validate the data and verify safety and security constraints.

Author(s):

Alexander Geiger    
Fraunhofer FIT
Germany

Immanuel Hacker    
Fraunhofer FIT
Germany

Ömer Sen    
Fraunhofer FIT
Germany

Andreas Ulbig    
Fraunhofer FIT
Germany