论文部分内容阅读
针对软件定义网络(SDN)中控制层网络策略与数据层流规则不一致的问题,提出了验证控制与数据平面的一致性(VeriC)检测模型。首先,通过交换机上的VeriC管道实现数据包处理子系统的功能:对数据包进行采样,采样数据包经过交换机时,对其中的标签字段进行更新;然后,更新完成后将标签值发送到服务器并保存在实际标签值组;最后,将实际标签值组与已保存的正确标签值组一起发送到验证子系统,进行一致性验证,若不通过,则进一步将两组标签值发送到定位子系统,找出流表项发生错误的交换机。通过ns-3模拟器生成一个含有4