Sarch-Checks: A Method for Checking Software Architecture Security Properties Using a Knowledge Graph

J Vergara-Vargas, S Sadou… - 2024 IEEE 21st …, 2024 - ieeexplore.ieee.org
Checking the security properties of a software system during design is essential to enable
the construction of a foundationally secure system. However, combining design tasks with …