Login / Signup

A Formal Analysis of Moving Target Defense.

Muhammad Abdul Basit Ur RahimQi DuanEhab Al-Shaer
Published in: COMPSAC (2020)
Keyphrases
  • formal analysis
  • moving target defense
  • formal methods
  • agent model
  • ban logic
  • knowledge base
  • real time
  • data model
  • cost effective