@inproceedings{51304a02809a4f8f888a2815b6de7e0c,
title = "A Probabilistic Framework for Security Scenarios with Dependent Actions",
abstract = "This work addresses the growing need of performing meaningful probabilistic analysis of security. We propose a framework that integrates the graphical security modeling technique of attack–defense trees with probabilistic information expressed in terms of Bayesian networks. This allows us to perform probabilistic evaluation of attack–defense scenarios involving dependent actions. To improve the efficiency of our computations, we make use of inference algorithms from Bayesian networks and encoding techniques from constraint reasoning. We discuss the algebraic theory underlying our framework and point out several generalizations which are possible thanks to the use of semiring theory.",
keywords = "EC Grant Agreement nr.: FP7/2007-2013, EC Grant Agreement nr.: FP7/318003",
author = "Barbara Kordy and Marc Pouly and Patrick Schweizer",
note = "eemcs-eprint-24996 ; 11th International Conference on Integrated Formal Methods, IFM 2014 : 11th International Conference on Integrated Formal Methods, IFM 2014 ; Conference date: 09-09-2014 Through 11-09-2014",
year = "2014",
month = sep,
day = "9",
doi = "10.1007/978-3-319-10181-1_16",
language = "English",
isbn = "978-3-319-10180-4",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "256--271",
editor = "Elvira Albert and Emil Sekereinsk",
booktitle = "11th International Conference on Integrated Formal Methods, IFM 2014",
address = "Germany",
}