@inproceedings{6aa6a15059ac4bc59cbbcf1e877e4802,
title = "Formal modeling and verification for SDN firewall application using pACSR",
abstract = "The main purpose of this paper is to describe the formal modeling using the process algebra language called pACSR and then suggest a method to verify the firewall application running on SDN using pACSR. In order to detect the violation of firewall rules in case of SDN network topology changes, we propose a verification framework that can check the deadlock through parallel composition of the specification (SPEC) and its implementation(IMPL). If any mismatches or inconsistencies between SPEC and IMPL occur, they could be detected within the formal framework. This framework provides in advance verification for consistency in SDN before critical error might occur by SDN controlling.",
author = "Miyoung Kang and Choi, {Jin Young} and Kwak, {Hee Hwan} and Inhye Kang and Shin, {Myung Ki} and Yi, {Jong Hwa}",
note = "Publisher Copyright: {\textcopyright} 2015 Taylor & Francis Group, London.; 4th International Conference on Electronics, Communications and Networks, CECNet2014 ; Conference date: 12-12-2014 Through 15-12-2014",
year = "2015",
doi = "10.1201/b18592-31",
language = "English",
isbn = "9781138028302",
series = "Electronics, Communications and Networks IV - Proceedings of the 4th International Conference on Electronics, Communications and Networks, CECNet2014",
publisher = "CRC Press/Balkema",
pages = "155--161",
editor = "Amir Hussain and Mirjana Ivanovic",
booktitle = "Electronics, Communications and Networks IV - Proceedings of the 4th International Conference on Electronics, Communications and Networks, CECNet2014",
}