New Publication: Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy
Our recent paper on constructing security assurance cases based on formal verification using Alloy. 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!