Modelling and Analysis Network Security -- a PVCCS approach

2015/07/24 by Qian Zhang, Ying Jiang, Zhang, Qian +3
Computer Science · Decision Sciences · #Game Theory and Applications #Information and Cyber Security #Network Security and Intrusion Detection #cs.CR

paper · pdf · doi:10.48550/arxiv.1507.06769

arxiv created 2015/07/24 · arxiv updated 2015/07/27

Abstract

In this work, we propose a probabilistic value-passing CCS (Calculus of Communicating System) approach to model and analyze a typical network security scenario with one attacker and one defender. By minimizing this model with respect to probabilistic bisimulation and abstracting it through graph-theoretic methods, two algorithms based on backward induction are designed to compute Nash Equilibrium strategy and Social Optimal strategy respectively. For each algorithm, the correctness is proved and an implementation is realized. Finally, this approach is illustrated by a detailed case study.

Related

• Modelling and Analysis of Network Security - an Algebraic Approach
• Modeling Internet Security Investments: The Case of Dealing with Information Uncertainty
• Computing Optimal Security Strategies for Interdependent Assets
• Stochastic Games for Security in Networks with Interdependent Nodes
• Game Theory Meets Network Security: A Tutorial at ACM CCS