@inproceedings{a3c5ced048ef4446929dd752c7d53bcd,
title = "Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP",
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.",
keywords = "Modeling, Scheduled Bundle, Security, Software Defined Networking, Verifying",
author = "Huiwen Wang and Huibiao Zhu and Lili Xiao and Wanling Xie and Gang Lu",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 ; Conference date: 23-07-2018 Through 27-07-2018",
year = "2018",
month = jun,
day = "8",
doi = "10.1109/COMPSAC.2018.10261",
language = "英语",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "376--381",
editor = "Claudio Demartini and Sorel Reisman and Ling Liu and Edmundo Tovar and Hiroki Takakura and Ji-Jiang Yang and Chung-Horng Lung and Ahamed, \{Sheikh Iqbal\} and Kamrul Hasan and Thomas Conte and Motonori Nakamura and Zhiyong Zhang and Toyokazu Akiyama and William Claycomb and Stelvio Cimato",
booktitle = "Proceedings - 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018",
address = "美国",
}