Association for Computing Machinery
Enterprise networks often have complex routing designs given the need to meet a wide set of resiliency, security and routing policies. In this paper, the authors take the position that minimizing design complexity must be an explicit objective of routing design. They take a first step to this end by presenting a systematic approach for modeling and reasoning about complexity in enterprise routing design. They make three contributions. They present a framework for precisely defining objectives of routing design, and for reasoning about how a combination of routing design primitives (e.g. routing instances, static routes, and route filters etc.) will meet the objectives.