Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach
['Qian Zhang', 'Ying Jiang', 'Liping Ding']
Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach