Results 1 - 3 of 3

FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing

by Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia - In Proc. ACM SIGCOMM Int. Conf. on Data Communication (SIGCOMM) - Demonstration, 2011. Runner-up for the ACM Student Research Competition
"... We present the demonstration of a comprehensive toolkit for analyzing and implementing routing policies, ranging from high-level guidelines to specific router configurations. Our Formally Safe Routing (FSR) toolkit performs all of these functions from the same algebraic representation of routing pol ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
We present the demonstration of a comprehensive toolkit for analyzing and implementing routing policies, ranging from high-level guidelines to specific router configurations. Our Formally Safe Routing (FSR) toolkit performs all of these functions from the same algebraic representation of routing

FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing

by Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn Talcott , 2011
"... Inter-domain routing stitches the disparate parts of the Internet together, making protocol stability a critical issue to both researchers and practitioners. Yet, researchers create safety proofs and counter-examples by hand, and build simulators and prototypes to explore protocol dynamics. Similarl ..."
Abstract - Cited by 6 (6 self) - Add to MetaCart
. Similarly, network operators analyze their router configurations manually, or using home-grown tools. In this paper, we present a comprehensive toolkit for analyzing and implementing routing policies, ranging from high-level guidelines to specific router configurations. Our Formally Safe Routing (FSR

1FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing

by Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn Talcott
"... Abstract—Inter-domain routing stitches the disparate parts of the Internet together, making protocol stability a critical issue to both researchers and practitioners. Yet, researchers create safety proofs and counter-examples by hand, and build simulators and prototypes to explore protocol dynamics. ..."
Abstract - Add to MetaCart
. Similarly, network operators analyze their router configurations manually, or using home-grown tools. In this paper, we present a comprehensive toolkit for analyzing and implementing routing policies, ranging from high-level guidelines to specific router configurations. Our Formally Safe Routing (FSR
Results 1 - 3 of 3