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 and . It was presented at the in September 2023. See Publications for more details!