TY  - RPRT
TI  - A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
AU  - Cataldo Basile
AU  - Gabriele Gatti
AU  - Francesco Settanni
PY  - 2025
UR  - https://arxiv.org/abs/2405.03544
ID  - 2405.03544
ER  -