Toward that end, this article presents PROTECT, a game-theoretic system deployed by the United States Coast Guard (USCG) in the Port of Boston for scheduling its patrols. USCG has termed the deployment of PROTECT in Boston a success; PROTECT is currently being tested in the Port of New York, with the potential for nationwide deployment. PROTECT is premised on an attackerdefender Stackelberg game model and offers five key innovations. First, this system is a departure from the assumption of perfect adversary rationality noted in previous work, relying instead on a quantal response (QR) model of the adversary's behavior -- to the best of our knowledge, this is the first real-world deployment of the QR model. Second, to improve PROTECT's efficiency, we generate a compact representation of the defender's strategy space, exploiting equivalence and dominance.

Today, it's nearly impossible to ignore the avalanche of cybersecurity noise competing for your attention. For many of us (even those of us in the industry), just getting a grasp on the ever-expanding terminology can be frustrating. You can't help but notice the deluge of terms such as "artificial intelligence," "machine learning" and "expert systems." Simply put, these phrases refer to technologies and approaches at the core of the new cyberworld battleground. When I'm engaging with our customers or audiences during speaking sessions at industry events, they frequently ask about these confusing terms.

In the field of cybersecurity, reliance on machine learning amplifies the capabilities of the humans we have, making security teams better. There are many exciting things under development in McAfee Labs that will further leverage machine learning in these areas. While 75 percent of consumers believe it's very important to secure their online identities and connected devices, nearly half are uncertain if they are taking the proper security steps. "There are many exciting things under development in McAfee Labs that will further leverage machine learning in these areas."

Las Vegas is one of the most bustling U.S. cities and because of the large casino operations in the city and electronic transfers of millions of dollars every day, cyber security is of prime importance. The city's information security team, which comprises of only three people, relies on artificial intelligence (AI) to protect it against ransomware and phishing. "The things that keep me up most are ransomware and phishing. Some of the simplest attacks but the hardest to defend against." Las Vegas chief information officer Michael Sherwood told TechCrunch Friday.

The strategy has been implemented in a simple QLISP program.

Plan modification *The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.

While three deployed applications of game theory for security have recently been reported, we as a community of agents and AI researchers remain in the early stages of these deployments; there is a continuing need to understand the core principles for innovative security applications of game theory. Towards that end, this paper presents PROTECT, a game-theoretic system deployed by the United States Coast Guard (USCG) in the port of Boston for scheduling their patrols. USCG has termed the deployment of PROTECT in Boston a success, and efforts are underway to test it in the port of New York, with the potential for nationwide deployment.PROTECT is premised on an attacker-defender Stackelberg game model and offers five key innovations. First, this system is a departure from the assumption of perfect adversary rationality noted in previous work, relying instead on a quantal response (QR) model of the adversary's behavior --- to the best of our knowledge, this is the first real-world deployment of the QR model. Second, to improve PROTECT's efficiency, we generate a compact representation of the defender's strategy space, exploiting equivalence and dominance. Third, we show how to practically model a real maritime patrolling problem as a Stackelberg game. Fourth, our experimental results illustrate that PROTECT's QR model more robustly handles real-world uncertainties than a perfect rationality model. Finally, in evaluating PROTECT, this paper for the first time provides real-world data: (i) comparison of human-generated vs PROTECT security schedules, and (ii) results from an Adversarial Perspective Team's (human mock attackers) analysis.

Building upon previous security applications of computational game theory, this paper presents PROTECT, a game-theoretic system deployed by the United States Coast Guard (USCG) in the port of Boston for scheduling their patrols. USCG has termed the deployment of PROTECT in Boston a success, and efforts are underway to test it in the port of New York, with the potential for nationwide deployment. PROTECT is premised on an attacker-defender Stackelberg game model and offers five key innovations. First, this system is a departure from the assumption of perfect adversary rationality noted in previous work, relying instead on a quantal response (QR) model of the adversary's behavior - to the best of our knowledge, this is the first real-world deployment of the QR model. Second, to improve PROTECT's efficiency, we generate a compact representation of the defender's strategy space, exploiting equivalence and dominance. Third, we show how to practically model a real maritime patrolling problem as a Stackelberg game. Fourth, our experimental results illustrate that PROTECT's QR model more robustly handles real-world uncertainties than a perfect rationality model. Finally, in evaluating PROTECT, this paper provides real-world data: (i) comparison of human-generated vs PROTECT security schedules, and (ii) results from an Adversarial Perspective Team's (human mock attackers) analysis.

Reprinted as Chapter 3 (pp.250-271) of Webber & Nilsson, Readings in Artificial IntelligenceElcock, E. W. and Michie, D. (Eds.), Machine Intelligence 8, pp. 94-€“138. Ellis Horwood.