[论文解读] Privacy-preserving Cross-domain Routing Optimization -- A Cryptographic Approach

Qingjun Chen, Chen Qian+1 more|arXiv (Cornell University)|May 22, 2015

Cryptography and Data Security参考文献 21被引用 4

一句话总结

本文提出 PYCRO，一种用于软件定义网络（SDN）环境中跨域路由优化的隐私保护密码协议。它利用安全-若（Secure-If）操作和同态加密，计算符合策略的最短路径并分配带宽，而无需暴露域拓扑、链路开销或路由策略，实现在包含数千个节点的大规模拓扑中，计算时间低于30秒，每个域通信量低于700 KB。

ABSTRACT

Today's large-scale enterprise networks, data center networks, and wide area networks can be decomposed into multiple administrative or geographical domains. Domains may be owned by different administrative units or organizations. Hence protecting domain information is an important concern. Existing general-purpose Secure Multi-Party Computation (SMPC) methods that preserves privacy for domains are extremely slow for cross-domain routing problems. In this paper we present PYCRO, a cryptographic protocol specifically designed for privacy-preserving cross-domain routing optimization in Software Defined Networking (SDN) environments. PYCRO provides two fundamental routing functions, policy-compliant shortest path computing and bandwidth allocation, while ensuring strong protection for the private information of domains. We rigorously prove the privacy guarantee of our protocol. We have implemented a prototype system that runs PYCRO on servers in a campus network. Experimental results using real ISP network topologies show that PYCRO is very efficient in computation and communication costs.

研究动机与目标

• 解决多域网络中跨域路由优化缺乏高效且隐私保护解决方案的问题。
• 在域间路径计算过程中，保护敏感的域信息，如拓扑结构、链路时延、带宽和路由策略。
• 在不依赖可信第三方或暴露私有数据的前提下，实现高效且可扩展的 SDN 环境路由优化。
• 设计一种协议，在保护域自治性和本地策略的同时，实现全网优化。

提出的方法

• 开发一种名为安全-若（Secure-If）操作的新密码原原子，以在不泄露输入的前提下实现安全计算中的条件逻辑。
• 集成同态加密，允许在加密的域状态数据上进行计算，从而在路径计算过程中保护隐私。
• 设计一种分布式的协议，由每个域中的 SDN 控制器协同执行，确保任何单一实体都无法看到完整的网络状态。
• 实现两个核心功能：使用安全-若和同态加密原原子，计算符合策略的最短路径和带宽分配。
• 通过最小化冗余操作并利用网络拓扑的结构特征，优化通信和计算开销。
• 在校园网络原型中使用真实 ISP 拓扑，评估在真实条件下的性能表现。

实验结果

研究问题

• RQ1 能否设计一种密码学安全且高效的协议，用于跨域最短路径计算，同时保护域隐私？
• RQ2 如何在不暴露私有拓扑或容量信息的前提下，安全地计算跨多个域的带宽分配？
• RQ3 与通用安全多方计算（SMPC）方案相比，定制密码技术能在多大程度上降低性能开销？
• RQ4 该协议是否在确保端到端优化的同时，维持域自治性并支持符合策略的路由？

主要发现

• PYCRO 在包含数千台交换机和链路的拓扑中，计算最短路径树的时间低于30秒，每个域交换的数据量低于700 KB。
• 与通用 SMPC 方案（如 Fairplay 和 SEPIA）相比，该协议在时间和带宽效率方面实现了10倍的提升。
• 执行时间与域的数量、域间链路数以及网关数呈线性增长，表明性能具有可预测性和高效性。
• 通信开销保持较低水平——即使在最大规模的拓扑中，每个域的通信量也低于1 MB，展现出优异的通信效率。
• 带宽分配协议成功找到多条不相交的路径以满足聚合流需求，且在多次运行中性能保持稳定。
• 该协议的隐私保证已通过形式化证明，确保任一域仅能获取自身输入和最终输出，无法获知其他私有信息。