Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

A Verification Method of SDN Firewall Applications

Authors
Kang, MiyoungChoi, Jin-YoungKang, InhyeKwak, Hee HwanAhn, So JinShin, Myung-Ki
Issue Date
7월-2016
Publisher
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG
Keywords
software-defined networking; pACSR; formal modeling; formal verification
Citation
IEICE TRANSACTIONS ON COMMUNICATIONS, v.E99B, no.7, pp.1408 - 1415
Indexed
SCIE
SCOPUS
Journal Title
IEICE TRANSACTIONS ON COMMUNICATIONS
Volume
E99B
Number
7
Start Page
1408
End Page
1415
URI
https://scholar.korea.ac.kr/handle/2021.sw.korea/88118
DOI
10.1587/transcom.2015EBP3329
ISSN
0916-8516
Abstract
SDN (Software-Defined Networking) enables software applications to program individual network devices dynamically and therefore control the behavior of the network as a whole. Incomplete programming and/or inconsistency with the network policy of SDN software applications may lead to verification issues. The objective of this paper is to describe the formal modeling that uses the process algebra called pACSR and then suggest a method to verify the firewall application running on top of the SDN controller. The firewall rules are translated into a pACSR process which acts as the specification, and packet's behaviors in SDN are also translated to a pACSR process which is a role as the implementation. Then we prove the correctness by checking whether the parallel composition of two pACSR processes is deadlock-free. Moreover, in the case of network topology changes, our verification can be directly applied to check whether any mismatches or inconsistencies will occur.
Files in This Item
There are no files associated with this item.
Appears in
Collections
School of Cyber Security > Department of Information Security > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher CHOI, Jin Young photo

CHOI, Jin Young
정보보호학과
Read more

Altmetrics

Total Views & Downloads

BROWSE