Login / Signup
A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management.
Cataldo Basile
Gabriele Gatti
Francesco Settanni
Published in:
CoRR (2024)
Keyphrases
</>
formal model
incident management
situation awareness
service providers
service quality
formal models
predicate calculus
optimal policy
security patterns
databases
information fusion
real time
management system
data management
decision process