Title | ||
---|---|---|
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra |
Abstract | ||
---|---|---|
•Formalizes a general framework for software-defined networks using CSP.•Instantiates and extends the framework to build a system model for TopoGuard.•Finds two loopholes of TopoGuard by verifying the system model in PAT.•Proposes a new topology discovery mechanism to solve the two loopholes.•Discusses the verification results for a larger set of networks. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.scico.2019.102343 | Science of Computer Programming |
Keywords | Field | DocType |
Formal verification,Modeling,SDN,Secure topology discovery,TopoGuard | Topology,Computer science,Communicating sequential processes,Separation of concerns,OpenFlow,Software-defined networking,Process calculus,System model,Formal verification,Data flow diagram | Journal |
Volume | ISSN | Citations |
187 | 0167-6423 | 0 |
PageRank | References | Authors |
0.34 | 0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shuangqing Xiang | 1 | 1 | 2.06 |
Huibiao Zhu | 2 | 583 | 86.68 |
Xi Wu | 3 | 0 | 0.34 |
Lili Xiao | 4 | 1 | 5.43 |
Marcello Bonsangue | 5 | 0 | 0.34 |
Wanling Xie | 6 | 4 | 6.88 |
Lei Zhang | 7 | 16 | 4.99 |