基于布尔函数的网络可达性验证方法  

Network reachability verification method based on Boolean functions

作　　者：张立群 林海涛[1] 沈钊[1] Zhang Liqun;Lin Haitao;Shen Zhao(College of Electronics Engineering,Naval University of Engineering,Wuhan 430000,China)

机构地区：[1]海军工程大学电子工程学院,武汉430000

出　　处：《计算机应用研究》2022年第9期2812-2817,共6页Application Research of Computers

摘　　要：针对SDN中由于不同应用的转发路径交叠等导致的数据平面配置问题,提出一种基于布尔函数的网络可达性验证方法。首先,将网络拓扑抽象为端口拓扑并计算端口邻接矩阵;之后,生成网络的路径空间和各端口的转发函数并计算每条路径的路径函数;最后通过判断路径函数的可满足性来确定路径的可达性。通过仿真实验,对网络拓扑和流规则规模等因素对算法验证效率的影响进行研究,并将所提方法与APV和DASDA进行性能比较。实验结果表明,所提方法能够有效检测SDN中的流规则配置问题。随着网络中环路的增加和流规则规模的增长,验证网络所需的时间开销逐渐增加。其中,网络拓扑对路径生成时间影响较大,而转发函数的生成时间则主要受流规则规模的影响。方法的验证时间相较于APV和DASDA分别平均缩短约53.76%和27.74%。Aiming at the data plane configuration problem caused by overlapping forwarding paths of different applications in SDN,this paper proposed a Boolean function-based network reachability verification method.Firstly, it abstracted the network topology into port topology and calculated the port adjacency matrix, then it generated the path space of the network and the forwarding function of each port, and calculated the path function of each path.Finally, it judged the accessibility of path from the satisfiability of path function.Through simulation experiments, this paper studied the influence of factors such as network topo-logy and flow rule scale on the algorithm verification efficiency, and the performance of the proposed method was compared with APV and DASDA.Experimental results show that the proposed method can effectively detect flow rule configuration problems in SDN.As the number of loops in the network increases and the size of the flow rules grows, the time overhead required to verify the network gradually increases.Among them, the network topology has a great influence on the path generation time, and the generation time of the forwarding function is mainly affected by the scale of the flow rule.Compared with APV and DASDA,the time to verify is shortened by an average of about 53.76% and 27.74%,respectively.

关 键 词：软件定义网络 规则配置 可达性验证 布尔函数 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]