Affordable Access

Modelling and Analysis Network Security -- a PVCCS approach

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: 1507.06769
Source
arXiv
License
Yellow
External links

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.

Statistics

Seen <100 times