Towards a Model Based Security Testing Approach of Cloud Computing Environments | IEEE Conference Publication | IEEE Xplore