网络验证中数据平面验证的方法与挑战

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

  • 2022-03-31
  • 收藏0
  • 阅读50
  • 下载0
  • 6页
  • docx
  • 487.31M

评价

评分 :
   *