There is a newer version of the record available.

Published July 22, 2023 | Version v1
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

Artifact_MILPforDATs_revised.zip

Files (7.7 GB)

Name Size Download all
md5:bd209213b6518fdafb3e611a455a78e9
7.7 GB Preview Download
md5:96338c2cbeb83ae6995a5da1b4ef357b
1.1 kB Preview Download
md5:c40ef8427794e9c7bb05c5529ff7170b
8.4 MB Preview Download
md5:716eebdd9b95d5bf4df60ef60f92e67a
46.0 kB Preview Download
md5:e4e8967d1c327dd453614887bfc2281f
669.0 kB Preview Download
md5:1174baba88f2e38a6845860d3c7f60f0
702 Bytes Preview Download

Additional details

Funding

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