Results 1 -
3 of
3
FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing
- 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
, 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
"... 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