网络验证中数据平面验证的方法与挑战
如今网络变得越来越复杂，在运营商对网络进行配置时，一些不经意间违规配置可能会酿成大错，因此需要最大程度上保证网络的配置正确，但人工检查又太过繁琐，所以一种新的研究领域——网络验证进入了研究者的视野。网络验证指使用数学中的形式化方法对网络配置进行检查。网络验证可以分为数据平面验证和控制平面验证，如图1[1]所示，数据平面是指网络设备中指定数据包的转发行为的功能，比如转发表、流表；控制平面是指结合网络拓扑、环境信息等生成数据平面的功能，如网络设备的配置文件。
- 2022-03-31
- 阅读123
- 下载0
- 6页
- docx
