SDN A VERIFICATION SYSTEM OF SDNSOFTWARE DEFINED NETWORKING FIREWALL APPLICATION AND THE VERIFICATION METHOD

摘要

A verification system of a firewall application of software defining networking (SDN) with an SDN controller according to the present invention, comprises: a firewall verification frame module which generates deadlock generation information between a first process and a second process by comparing operation states of the first process and the second process, which is performed in parallel, on the basis of the first process based on a firewall policy of a network and an open flow table of network topology; and an SDN controller which controls the firewall policy, and determines whether the open flow table normally implements the firewall policy on the basis of the deadlock generation information between the first process and the second process transmitted from the firewall verification frame module.