6 citations · 15 across the 16 of their papers we have counts for
Showing 2015 · cs.CRShow all
2 papers · 2 filters
cs.CR2015
Modelling and Analysis of Network Security - an Algebraic Approach
Qian Zhang, Ying Jiang, Peng Wu
Game theory has been applied to investigate network security. But different security scenarios were often modeled via different types of games and analyzed in an ad-hoc manner. In…
cs.CR2015
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…