符号 NetKAT 自动机的主动学习

NetKAT 是一种用于指定和验证数据包交换网络行为的领域特定编程语言和逻辑，已成功应用于实际场景。本文发展了针对未知网络进行自动学习 NetKAT 模型的技术方法。先前的工作已探索了针对广泛自动机（如确定性自动机、寄存器自动机、Büchi 自动机、定时自动机等）的主动学习，并开发了诸如验证网络协议实现的应用。我们present了用于学习不同类型的 NetKAT 自动机算法，包括最近提出的符号自动机。我们证明了这些算法的正确性，构建了原型实现，并在标准基准测试上进行评估。我们的结果凸显了符号 NetKAT 学习在实际网络配置和拓扑结构中的适用性。