A Formal Analysis of Moving Target Defense.

Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer

Browse the full COMPSAC paper archive.