Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach.

Qian Zhang, Ying Jiang, Liping Ding

Browse the full ICICS paper archive.