Decision and Game Theory for Security

1. Front Matter

   PDF

2. On Communication over Gaussian Sensor Networks with Adversaries: Further Results

   • Emrah Akyol, Kenneth Rose, Tamer Başar

   Pages 1-9

3. A True Random Generator Using Human Gameplay

   • Mohsen Alimomeni, Reihaneh Safavi-Naini, Setareh Sharifian

   Pages 10-28

4. A Game Theoretic Analysis of Collaboration in Wikipedia

   • S. Anand, Ofer Arazy, Narayan B. Mandayam, Oded Nov

   Pages 29-44

5. Controllability of Dynamical Systems: Threat Models and Reactive Security

   • Carlos Barreto, Alvaro A. Cárdenas, Nicanor Quijano

   Pages 45-64

6. Adaptive Regret Minimization in Bounded-Memory Games

   • Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha

   Pages 65-84

7. The Cooperative Ballistic Missile Defence Game

   • Lanah Evers, Ana Isabel Barros, Herman Monsuur

   Pages 85-98

8. Security Games for Virtual Machine Allocation in Cloud Computing

   • Yi Han, Tansu Alpcan, Jeffrey Chan, Christopher Leckie

   Pages 99-118

9. Monotonic Maximin: A Robust Stackelberg Solution against Boundedly Rational Followers

   • Albert Xin Jiang, Thanh H. Nguyen, Milind Tambe, Ariel D. Procaccia

   Pages 119-139

10. Defeating Tyranny of the Masses in Crowdsourcing: Accounting for Low-Skilled and Adversarial Workers

    • Aditya Kurve, David J. Miller, George Kesidis

    Pages 140-153

11. Quantifying Network Topology Robustness under Budget Constraints: General Model and Computational Complexity

    • Aron Laszka, Assane Gueye

    Pages 154-174

12. Mitigation of Targeted and Non-targeted Covert Attacks as a Timing Game

    • Aron Laszka, Benjamin Johnson, Jens Grossklags

    Pages 175-191

13. New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees

    • Ahto Buldas, Aleksandr Lenin

    Pages 192-205

14. Optimizing Active Cyber Defense

    • Wenlian Lu, Shouhuai Xu, Xinlei Yi

    Pages 206-225

15. Equilibrium Concepts for Rational Multiparty Computation

    • John Ross Wallrabenstein, Chris Clifton

    Pages 226-245

16. Game-Theoretic Approach to Feedback-Driven Multi-stage Moving Target Defense

    • Quanyan Zhu, Tamer Başar

    Pages 246-263

17. Back Matter

    PDF

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.

• active cyber defense
• cloud computing
• cyber security model
• probabilistic modeling
• rational multiparty computation
• algorithm analysis and problem complexity

• Department of Computer Science, Missouri University of Science and Technology, Rolla, USA

  Sajal K. Das

• Department of Computer Science, Purdue University, West Lafayette, USA

  Cristina Nita-Rotaru

• Data Seurity and Privacs Lab, University of Texas at Dallas, Richardson, USA

  Murat Kantarcioglu

Policies and ethics