Attack time analysis in dynamic attack trees via integer linear programming

Milan Lopuhaä-Zwakenberg, Mariëlle I.A. Stoelinga

Research output: Working paper

81 Downloads (Pure)
  • 1 Conference contribution
Filter
Conference contribution

Search 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
    26 Downloads (Pure)