An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)