FSR: formal analysis and implementation toolkit for safe interdomain routing

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw., 20(6):1814-1827, 2012. [doi]

Abstract

Abstract is missing.