![](/img/cover-not-exists.png)
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing
Wang, Anduo, Jia, Limin, Zhou, Wenchao, Ren, Yiqing, Loo, Boon Thau, Rexford, Jennifer, Nigam, Vivek, Scedrov, Andre, Talcott, CarolynVolume:
20
Language:
english
Journal:
IEEE/ACM Transactions on Networking
DOI:
10.1109/TNET.2012.2187924
Date:
December, 2012
File:
PDF, 1.69 MB
english, 2012