Decision and Game Theory for Security: 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the 8th International Conference on Decision and Game Theory for Security, GameSec 2017, held in Vienna, Austria, in October 2017. The 24 revised full papers presented together with 4 short papers were carefully reviewed and selected from 71 submissions.The papers address topics such as Game theory and mechanism design for security and privacy; Pricing and economic incentives for building dependable and secure systems; Dynamic control, learning, and optimization and approximation techniques; Decision making and decision theory for cybersecurity and security requirements engineering; Socio-technological and behavioral approaches to security; Risk assessment and risk management; Security investment and cyber insurance; Security and privacy for the Internet-of-Things (IoT), cyber-physical systems, resilient control systems; New approaches for security and privacy in cloud computing and for critical infrastructure; Security and privacy of wireless and mobile communications, including user location privacy; Game theory for intrusion detection; and Empirical and experimental studies with game-theoretic or optimization analysis for security and privacy. Front Matter ....Pages I-XI Front Matter ....Pages 1-1 Optimizing Traffic Enforcement: From the Lab to the Roads (Ariel Rosenfeld, Oleg Maksimov, Sarit Kraus)....Pages 3-20 Incentive Compatibility of Pay Per Last N Shares in Bitcoin Mining Pools (Yevhen Zolotavkin, Julian García, Carsten Rudolph)....Pages 21-39 Adaptivity in Network Interdiction (Bastián Bahamondes, José Correa, Jannik Matuschke, Gianpaolo Oriolo)....Pages 40-52 Efficient Rational Proofs for Space Bounded Computations (Matteo Campanelli, Rosario Gennaro)....Pages 53-73 Game-Theoretical Analysis of PLC System Performance in the Presence of Jamming Attacks (Yun Ai, Manav R. Bhatnagar, Michael Cheffena, Aashish Mathur, Artem Sedakov)....Pages 74-90 Secure Sensor Design for Cyber-Physical Systems Against Advanced Persistent Threats (Muhammed O. Sayin, Tamer Başar)....Pages 91-111 An Ultimatum Game Model for the Evolution of Privacy in Jointly Managed Content (Sarah Rajtmajer, Anna Squicciarini, Jose M. Such, Justin Semonsen, Andrew Belmonte)....Pages 112-130 The U.S. Vulnerabilities Equities Process: An Economic Perspective (Tristan Caulfield, Christos Ioannidis, David Pym)....Pages 131-150 A Stackelberg Game Model for Botnet Data Exfiltration (Thanh Nguyen, Michael P. Wellman, Satinder Singh)....Pages 151-170 Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers (Karel Durkota, Viliam Lisý, Christopher Kiekintveld, Karel Horák, Branislav Bošanský, Tomáš Pevný)....Pages 171-192 Building Real Stackelberg Security Games for Border Patrols (Victor Bucarey, Carlos Casorrán, Óscar Figueroa, Karla Rosas, Hugo Navarrete, Fernando Ordóñez)....Pages 193-212 Strategic Defense Against Deceptive Civilian GPS Spoofing of Unmanned Aerial Vehicles (Tao Zhang, Quanyan Zhu)....Pages 213-233 A Game Theoretical Model for Optimal Distribution of Network Security Resources (Ziad Ismail, Christophe Kiennert, Jean Leneutre, Lin Chen)....Pages 234-255 Game-Theoretic Goal Recognition Models with Applications to Security Domains (Samuel Ang, Hau Chan, Albert Xin Jiang, William Yeoh)....Pages 256-272 Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security (Karel Horák, Quanyan Zhu, Branislav Bošanský)....Pages 273-294 A Stochastic Game-Theoretic Model for Smart Grid Communication Networks (Xiaobing He, Hermann de Meer)....Pages 295-314 A Stackelberg Game and Markov Modeling of Moving Target Defense (Xiaotao Feng, Zizhan Zheng, Prasant Mohapatra, Derya Cansever)....Pages 315-335 Proactive Defense Against Physical Denial of Service Attacks Using Poisson Signaling Games (Jeffrey Pawlick, Quanyan Zhu)....Pages 336-356 A Large-Scale Markov Game Approach to Dynamic Protection of Interdependent Infrastructure Networks (Linan Huang, Juntao Chen, Quanyan Zhu)....Pages 357-376 VIOLA: Video Labeling Application for Security Domains (Elizabeth Bondi, Fei Fang, Debarun Kar, Venil Noronha, Donnabell Dmello, Milind Tambe et al.)....Pages 377-396 On the Economics of Ransomware (Aron Laszka, Sadegh Farhang, Jens Grossklags)....Pages 397-417 Deterrence of Cyber Attackers in a Three-Player Behavioral Game (Jinshu Cui, Heather Rosoff, Richard S. John)....Pages 418-436 Information Leakage Games (Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi)....Pages 437-457 Optimal Patrol Planning for Green Security Games with Black-Box Attackers (Haifeng Xu, Benjamin Ford, Fei Fang, Bistra Dilkina, Andrew Plumptre, Milind Tambe et al.)....Pages 458-477 Front Matter ....Pages 479-479 Security Games with Probabilistic Constraints on the Agent’s Strategy (Corine M. Laan, Ana Isabel Barros, Richard J. Boucherie, Herman Monsuur)....Pages 481-493 On the Cost of Game Playing: How to Control the Expenses in Mixed Strategies (Stefan Rass, Sandra König, Stefan Schauer)....Pages 494-505 Dynamics of Strategic Protection Against Virus Propagation in Heterogeneous Complex Networks (Yezekael Hayel, Quanyan Zhu)....Pages 506-518 Three Layer Game Theoretic Decision Framework for Cyber-Investment and Cyber-Insurance (Deepak K. Tosh, Iman Vakilinia, Sachin Shetty, Shamik Sengupta, Charles A. Kamhoua, Laurent Njilla et al.)....Pages 519-532 Back Matter ....Pages 533-534