Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno)

Type
Label
  • Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • [1] Bistarelli S., [2] Fioravanti F., [2] Peretti P., [3] Trubitsyna I. (2008)
    Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming
    in 23-esimo Convegno Italiano di Logica Computazionale (CILC08), Perugia, Italy, 10-12 July 2008
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Bistarelli S., [2] Fioravanti F., [2] Peretti P., [3] Trubitsyna I. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-IIT, Pisa, Italy; [2] Dipartimento di Scienze, UniversitĂ  \"G. D'Annunzio\" di Chieti-Pescara, Italy; [3] DEIS Universitµa della Calabria, Italy (literal)
Titolo
  • Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (literal)
Abstract
  • In this paper, we present CP-defense trees for modelling se- curity scenarios and for expressing qualitative preferences over attacks and countermeasures, and we show how to select the set of preferred countermeasures able to protect a system by translating CP-defense trees to Answer Set Optimization programs which contains preferences among attacks and countermeasures. By computing the optimal answer set of the ASO program corresponding to the CP-defense tree we are able to automatically select the set of preferred countermeasure able to mitigate all the vulnerabilities in the modeled security scenario. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it