Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.

Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie

Browse the full TASE paper archive.