Decision Diagram-Based Modeling of Network Reachability
Zheng Chan Rao, Tian Yin Pu · Applied Mechanics and Materials · 2014
The computer network attack graph generation method obtained mostly through network scanning, this network reachability information, this approach takes a long presence information and incomplete defects by analyzing network reachability main task of research and developing trends is proposed based on binary decision diagrams algorithm approach to achieve network reachability studies. The algorithm uses the decision diagram modeling firewall rules, through the collection operations to achieve network reachability studies.