A Verification Method of Enterprise Network Reachability Based on Topology Path.

Yazhuo Li Yang Luo Zhao Wei Chunhe Xia Xiaoyan Liang

Published in: CIS (2013)

Keyphrases

verification method
enterprise network
model checking
temporal logic
security issues
state space
policy enforcement
shortest path
attack graph
social networks
low cost