A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense.

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

Browse the full SecureComm paper archive.