0 Tianwei Zhang Ruby B. Lee 2018 Design, Implementation and Verification of Cloud Architecture for Monitoring a Virtual Machine’s Security Health IEEE Transactions on Computers IEEE 67 6 06/2018