Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer. A Formal Analysis of Moving Target Defense. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1802-1807, IEEE, 2020. [doi]
Abstract is missing.