Combining Learning and Model-Based Reasoning to Reduce Uncertainties in Cloud Security and Compliance Auditing | IEEE Conference Publication | IEEE Xplore