Security and Game Theory

1. Introduction; Part I. Security Experts' Perspective: 2. LAX - terror target: the history, the reason, the countermeasure Erroll Southers; 3. Maritime transportation system security and the use of game theory: a perfect match to address operational and tactical concerns Joe DiRenzo III, Erik Jensen and Fred Bertsch; Part II. Deployed Applications: 4. Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport James Pita, Manish Jain, Craig Western, Praveen Paruchuri, Janusz Marecki, Milind Tambe, Fernando Ordonez and Sarit Kraus; 5. IRIS: a tool for strategic security allocation in transportation networks Jason Tsai, Shyamsunder Rathi, Christopher Kiekintveld, Milind Tambe and Fernando Ordonez; 6. GUARDS - game theoretic security allocation on a national scale James Pita, Christopher Kiekintveld, Milind Tambe, Shane Cullen and Erin Steigerwald; Part III. Efficient Algorithms for Massive Security Games: 7. Coordinating randomized policies for increasing security of agent systems Praveen Paruchuri, Jonathan Pearce, Janusz Marecki, Milind Tambe, Fernando Ordonez and Sarit Kraus; 8. Computing optimal randomized resource allocations for massive security games Christopher Kiekintveld, James Pita, Manish Jain, Jason Tsai, Milind Tambe and Fernando Ordonez; 9. Security games with arbitrary schedules: a branch and price approach Manish Jain, Christopher Kiekintveld, Erim Kardes, Fernando Ordonez and Milind Tambe; Part IV. Future Research: 10. Effective solutions for real-world Stackelberg games: when agents must deal with human uncertainties James Pita, Manish Jain, Milind Tambe, Fernando Ordonez, Sarit Kraus and Romi Magori-Cohen; 11. Robust Bayesian methods for Stackelberg security games Christopher Kiekintveld, Janusz Marecki and Milind Tambe; 12. Stackelberg vs. Nash in security games: interchangeability, equivalence, and uniqueness Zhengyu Yin, Dmytro Korzhyk, Christopher Kiekintveld, Vincent Conitzer and

Tambe, Milind
Milind Tambe is a Professor of Computer Science and Industrial and Systems Engineering at the University of Southern California (USC). His research is in the area of Artificial Intelligence, specifically agent-based and multi-agent systems. He is a Fellow of the Association for Advancement of Artificial Intelligence and recipient of the Association for Computing Machinery's Autonomous Agents Research Award. He is also the recipient of the Christopher Columbus Fellowship Foundation Homeland Security Award, a special commendation given by the Los Angeles International Airport's police from the city of Los Angeles, the USC Viterbi School of Engineering's use-inspired research award, an Okawa Foundation faculty research award, the RoboCup scientific challenge award, the USC Steven B. Sample Teaching and Mentoring award and the ACM recognition of service award.

'This exciting book brings together key papers describing important algorithmic advances in computational game theory and the deployed systems for aviation and transportation security that they have enabled. Milind Tambe has been at the forefront of efforts to bring advances in artificial intelligence research to bear on important national security challenges. The lucid presentations he and his co-authors provide of a family of efficient algorithms, which deal with increasingly more complex types of security situations, provide a wonderful and accessible introduction to anyone interested in this important area of research and technology development.' Barbara J. Grosz, Harvard University 'Preventing terrorism is one of the chief challenges facing governments and security organizations across the globe today. The domain of security games provides a reasoned and rational basis on which such organizations can make complex and sensitive decisions, for example about how to allocate scarce security resources most effectively. The present volume presents a comprehensive survey of the state of the art in the theory and practice of security games, including impressive real-world case studies of deployed systems and fascinating perspectives from many of those charged with the task of ensuring our personal safety. It is essential reading for those who want to understand how game theory can be applied to real-world problems of the most challenging kind.' Michael Wooldridge, University of Liverpool 'Professor Tambe and his team have pioneered the development and practical use of modern game-solving techniques for security games. This is an exceptionally good example of game theory truly getting used in practice. Here, computational game solving is being used in the large scale on a daily basis. A wonderful contribution!' Tuomas Sandholm, Carnegie Mellon University 'Although it has long been understood that attack-defense scenarios can be modeled mathematically using game theory,