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 IRIT. It was presented at the 20th IEEE International Conference on Software Architecture (ICSA 2023) in March 2023. See Publications for more details!