There is a newer version of the record available.

Published July 22, 2023 | Version v2
Software Open

Attack time analysis in dynamic attack trees via integer linear programming

Authors/Creators

  • 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

Paper_with_proofs.pdf

Files (684.0 kB)

Name Size Download all
md5:70e9c03705067e4b324e8e943d9163e7
684.0 kB Preview Download

Additional details

Funding

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