A methodology for creating reusable ontologies
basic concepts and taxonomy of dependable and secure computing .