Scalable Security Models for Assessing Effectiveness of Moving Target Defenses | IEEE Conference Publication | IEEE Xplore