Harmonized Monitoring for High Assurance Clouds | IEEE Conference Publication | IEEE Xplore