1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…