Dimitrios Tsoukalas, Miltiadis G. Siavvas, Maria Mathioudaki, Dionisis D. Kehagias. An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021. pages 83-91, IEEE, 2021. [doi]
Abstract is missing.