A Bilevel Programming Model for Proactive Countermeasure Selection in Complex ICT Systems
Keywords: Bilevel programming; Risk Assessment Graphs; Countermeasure selection; Branch-and-cut;