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 条
  • [1] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [2] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [3] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [4] Formal Verification of Mobile Agent Based Anomaly Detection in Wireless Sensor Networks
    Usman, Muhammad
    Muthukkumarasamy, Vallipuram
    Wu, Xin-Wen
    PROCEEDINGS OF THE 2013 38TH ANNUAL IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS WORKSHOPS (LCN WORKSHOPS), 2013, : 1001 - 1009
  • [5] Toward Automated Attack Discovery in SDN Controllers Through Formal Verification
    Yuan, Bin
    Zhang, Chi
    Ren, Jiajun
    Chen, Qunjinming
    Xu, Biang
    Zhang, Qiankun
    Li, Zhen
    Zou, Deqing
    Zhang, Fan
    Jin, Hai
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2024, 21 (03): : 3636 - 3655
  • [6] Formal Verification Methodology Considerations for Network on Chips
    Venu, Balaji
    Singh, Ashwani
    PROCEEDINGS OF THE 2012 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI'12), 2012, : 220 - 225
  • [7] Research on Formal Design and Verification of Operating Systems
    Qian, Zhenjiang
    Liu, Yongjun
    Jin, Yong
    Xing, Xiaoshuang
    Zhang, Mingxin
    Gong, Shengrong
    Liu, Wei
    Yang, Weiyong
    Tan, Jack
    Zhang, Lifeng
    EMBEDDED SYSTEMS TECHNOLOGY, ESTC 2017, 2018, 857 : 81 - 88
  • [8] Application Research of Formal Verification in Aerospace FPGA
    Liu, Shiyu
    Li, Dongfang
    Shen, Wei
    Wang, Zhihao
    Yang, Guang
    Song, Xiaojing
    2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 797 - 805
  • [9] Security in Wireless Sensor Networks: A formal verification of protocols
    Nandi, Giann Spilere
    Pereira, David
    Vigil, Martin
    Moraes, Ricardo
    Morales, Analucia Schiaffino
    Araujo, Gustavo
    2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 425 - 431
  • [10] Neural Networks Verification: Perspectives from Formal Method
    Maity, Priyanka
    PROCEEDINGS OF THE 17TH INNOVATIONS IN SOFTWARE ENGINEERING CONFERENCE, ISEC 2024, 2024,
12345