New Publication: Formal Model-Based Argument Patterns for Security Cases
Our recent paper “Formal Model-Based Argument Patterns for Security Cases” is now available online! This paper proposes an approach to constructing security assurance cases using formal methods. The proposed approach involves the following three steps: (1) decomposing security requirements and deriving security threats; (2) formalizing the system model and security threats; and (3) deriving the security argument patterns supported by the results of the formal verification of the security requirements. We apply the patterns to build security cases of an autonomous drone case study system.
This work is the result of a collaboration with with colleagues at and . It was presented at the in July 2023. See Publications for more details!