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!
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