|
[EK19]
Julia Eisentraut and Jan Kretinsky.
Expected Cost Analysis of Attack-Defense Trees.
In Proc. 16th International Conference on Quantitative Evaluation of Systems (QEST'19), volume 11785 of LNCS, pages 203-221, Springer.
2019.
[bib]
[Presents an approach to analysing attack-defence trees using PRISM-games for model checking stochastic games.]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|