Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theoretic methods to find optimal randomized security policies, including a fielded application at the Los Angeles International Airport (LAX). This approach has promising applications in many similar domains, including police patrolling for subway and bus systems, randomized baggage screening, and scheduling for the Federal Air Marshal Service (FAMS) on commercial flights. However, the existing methods scale poorly when the security policy requires coordination of many resources, which is central to many of these potential applications.
We develop new models and algorithms that scale to much more complex instances of security games. The key idea is to use a compact model of security games, which allows exponential improvements in both memory and runtime relative to the best known algorithms for solving general Stackelberg games. We develop even faster algorithms for security games under payoff restrictions that are natural in many security domains. Finally, introduce additional realistic scheduling constraints while retaining comparable performance improvements. The empirical evaluation comprises both random data and realistic instances of the FAMS and LAX problems. Our new methods scale to problems several orders of magnitude larger than the fastest known algorithm.
H. Stackelberg,et al.
Marktform und Gleichgewicht
Howard Raiffa,et al.
Games And Decisions
On generalized Stackelberg strategies
T. Başar,et al.
Dynamic Noncooperative Game Theory
A. Haurie,et al.
Sequential Stackelberg equilibria in two-person games
Ariel Rubinstein,et al.
A Course in Game Theory
Daphne Koller,et al.
Multi-Agent Influence Diagrams for Representing and Solving Games
Bernhard von Stengel,et al.
Chapter 51 Inspection games
T. Sandler,et al.
Terrorism & Game Theory
Jeannette M. Wing,et al.
Game strategies in network security
International Journal of Information Security.
B. Stengel,et al.
Leadership with commitment to mixed strategies
Stackelberg Scheduling Strategies
SIAM J. Comput..
Allen B. MacKenzie,et al.
Using game theory to analyze wireless ad hoc networks
IEEE Communications Surveys & Tutorials.
Vincent Conitzer,et al.
Computing the optimal strategy to commit to
Kevin Leyton-Brown,et al.
A Polynomial-Time Algorithm for Action Graph Games
Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form
Sarit Kraus,et al.
Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games
Sarit Kraus,et al.
Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport