Attack time analysis in dynamic attack trees via integer linear programming

Research output: Working paper

114 Downloads (Pure)

1 Conference contribution

1 results

2023
Attack time analysis in dynamic attack trees via integer linear programming
Lopuhaä-Zwakenberg, M. & Stoelinga, M., 31 Oct 2023, Software Engineering and Formal Methods: 21st International conference, SEFM 2023 Eindhoven, The Netherlands, November 6-10, 2023 Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Springer, p. 165-183 (Lecture Notes in Computer Science; vol. 14323).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
4 Link opens in a new tab Citations (Scopus)

53 Downloads (Pure)