Muhammad Abdul Basit Ur Rahim, Ehab Al-Shaer, Qi Duan. A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense. In Noseong Park, Kun Sun 0001, Sara Foresti, Kevin R. B. Butler, Nitesh Saxena, editors, Security and Privacy in Communication Networks - 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part I. Volume 335 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 61-79, Springer, 2020. [doi]
Abstract is missing.