NeTS: Small: Routing Design and Analysis with Incomplete Information

网络路由是用于确定数据传输的最佳路径的技术集合。这些路径的选择是多个网络和协议之间复杂的策略驱动交互的结果。很难理解采用特定策略配置的后果，特别是因为每个运营商对全球网络的看法都是不完整的。一些策略的组合可能会导致连接丢失、采用次优路径或协议收敛失败，本研究旨在提供理论和实践方法，使运营商能够在缺乏完整信息的情况下管理策略的交互。中央形式主义是一个协议不可知模型的部分政策规范。该模型支持各种任务，例如根据高级目标合成本地策略的未指定部分、配置修复以及从一个策略到另一个策略的计划迁移。这些应用程序中的每一个都将被赋予严格的算法基础的政策模型，并在模拟和真实的路由平台上实现。其他研究目标包括在基本模型之上开发更高级别的政策表述，并提供使用不完整信息框架评估政策隐私的工具，这项研究的更广泛影响包括在标准网络平台上开发政策分析和综合的实用工具。这将使重要的路由策略管理任务能够放心地执行。与这些工具的开发和验证相关的学生项目对他们的教育具有直接的重要性。

Network routing is the ensemble of technologies for determining optimal paths for data delivery. These paths are selected as a result of complex policy-driven interactions between multiple networks and protocols. It is hard to understand the consequences of adopting particular policy configurations, especially since each individual operator's view of the global network is incomplete. Some combinations of policy can lead to loss of connectivity, the adoption of sub-optimal paths, or protocol convergence failure.This research project aims to provide theoretical and practical methods by which operators can manage the interaction of policy in the absence of complete information. The central formalism is a protocol-agnostic model of partial policy specifications. This model supports a variety of tasks, such as the synthesis of unspecified parts of local policy according to high-level objectives, configuration repair, and planned migration from one policy to another. Each of these applications is to be given a rigorous algorithmic basis in terms of the policy model, and implemented on simulated and real routing platforms. Additional research goals include the development of higher-level policy representations on top of the basic model, and providing tools for assessing policy privacy using the incomplete information framework.The broader impacts of this research include the development of practical tools for policy analysis and synthesis, on standard network platforms. This will allow important routing policy management tasks to be carried out with confidence. Student projects connected to the development and validation of these tools will be of direct importance to their education.