An SRN-Based Model for Assessing Co-Resident Attack Mitigation in Cloud with VM Migration and Allocation Policies* | IEEE Conference Publication | IEEE Xplore