软件学报

作者：方星，胡波，马超，黄伟庆

单位：方星，中国科学院 信息工程研究所, 北京 100093;中国科学院大学 网络空间安全学院, 北京 10004911,胡波，中国科学院 信息工程研究所, 北京 10009302,马超，中国科学院 信息工程研究所, 北京 10009303,黄伟庆，中国科学院 信息工程研究所, 北京 10009304

关键词：网络验证;形式化方法;网络可靠性;网络安全;基于意图的网络

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

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

来源：2023年第1期

《软件学报》期刊编辑部

查看软件学报杂志2023年第1期