Modelling and Analysis Network Security -- a PVCCS approach

Qian Zhang, Ying Jiang, Liping Ding

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 an…