Sign in

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

Milan Lopuhaä-ZwakenbergMariëlle Stoelinga
Published in: SEFM (2023)
Keyphrases
  • integer linear programming
  • countermeasures
  • bicriteria
  • lower bound
  • dynamic programming
  • upper bound
  • linear programming
  • orders of magnitude
  • constraint satisfaction
  • search strategies
  • column generation