Algoritmus s kompromisem mezi kvalitou a časem běhu v útočném grafu pro bezpečnost sítě

Abstract

Hledání optimální strategii v útočném grafu je považována za NP těžkou úlohu. Correlated Stackelberg Equilibrium (CSE) aproximuje Strong Stackelberg Equilibrium (SSE), který hledá optimální strategie pro dva hráče, obránce a útočníka. Tato práce se zabývá použitím iterativních algoritmů s účelem zmenšení času běhu CSE algoritmu. Iterativní algoritmy umožňují postupně zlepšovat dolní odhad optimální strategie. Tenhle způsob slouží k směrování prohledávání útočného grafu a snížení složitostí prostoru řešení. Navržená technika snaží se najít kompromis mezi kvalitou řešení a časem běhu algoritmu.Finding the optimal policy in the attack graph is known to be an NP-hard problem. Correlated Stackelberg Equilibrium (CSE) approximates Strong Stackelberg Equilibrium (SSE), which finds the optimal policy profile for two players, a defender and an attacker. This thesis investigates the application of iterative algorithms to reduce the computation time of CSE algorithm. Iterative algorithms allow improving lower bound to the optimal attack policy. It can be used to direct exploration of the attack graph and by that to reduce the complexity of the searching space. Proposed techniques look for a tradeoff parameter between algorithm's quality and its runtime.