One Size Does Not Fit All: A Game-Theoretic Approach for Dynamically and Effectively Screening for Threats

An effective way of preventing attacks in secure areas is to screen for threats (people, objects) before entry, e.g., screening of airport passengers. However, screening every entity at the same level may be both ineffective and undesirable. The challenge then is to find a dynamic approach for randomized screening, allowing for more effective use of limited screening resources, leading to improved security. We address this challenge with the following contributions: (1) a threat screening game (TSG) model for general screening domains; (2) an NP-hardness proof for computing the optimal strategy of TSGs; (3) a scheme for decomposing TSGs into subgames to improve scalability; (4) a novel algorithm that exploits a compact game representation to efficiently solve TSGs, providing the optimal solution under certain conditions; and (5) an empirical comparison of our proposed algorithm against the current state-of-the-art optimal approach for large-scale game-theoretic resource allocation problems.

[1]  Paul Seidenstat,et al.  Transportation Security Policy , 2007 .

[2]  Fred S. Roberts,et al.  Experimental Analysis of Sequential Decision Making Algorithms for Port of Entry Inspection Procedures , 2006, ISI.

[3]  Manish Jain,et al.  Software Assistants for Randomized Patrol Planning for the LAX Airport Police and the Federal Air Marshal Service , 2010, Interfaces.

[4]  Li Lin,et al.  Passenger grouping with risk levels in an airport security system , 2009, Eur. J. Oper. Res..

[5]  Bo An,et al.  Refinement of Strong Stackelberg Equilibria in Security Games , 2011, AAAI.

[6]  Paul R. Milgrom,et al.  Designing Random Allocation Mechanisms: Theory and Applications , 2013 .

[7]  Nicolas Christin,et al.  Audit Games with Multiple Defender Resources , 2014, AAAI.

[8]  Milind Tambe,et al.  Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork , 2014, ECAI.

[9]  Milind Tambe,et al.  GUARDS - Innovative Application of Game Theory for National Airport Security , 2011, IJCAI.

[10]  Manish Jain,et al.  Computing optimal randomized resource allocations for massive security games , 2009, AAMAS.

[11]  Rong Yang,et al.  Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach , 2013, IJCAI.

[12]  Nicola Basilico,et al.  Leader-follower strategies for robotic patrolling in environments with arbitrary topologies , 2009, AAMAS.

[13]  E. Balas Disjunctive programming and a hierarchy of relaxations for discrete optimization problems , 1985 .

[14]  Jun Zhuang,et al.  Simulating a Multi-Stage Screening Network: A Queueing Theory and Game Theory Application , 2015 .

[15]  Bo An,et al.  Computing Solutions in Infinite-Horizon Discounted Adversarial Patrolling Games , 2014, ICAPS.

[16]  Manish Jain,et al.  Security Games with Arbitrary Schedules: A Branch and Price Approach , 2010, AAAI.

[17]  Fred S. Roberts,et al.  Modeling the Impact of Patron Screening at an NFL Stadium , 2014 .

[18]  Vincent Conitzer,et al.  Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games , 2010, AAAI.

[19]  Sheldon H. Jacobson,et al.  Risk-Based Policies for Airport Security Checkpoint Screening , 2010, Transp. Sci..

[20]  Vincent Conitzer,et al.  Solving Security Games on Graphs via Marginal Probabilities , 2013, AAAI.

[21]  Nicolas Christin,et al.  Audit Games , 2013, IJCAI.