An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results-Reference-Cited by-同舟云学术

An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results

Published:2021-12 Issue: Volume: Page:
ISSN:
Container-title:2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
language:
Short-container-title:

Author:

Tsoukalas Dimitrios¹,Siavvas Miltiadis¹,Mathioudaki Maria¹,Kehagias Dionysios¹

Affiliation:

1. Centre for Research and Technology Hellas,Thessaloniki,Greece

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9741747/9741863/09742019.pdf?arnumber=9742019

Reference35 articles.

1. Market research for requirements analysis using linguistic tools

2. Top accuracy and fast dependency parsing is not a con-tradiction;bohnet;Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010),0

3. Multilingual semantic role labeling

4. Security quality requirements engineering (SQUARE) methodology

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey of Ontologies Considering General Safety, Security, and Operation Aspects in OT;IEEE Open Journal of the Industrial Electronics Society;2024

2. A Method Based on Behavior Driven Development (BDD) and System-Theoretic Process Analysis (STPA) for Verifying Security Requirements in Critical Software Systems;Advances in Intelligent Systems and Computing;2024

3. The IoTAC Software Security-by-Design Platform: Concept, Challenges, and Preliminary Overview;2022 18th International Conference on the Design of Reliable Communication Networks (DRCN);2022-03-28

4. Scalable Ontology-Based V&V Process for Heterogeneous Systems and Applications;2022