Login / Signup

Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge.

Xing FangFeiyan DingBang HuangZiyi WangGao HanRulan YangLizhao YouQiao XiangLinghe KongYutong LiuJiwu Shu
Published in: INFOCOM (2024)
Keyphrases
  • network configuration
  • domain knowledge
  • attack graph
  • expert systems
  • natural language processing
  • statistical analysis
  • manufacturing systems