Attack time analysis in dynamic attack trees via integer linear programming

Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Attack trees (ATs) are an important tool in security analysis, and an important part of AT analysis is computing metrics. However, metric computation is NP-complete in general. In…