5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Chunyan Mu
This paper studies the problem of reasoning about flow security properties in virtualised computing networks with mobility from perspective of formal language. We propose a distrib…