Ontology-Based Security Problem Definition and Solution for the Common Criteria Compliant Development Process | IEEE Conference Publication | IEEE Xplore