[论文解读] Network-Destabilizing Attacks

Robert Lychev, Sharon Goldberg+1 more|arXiv (Cornell University)|Mar 8, 2012

Network Traffic and Congestion Control参考文献 7被引用 7

一句话总结

本文通过证明在现实世界商业路由策略下，'固定路径攻击'——即攻击者持续宣告同一虚假路由——不会引发BGP不稳定，解释了尽管存在广泛BGP错误配置和攻击，互联网为何仍保持稳定。作者证明，在高度为 $x$ 的客户-提供商层级结构中，所有非攻击者节点均在 $2x+1$ 个异步轮次内稳定，确保即使在任意初始状态和激活顺序下，网络也能实现全局收敛。

ABSTRACT

The Border Gateway Protocol (BGP) sets up routes between the smaller networks that make up the Internet. Despite its crucial role, BGP is notoriously vulnerable to serious problems, including (1) propagation of bogus routing information due to attacks or misconfigurations, and (2) network instabilities in the form of persistent routing oscillations. The conditions required to avoid BGP instabilities are quite delicate. How, then, can we explain the observed stability of today's Internet in the face of common configuration errors and attacks? This work explains this phenomenon by first noticing that almost every observed attack and misconfiguration to date shares a common characteristic: even when a router announces egregiously bogus information, it will continue to announce the same bogus information for the duration of its attack/misconfiguration. We call these the "fixed-route attacks", and show that, while even simple fixed-route attacks can destabilize a network, the commercial routing policies used in today's Internet prevent such attacks from creating instabilities.

研究动机与目标

• 解释尽管频繁出现BGP错误配置和攻击，互联网为何仍保持稳定。
• 阐明为何固定路径攻击——即攻击者反复宣告同一虚假路由——不会引发持续的路由振荡。
• 形式化BGP在面对此类攻击时保持稳定所依赖的条件。
• 证明商业路由策略可防止固定路径攻击在现实世界网络拓扑中引发不稳定。

提出的方法

• 将互联网建模为一个以目标节点 $d$ 为核心的客户-提供商层级结构，使用无向图 $G=(V,E)$，其中节点代表自治系统（ASes）。
• 提出一种BGP执行的正式模型，采用异步轮次机制，节点根据本地策略处理更新并选择路由。
• 定义路由收敛的三个阶段：FCR（固定客户路由）、FPeeR（固定对等路由）和FPrvR（固定提供商路由），每个阶段均有特定的收敛保证。
• 利用引理证明：在客户-提供商层级高度为 $x$ 的情况下，对等路由节点在 $x+1$ 轮内稳定，提供商路由节点在 $2x+1$ 轮内稳定。
• 引入'导出策略'和路由排序机制，以建模现实世界中的商业路由行为，确保仅考虑有效且无环的路径。
• 证明固定路径攻击者由于从一开始就宣告同一路由，不会因层级结构和策略约束而破坏收敛。

实验结果

研究问题

• RQ1 为何尽管频繁出现BGP错误配置和攻击，互联网仍保持稳定？
• RQ2 固定路径攻击——即攻击者持续宣告同一虚假路由——是否会导致BGP持续不稳定？
• RQ3 何种结构和策略条件可防止固定路径攻击破坏BGP路由稳定性？
• RQ4 在客户-提供商层级结构中，所有非攻击者节点需要多少个异步轮次才能稳定至固定路由？
• RQ5 在何种条件下，BGP可保证收敛，而与初始状态和节点激活顺序无关？

主要发现

• 当路由为对等路由时，所有非攻击者节点在 $x+1$ 个异步轮次内稳定，其中 $x$ 为客户-提供商层级的高度。
• 当路由为提供商路由时，所有非攻击者节点在 $2x+1$ 个异步轮次内稳定，条件同上。
• 固定路径攻击不会引发不稳定，因为当今互联网中使用的商业路由策略可防止即使在宣告虚假路由时也出现振荡。
• 证明依赖于引理，表明其BPR集合（最佳路径记录）中已固定路由的节点会早期收敛，且不影响后续稳定过程。
• 收敛时间与初始路由配置和节点激活顺序无关，确保了鲁棒性。
• 该模型证明收敛路径中不可能形成客户-提供商环路，从而保持无环路由和稳定性。