网络验证研究综述
作者:
作者单位:

作者简介:

方星(1997-), 男, 硕士生, 主要研究领域为网络验证, 网络安全, 计算机网络;胡波(1981-), 男, 硕士, 高级工程师, 主要研究领域为网络安全, 网络验证;马超(1991-), 男, 工程师, 主要研究领域为网络风险评估, 网络验证;黄伟庆(1972-), 男, 博士, 正高级工程师, 博士生导师, CCF 高级会员, 主要研究领域为网络安全, 物联网安全, 云计算安全, 信号处理理论与技术, 电磁声光检测与防护

通讯作者:

胡波,E-mail:hubo@iie.ac.cn

中图分类号:

基金项目:

国家重点研发计划(2019YFB1005205)


Survey on Network Verification
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    随着计算机网络规模和复杂度的日益增长, 网络管理人员难以保证网络意图得到了正确实现, 错误的网络配置将影响网络的安全性和可用性. 受到形式化方法在硬软件验证领域中成功应用的启发, 研究人员将形式化方法应用到网络中, 形成了一个新的研究领域, 即网络验证(network verification), 旨在使用严格的数学方法证明网络的正确性. 网络验证已经成为当下网络和安全领域的热点研究, 其研究成果也在实际网络中得到了成功应用. 从数据平面验证、控制平面验证和有状态网络验证3个研究方向, 对网络验证领域的已有研究成果进行了系统总结, 对研究热点内容与解决方法进行了分析, 旨在整理网络验证领域的发展脉络, 为本领域研究者提供系统性文献参考和未来工作展望.

    Abstract:

    With the increasing scale and complexity of computer networks, it is difficult for network administrators to ensure that the network intent has been correctly realized, and the incorrect network configuration will affect the security and availability of the network. Inspired by the successful application of formal methods in the field of hardware verification and software verification, researchers applied formal methods to networks, forming a new research field, namely network verification, which aims to use rigorous mathematical methods to prove the correctness of the network. Network verification has become a hot research topic in the field of network and security, and its research results have been successfully applied in actual networks. From the three research directions of data plane verification, control plane verification, and stateful network verification, this study systematically summarizes the existing research results in the field of network verification, and analyzes the research hotspots and related solutions, aiming to organize the field of network verification and provides systematic references and future work prospects for researchers in the field.

    参考文献
    相似文献
    引证文献
引用本文

方星,胡波,马超,黄伟庆.网络验证研究综述.软件学报,2023,34(1):351-380

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2021-05-24
  • 最后修改日期:2021-09-07
  • 录用日期:
  • 在线发布日期: 2021-11-24
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号