2 papers
cs.CR2026
RefinementEngine: Automating Intent-to-Device Filtering Policy Deployment under Network Constraints
Davide Colaiacomo, Chiara Bonfanti, Cataldo Basile
Translating security intent into deployable network enforcement rules and maintaining their effectiveness despite evolving cyber threats remains a largely manual process in most Se…
cs.CR2025
A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
Cataldo Basile, Gabriele Gatti, Francesco Settanni
Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security control…