A Computational Ontology for Cyber Operations