%0 Journal Article %J IEEE Transactions on Computers %D 2017 %T Design, Implementation and Verification of Cloud Architecture for Monitoring a Virtual Machine?s Security Health %A Zhang, Tianwei %A Lee, Ruby %I IEEE %8 12/2017