Semi-Markov availability model considering deliberate malicious impacts on an Infrastructure-as-a-Service Cloud | IEEE Conference Publication | IEEE Xplore