Technology of Network & Communication
|
App. Res. of Comp. Printed Article
Vol. 39, 2022 No. 9
2812-2817

Network reachability verification method based on Boolean functions

Zhang Liqun
Lin Haitao
Shen Zhao
College of Electronics Engineering, Naval University of Engineering, Wuhan 430000, China
DOI: 10.19734/j.issn.1001-3695.2022.01.0049

Abstract

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 topology 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.

Publish Information

DOI: 10.19734/j.issn.1001-3695.2022.01.0049
Publish at: Application Research of Computers Printed Article, Vol. 39, 2022 No. 9
Section: Technology of Network & Communication
Pages: 2812-2817
Serial Number: 1001-3695(2022)09-039-2812-06

Publish History

[2022-04-11] Accepted Paper
[2022-09-05] Printed Article

Cite This Article

张立群, 林海涛, 沈钊. 基于布尔函数的网络可达性验证方法 [J]. 计算机应用研究, 2022, 39 (9): 2812-2817. (Zhang Liqun, Lin Haitao, Shen Zhao. Network reachability verification method based on Boolean functions [J]. Application Research of Computers, 2022, 39 (9): 2812-2817. )

About the Journal

  • Application Research of Computers Monthly Journal
  • Journal ID ISSN 1001-3695
    CN  51-1196/TP

Application Research of Computers, founded in 1984, is an academic journal of computing technology sponsored by Sichuan Institute of Computer Sciences under the Science and Technology Department of Sichuan Province.

Aiming at the urgently needed cutting-edge technology in this discipline, Application Research of Computers reflects the mainstream technology, hot technology and the latest development trend of computer application research at home and abroad in a timely manner. The main contents of the journal include high-level academic papers in this discipline, the latest scientific research results and major application results. The contents of the columns involve new theories of computer discipline, basic computer theory, algorithm theory research, algorithm design and analysis, blockchain technology, system software and software engineering technology, pattern recognition and artificial intelligence, architecture, advanced computing, parallel processing, database technology, computer network and communication technology, information security technology, computer image graphics and its latest hot application technology.

Application Research of Computers has many high-level readers and authors, and its readers are mainly senior and middle-level researchers and engineers engaged in the field of computer science, as well as teachers and students majoring in computer science and related majors in colleges and universities. Over the years, the total citation frequency and Web download rate of Application Research of Computers have been ranked among the top of similar academic journals in this discipline, and the academic papers published are highly popular among the readers for their novelty, academics, foresight, orientation and practicality.

Indexed & Evaluation

  • The Second National Periodical Award 100 Key Journals
  • Double Effect Journal of China Journal Formation
  • the Core Journal of China (Peking University 2023 Edition)
  • the Core Journal for Science
  • Chinese Science Citation Database (CSCD) Source Journals
  • RCCSE Chinese Core Academic Journals
  • Journal of China Computer Federation
  • 2020-2022 The World Journal Clout Index (WJCI) Report of Scientific and Technological Periodicals
  • Full-text Source Journal of China Science and Technology Periodicals Database
  • Source Journal of China Academic Journals Comprehensive Evaluation Database
  • Source Journals of China Academic Journals (CD-ROM Version), China Journal Network
  • 2017-2019 China Outstanding Academic Journals with International Influence (Natural Science and Engineering Technology)
  • Source Journal of Top Academic Papers (F5000) Program of China's Excellent Science and Technology Journals
  • Source Journal of China Engineering Technology Electronic Information Network and Electronic Technology Literature Database
  • Source Journal of British Science Digest (INSPEC)
  • Japan Science and Technology Agency (JST) Source Journal
  • Russian Journal of Abstracts (AJ, VINITI) Source Journals
  • Full-text Journal of EBSCO, USA
  • Cambridge Scientific Abstracts (Natural Sciences) (CSA(NS)) core journals
  • Poland Copernicus Index (IC)
  • Ulrichsweb (USA)