DMCA

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

by Anduo Wang , Limin Jia , Wenchao Zhou , Yiqing Ren , Boon Thau Loo , Jennifer Rexford , Vivek Nigam , Andre Scedrov , Carolyn Talcott
Citations:6 - 6 self