A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
Files
Date
2020-12-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE Explore
Citation
Mu, 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.00033
conference
conference