Scalable Router Connguration for the Internet

Connguring routers to realize various policies is a diicult task. We classify the typical Internet routing policies and present a speciication language where these policies can be speciied at high level. We also present a tool that analyses the policies speciied in this language and generates the low level router con-gurations.