Scalable Security Analysis Using a Partition and Merge Approach in an Infrastructure as a Service Cloud | IEEE Conference Publication | IEEE Xplore