The routing of traffic between Internet domains, or Autonomous Systems (ASes), a task known as interdomain routing, is currently handled by the Border Gateway Protocol (BGP) [21]. Using BGP, ASes can apply semantically rich routing policies to choose interdomain routes in a distributed fashion. This expressiveness in routing-policy choice supports domains' autonomy in network operations and in business decisions, but it comes at a price: The interaction of locally defined routing policies can lead to un- J. Feigenbaum was supported in part by ONR grants N00014-01-1-0795, N00014-04-1-0725, and N00014-09-1-0757, by NSF grants 0208972, 0219018, and 0428422, and by HSARPA grant ARO-1756303.V. Ramachandran was supported in part by ONR grant N00014-01-1-0795 and by NSF grants 0524139 and 0751674; work done in part while at ICSI and at the Stevens Institute of Technology.M. Schapira was supported by NSF grant 0331548 and by grants from the Israel Science Foundation and the USA-Israel Bi-national Science Foundation; work done in part while visiting Yale University as a graduate student at the Hebrew University of Jerusalem. (see, e.g., [24]). Networking researchers have addressed this problem by devising constraints on policies that guarantee BGP convergence without unduly limiting expressiveness and autonomy (see, e.g., [9,11]).
J. Feigenbaum (corresponding author)In addition to taking this engineering or "protocoldesign" approach, researchers have approached interdomain routing from an economic or "mechanism-design" point of view. It is known that lowest-cost-path (LCP) routing can be implemented in an incentive-compatible, BGP-compatible manner [4,22] but that several other natural classes of policies cannot [3,6]. In this paper, we present the first example of a class of interdomain-routing policies that is more general than LCP routing and for which BGP itself is both incentive-compatible and guaranteed to converge. We also present several steps toward a general theory of incentivecompatible, BGP-compatible interdomain routing.