Defense trees for economic evaluation of security investments. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (ARES, 2006)

Strategic Games on Defense Trees. - Stefano Bistarelli; Marco Dall'Aglio; Pamela Peretti (Formal Aspects in Security and Trust, 2006)

Augmented Risk Analysis. - Giampaolo Bella; Stefano Bistarelli; Pamela Peretti; Salvatore Riccobene (VODCA@FOSAD, 2006)

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (CP, 2007)

Using CP-nets as a guide for countermeasure selection. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (SAC, 2007)

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (STM@ESORICS, 2007)

Evaluation of complex security scenarios using defense trees and economic indexes. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti; Francesco Santini 001 (J. Exp. Theor. Artif. Intell., 2012)