Name
Abstract | ||
|---|---|---|
OpenFlow is considered as one of the first standard of software defined networking (SDN). The OpenFlow scheduled bundle mechanism is a latest mechanism proposed in OpenFlow protocol to guarantee the completeness and consistency of messages transimitted between SDN switches and controllers during the communication process. Due to the requirement of reliability and security, it is of great significance to formally analyze and verify the mechanism. In this paper, we apply Communication Sequential Processes (CSP) and use the model checker Process Analysis ToolKit (PAT) to model and verify the OpenFlow scheduled bundle mechanism. We verify the main property of the mechanism, schedulability. In addition, we analyze and verify the security of the mechanism and find that it suffers from some kinds of possible attacks. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1109/COMPSAC.2018.10261 | 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) |
Keywords | Field | DocType |
Software Defined Networking, Scheduled Bundle, Security, Modeling, Verifying | Model checking,Computer science,Real-time computing,OpenFlow,Software,Process control,Control system,Software-defined networking,Completeness (statistics),Bundle,Distributed computing | Conference |
Volume | ISSN | ISBN |
02 | 0730-3157 | 978-1-5386-2667-2 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Huiwen Wang | 1 | 29 | 14.15 |
| Huibiao Zhu | 2 | 2 | 8.48 |
| Lili Xiao | 3 | 1 | 5.43 |
| Wanling Xie | 4 | 4 | 6.88 |
| Gang Lu | 5 | 7 | 5.59 |