New Publication: Formalizing the Relationship between Security Policies and Objectives in Software Architectures
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 . It was presented at the in March 2023. See Publications for more details!