Moving Target Defense for Web Applications using Bayesian Stackelberg Games
This addresses security challenges for web application developers by providing an automated framework to enhance MTD effectiveness, though it is incremental in applying game theory to a known bottleneck.
The paper tackles the problem of designing effective switching strategies for Moving Target Defense (MTD) in web applications by modeling it as a repeated Bayesian game and formulating an optimization problem that considers switching costs, and demonstrates robustness under uncertainty about attacker information.
The present complexity in designing web applications makes software security a difficult goal to achieve. An attacker can explore a deployed service on the web and attack at his/her own leisure. Moving Target Defense (MTD) in web applications is an effective mechanism to nullify this advantage of their reconnaissance but the framework demands a good switching strategy when switching between multiple configurations for its web-stack. To address this issue, we propose modeling of a real-world MTD web application as a repeated Bayesian game. We then formulate an optimization problem that generates an effective switching strategy while considering the cost of switching between different web-stack configurations. To incorporate this model into a developed MTD system, we develop an automated system for generating attack sets of Common Vulnerabilities and Exposures (CVEs) for input attacker types with predefined capabilities. Our framework obtains realistic reward values for the players (defenders and attackers) in this game by using security domain expertise on CVEs obtained from the National Vulnerability Database (NVD). We also address the issue of prioritizing vulnerabilities that when fixed, improves the security of the MTD system. Lastly, we demonstrate the robustness of our proposed model by evaluating its performance when there is uncertainty about input attacker information.