Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming.

Milan Lopuha-Zwakenberg, Marille Stoelinga

Browse the full SEFM paper archive.