An Ontology for Secure Socio-Technical Systems
The DLV System for Knowledge Representation and Reasoning