Our recent work on formalizing the relationship between security policies and objectives in software architectures is now available online. This work is the result of a collaboration with with colleagues at IRIT and CEA List. It was presented at the 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) in September 2023. See Publications for more details!
Home / Publication / New Publication: Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy
New Publication: Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy