Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking | IEEE Conference Publication | IEEE Xplore