Login / Signup
Gabriele Gatti
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Evidence Theory
Formal Model
Situation Assessment
Predicate Calculus
Top Venues
CoRR
COMPSAC
</>
Publications
</>
Cataldo Basile
,
Gabriele Gatti
,
Francesco Settanni
A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management.
CoRR
(2024)
Gabriele Gatti
,
Cataldo Basile
,
Guido Perboli
An expert system for automatic cyber risk assessment and its AI-based improvements.
COMPSAC
(2023)