论文标题
全寿命周期意图驱动的网络验证：挑战和方法
Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches
论文作者
论文摘要
凭借人类友好的宣告性政策表达，意图驱动的网络可以使网络管理和配置自治而无需人工干预。但是，应通过全生命周期验证来很好地确保这些精制政策与表达意图的可用性和可靠性。此外，意图驱动的网络验证仍处于初始阶段，并且缺乏全生命周期的端到端验证框架。结果，在本文中，我们介绍和审查现有的验证技术，并根据目标，目的和反馈对它们进行分类。此外，我们将意图验证描述为一种在意图形式转换过程中提供保证的技术，并提出了一个新颖的全寿命周期验证框架，该框架扩展了传统网络验证的概念。最后，在具有多个冲突意图的不同网络功能的访问控制策略的情况下，我们验证了所提出的验证框架的可行性和有效性。
With the human friendly declarative intent policy expression, intent-driven network can make network management and configuration autonomous without human intervention. However, the availability and dependability of these refined policies from the expressed intents should be well ensured by full-life cycle verification. Moreover, intent-driven network verification is still in its initial stage, and there is a lack of full-life cycle end-to-end verification framework. As a result, in this article, we present and review existing verification techniques, and classify them according to objective, purpose, and feedback. Furthermore, we describe intent verification as a technology that provides assurance during the intent form conversion process and propose a novel full-life cycle verification framework that expands on the concept of traditional network verification. Finally, we verify the feasibility and validity of the presented verification framework in the case of an access control policy for different network functions with multi conflict intents.
