A Formal Analysis of Moving Target Defense | IEEE Conference Publication | IEEE Xplore