@inproceedings{4fbe0342d91e40c2994dbeedfd92d647,
title = "A verification method of enterprise network reachability based on topology path",
abstract = "The enlargement of the current enterprise network scale makes the conflict between application systems and network devices inevitable. To address this issue, this paper proposed a verification method of network reach ability based on topology path. Our approach extracts communication need of application systems through formalization method, so the problem of whether the communication need will be met can be transformed into the verification problem of topology path reach ability via SNMP and Telnet based topology discovery and graph theory techniques. Experimental results indicate that our approach is able to mark the conflict nodes and paths on the topology graph of the network. Moreover, a literal report containing conflict reasons is provided as a helpful guidance of further conflict resolution for network administrators.",
keywords = "Application system, Depth-first search, Firewall, Reachability, SNMP, Topology path",
author = "Yazhuo Li and Yang Luo and Zhao Wei and Chunhe Xia and Xiaoyan Liang",
year = "2013",
doi = "10.1109/CIS.2013.137",
language = "英语",
isbn = "9781479925483",
series = "Proceedings - 9th International Conference on Computational Intelligence and Security, CIS 2013",
pages = "624--629",
booktitle = "Proceedings - 9th International Conference on Computational Intelligence and Security, CIS 2013",
note = "9th International Conference on Computational Intelligence and Security, CIS 2013 ; Conference date: 14-12-2013 Through 15-12-2013",
}