Verifying Policy-based Routing at Internet Scale.

Xiaozhe Shao, Lixin Gao

Browse the full INFOCOM paper archive.