A Verification Method of Enterprise Network Reachability Based on Topology Path | IEEE Conference Publication | IEEE Xplore