Modelling and Analysis Network Security -- a PVCCS approach
Cryptography and Security
2015-07-27 v1
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.
Keywords
Cite
@article{arxiv.1507.06769,
title = {Modelling and Analysis Network Security -- a PVCCS approach},
author = {Qian Zhang and Ying Jiang and Liping Ding},
journal= {arXiv preprint arXiv:1507.06769},
year = {2015}
}