2008 |
6 | EE | Stefano Bistarelli,
Pamela Peretti,
Irina Trubitsyna:
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
Electr. Notes Theor. Comput. Sci. 197(2): 121-129 (2008) |
2007 |
5 | EE | Stefano Bistarelli,
Pamela Peretti,
Irina Trubitsyna:
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
CP 2007: 773-781 |
4 | EE | Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti:
Using CP-nets as a guide for countermeasure selection.
SAC 2007: 300-304 |
3 | EE | Giampaolo Bella,
Stefano Bistarelli,
Pamela Peretti,
Salvatore Riccobene:
Augmented Risk Analysis.
Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007) |
2006 |
2 | EE | Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti:
Defense trees for economic evaluation of security investments.
ARES 2006: 416-423 |
1 | EE | Stefano Bistarelli,
Marco Dall'Aglio,
Pamela Peretti:
Strategic Games on Defense Trees.
Formal Aspects in Security and Trust 2006: 1-15 |