Model-based Performance Evaluation of a Moving Target Defense System | IEEE Conference Publication | IEEE Xplore