A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems

Mu, Chunyan2023-02-012023-02-012020-12-11Mu, C 2020, A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. in 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Explore, pp. 185-192, International Symposium on Theoretical Aspects of Software Engineering , Hangzhou, China, 11/12/20. https://doi.org/10.1109/TASE49443.2020.00033conference978-1-7281-4086-5ORCID: /0000-0002-2988-6939/work/127818464https://hdl.handle.net/2164/199568187283engQA76 Computer softwareQA76A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing SystemsConference item10.1109/TASE49443.2020.00033