Decision and Game Theory for Security : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Decision and Game Theory for Security, GameSec 2013, held in Fort Worth, TX, USA, in November 2013. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference focuses on analytical models based on game, information, communication, optimization, decision, and control theories that are applied to diverse security topics. At the same time, the connection between theoretical models and real world security problems are emphasized to establish the important feedback loop between theory and practice. Observing the scarcity of venues for researchers who try to develop a deeper theoretical understanding of the underlying incentive and resource allocation issues in security, we believe that GameSec will fill an important void and serve as a distinguished forum of highest standards for years to come. Front Matter....Pages - On Communication over Gaussian Sensor Networks with Adversaries: Further Results....Pages 1-9 A True Random Generator Using Human Gameplay....Pages 10-28 A Game Theoretic Analysis of Collaboration in Wikipedia....Pages 29-44 Controllability of Dynamical Systems: Threat Models and Reactive Security....Pages 45-64 Adaptive Regret Minimization in Bounded-Memory Games....Pages 65-84 The Cooperative Ballistic Missile Defence Game....Pages 85-98 Security Games for Virtual Machine Allocation in Cloud Computing....Pages 99-118 Monotonic Maximin: A Robust Stackelberg Solution against Boundedly Rational Followers....Pages 119-139 Defeating Tyranny of the Masses in Crowdsourcing: Accounting for Low-Skilled and Adversarial Workers....Pages 140-153 Quantifying Network Topology Robustness under Budget Constraints: General Model and Computational Complexity....Pages 154-174 Mitigation of Targeted and Non-targeted Covert Attacks as a Timing Game....Pages 175-191 New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees....Pages 192-205 Optimizing Active Cyber Defense....Pages 206-225 Equilibrium Concepts for Rational Multiparty Computation....Pages 226-245 Game-Theoretic Approach to Feedback-Driven Multi-stage Moving Target Defense....Pages 246-263 Back Matter....Pages -