Research Directions in Formal Verification of Network Configurations Toward Verification of Mobile Networks

被引：0

作者：

Sakurada, Hideki ^{[1
,2
]}

Sakurai, Kouichi ^{[2
,3
]}

机构：

[1] NTT Corp, Tokyo, Japan

[2] Kyushu Univ, Fukuoka, Japan

[3] Adv Telecommun Res Inst Int, Kyoto, Japan

来源：

MOBILE INTERNET SECURITY, MOBISEC 2023 | 2024年 / 2095卷

关键词：

formal verification; network configuration; software-defined networking;

D O I：

10.1007/978-981-97-4465-7_18

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper reviews current research trends in the formal verification of computer network configurations, specifically focusing on formal verification for software-defined networking (SDN). We explore the challenges encountered when applying formal verification, comparing its application to pre-SDN network verification efforts. Additionally, we discuss the potential application of formal verification in mobile networks. We first provide an overview of research on the formal verification of virtual LAN (VLAN) configurations, which predates the emergence of SDN. We next illustrate SDN and existing research applying formal verification to SDN. Finally, we briefly examine potential scenarios for applying formal verification to mobile networks.

引用

页码：248 / 259

页数：12

共 50 条

[21] Research on Microkernel Integrity Semantics Model and Formal Verification [J].

Qian Zhenjiang ;

Liu Wei ;

Huang Hao .

CHINESE JOURNAL OF ELECTRONICS, 2014, 23 (01) :43-48

[22] A Research Landscape on Formal Verification of Software Architecture Descriptions [J].

Araujo, Camila ;

Cavalcante, Everton ;

Batista, Thais ;

Oliveira, Marcel ;

Oquendo, Flavio .

IEEE ACCESS, 2019, 7 :171752-171764

[23] Blockchain verification and validation: Techniques, challenges, and research directions [J].

Marijan, Dusica ;

Lal, Chhagan .

COMPUTER SCIENCE REVIEW, 2022, 45

[24] Modeling and formal verification of biological regulatory networks: an integrative approach [J].

Monteiro, Pedro T. ;

Freitas, Ana T. ;

Ropers, Delphine ;

Mateescu, Radu ;

de Jong, Hidde .

2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW), 2010, :812-813

[25] Formal Verification of the Coordinated Robust Authenticaion Protocol for Wireless Networks [J].

Ramezani, Khosrow ;

Sithirasenan, Elankayer ;

Muthukkumarasamy, Vallipuram .

2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, :1735-1740

[26] Formal verification of a new version of AOMDV in ad hoc network [J].

Amine, Djellouli Ahmed ;

Kamel, Abdi Mustapha ;

Bouabdellah, Kechar .

5TH INTERNATIONAL CONFERENCE ON EMERGING UBIQUITOUS SYSTEMS AND PERVASIVE NETWORKS / THE 4TH INTERNATIONAL CONFERENCE ON CURRENT AND FUTURE TRENDS OF INFORMATION AND COMMUNICATION TECHNOLOGIES IN HEALTHCARE / AFFILIATED WORKSHOPS, 2014, 37 :160-167

[27] A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges [J].

Li, Yahui ;

Yin, Xia ;

Wang, Zhiliang ;

Yao, Jiangyuan ;

Shi, Xingang ;

Wu, Jianping ;

Zhang, Han ;

Wang, Qing .

IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 21 (01) :940-969

[28] Formal Verification for Wireless Sensor Network in Consideration of Communication Errors [J].

Ikeda, Akihiro ;

Akiyama, Naoki ;

Miyazaki, Toshiaki .

2018 32ND INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN), 2018, :666-670

[29] A formal methodology for integral security design and verification of network protocols [J].

Diaz, Jesus ;

Arroyo, David ;

Rodriguez, Francisco B. .

JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 89 :87-98

[30] Research on Formal Modeling and Verification of on-board ATP System [J].

Chen, Caiyun ;

Luo, Qing ;

Zhang, Fang ;

Wang, Daqing ;

Xue, Xiaoping .

PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMPUTER APPLICATIONS (ICSA 2013), 2013, 92 :27-32

← 1 2 3 4 5 →