Analysing Flow Security Properties in Virtualised Computing Systems

Mu, Chunyan2023-04-192023-04-192020-04-11Mu, C 2020 'Analysing Flow Security Properties in Virtualised Computing Systems' ArXiv. https://doi.org/10.48550/arXiv.2004.05500ArXiv: http://arxiv.org/abs/2004.05500v1ORCID: /0000-0002-2988-6939/work/133803572https://hdl.handle.net/2164/20510368967engcs.CRcs.PLAnalysing Flow Security Properties in Virtualised Computing SystemsPreprint10.48550/arXiv.2004.05500http://arxiv.org/abs/2004.05500v1