Specification-driven Moving Target Defense Synthesis.

Md. Mazharul Islam Qi Duan Ehab Al-Shaer

Published in: MTD@CCS (2019)

Keyphrases

moving target defense
data driven
formal verification
specification language
high level
data mining
search engine
computer vision
real world
search algorithm
expert systems
end to end
texture synthesis
temporal ordering