Published July 22, 2023 | Version v3
Software Open

Attack time analysis in dynamic attack trees via integer linear programming

  • 1. University of Twente

Description

Matlab code for the experiments of the paper "Attack time analysis in dynamic attack trees via integer linear programming" by Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga.

The code can be accessed either via the virtual machine in Artifact_MILPforDATs_revised.zip, or through the code directly in Matlab_code.zip. The results are in Paper_results.zip.

To run the code, installations of Matlab and Gurobi are required.

Files

Artefact_MILPforDATs.zip

Files (6.3 GB)

Name Size Download all
md5:5167c88ad58cad8ebe1526afd77e0738
6.3 GB Preview Download
md5:96338c2cbeb83ae6995a5da1b4ef357b
1.1 kB Preview Download
md5:0fe9ad928e7e3ccd950d6e22e8b534d8
23.4 MB Preview Download
md5:54b671a1ff6dc3ce9aeb41e89775b85f
46.0 kB Preview Download
md5:70e9c03705067e4b324e8e943d9163e7
684.0 kB Preview Download
md5:2e0b828ac506273e4405eaa2f5271742
1.8 kB Preview Download

Additional details

Funding

CAESAR – Integrating Safety and Cybersecurity through Stochastic Model Checking 864075
European Commission