Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Plan Interdiction Games   We propose a framework for cyber risk assessment and mitigation which models
attackers as formal planners and defenders as interdicting such plans. We
illustrate the value of plan interdiction problems by first modeling network
cyber risk through the use of formal planning, and subsequently formalizing an
important question of prioritizing vulnerabilities for patching in the plan
interdiction framework. In particular, we show that selectively patching
relatively few vulnerabilities allows a network administrator to significantly
reduce exposure to cyber risk. More broadly, we have developed a number of
scalable approaches for plan interdiction problems, making especially
significant advances when attack plans involve uncertainty about system
dynamics. However, important open problems remain, including how to effectively
capture information asymmetry between the attacker and defender, how to best
model dynamics in the attacker-defender interaction, and how to develop
scalable algorithms for solving associated plan interdiction games.

31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom