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