FSR: Formal analysis and implementation toolkit for safe interdomain routing (2011)

by A Wang, L Jia, W Zhou, Y Ren, B T Loo, J Rexford, V Nigam, A Scedrov, C Talcott