A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
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