5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CR2022
Quantitative Verification of Opacity Properties in Security Systems
Chunyan Mu, David Clark
We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforward…
cs.CR2020★ 1 cited
Analysing Flow Security Properties in Virtualised Computing Systems
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…
cs.CR2014★ 5 cited
A Flow Sensitive Security Model for Cloud Computing Systems
Wen Zeng, Chunyan Mu, Maciej Koutny +1
The extent and importance of cloud computing is rapidly increasing due to the ever increasing demand for internet services and communications. Instead of building individual inform…