Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Attack time analysis in dynamic attack trees via integer linear programming
Milan LopuhaƤ-Zwakenberg
,
Mariƫlle I.A. Stoelinga
Formal Methods and Tools
Digital Society Institute
Research output
:
Working paper
81
Downloads (Pure)
Overview
Fingerprint
Datasets
(1)
Research output
(1)
Fingerprint
Dive into the research topics of 'Attack time analysis in dynamic attack trees via integer linear programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Attack
100%
Integer-Linear Programming
100%
Computation
8%
Speed-up
8%
Testing
8%
Computing
8%
Security Analysis
8%
Algorithms
8%
Mixed-Integer Linear Programming
8%