ATM: A Logic for Quantitative Security Properties on Attack Trees

Stefano M. Nicoletti^*, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

33 Downloads (Pure)

1 PhD Thesis - Research UT, graduation UT
1 Preprint

1 results

Filter

2023
ATM: a Logic for Quantitative Security Properties on Attack Trees
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 17 Sept 2023, ArXiv.org, 20 p.
Research output: Working paper › Preprint › Academic

Open Access
File
43 Downloads (Pure)