Abstract:
Disclosed is an orchestrator, which efficiently manages various applications and management services that are running in a SDN environment. The SDN multi-orchestrator system includes an application layer orchestrator for orchestrating multiple applications provided by a SDN application layer that provides the applications by utilizing network resources with programmatic manners, a control layer orchestrator for orchestrating resource allocation between resource requirements from the applications and for controlling data packet transmission using virtual and physical network resources in a resource layer and a management layer orchestrator for managing multiple management services provided by management layer to coordinate the application layer and the control layer. Accordingly, the multi-orchestrator structure may provide management and orchestration functions in consideration of the characteristics of respective layers, thus providing a more rapid and efficient orchestration function via specialization and automation.
Abstract:
Disclosed herein is technology for formal verification of a network service chain in a software-defined networking environment. In an embodiment, a verification support apparatus for formal verification of a network service chain includes a Network Service Chain (NSC) descriptor information reception unit for receiving NSC descriptor information from an application program. An NSC configuration unit configures an NSC of multiple network services using the received NSC descriptor information. A verification request unit requests formal verification of each network service in the configured NSC from a formal verification unit.
Abstract:
Disclosed herein is a method and apparatus for providing a gateway function. The gateway function may be provided through interaction between a gateway and a server. In providing the gateway function, the gateway may provide a relatively lower layer, and the server may provide a relatively upper layer. The server may provide a gateway function in an NFV manner. The gateway may perform processing by calling a mapping function of the NFV type provided by the server. The server may be one of cloud servers providing an NFV pool.
Abstract:
The present invention relates to a formal technique-based verification apparatus and method for verifying software-defined networking. In accordance with an embodiment, a formal verification apparatus for Software-Defined Networking (SDN), includes a formal language creation unit for collecting flow table information for an entire network topology in response to a request of a SDN control unit, and creating description code in a predefined formal language based on the collected flow table information. A Symbolic Transition Graph (STG) generation unit generates a symbolic transition graph using the created description code in the formal language. A verification execution unit performs verification by applying formal verification technology to the symbolic transition graph.
Abstract:
Disclosed herein is a method for managing network resources required in a Network Function Virtualization (NFV) environment. A verifier for Network Function Virtualization (NFV) resource allocation includes a network information reception unit for receiving information about network services from Operations Support Systems (OSS) or Business Support Systems (BSS) in an NFV environment, a combination information generation unit for generating combination information made when Virtualized Network Functions (VNFs) required by each network service are allocated to physical or virtual network resources, based on the received network service information, and a verification unit for verifying whether the combination information is applicable to available network resources in the NFV environment. Accordingly, a network service provider and a network administrator may detect problems related to resource availability in advance, thus more securely deriving the design of network services and the planning to secure network resources.
Abstract:
Disclosed herein is an IPv6 address configuration method, provide an IPv6 address configuration method, which assigns IPv6 addresses to a plurality of users who use an Internet service in a smart stadium network. The presented method includes, in a network including a router and an access point, sending, by the router, a router advertisement message including IPv6 prefix information to a user device equipped with a reader through the access point; acquiring, by the user device, unique information of the user from an object including the unique information of the user; and configuring, by the user device, a unique IPv6 address by combining the IPv6 prefix information with the unique information of the user.
Abstract:
An apparatus and a method for network monitoring and packet inspection capable of performing network monitoring and packet inspection in real time in a network system are disclosed. In accordance with an embodiment of the present invention, the apparatus for monitoring and packet inspection includes: a controller configured to transmit and receive an open flow protocol message and perform a network control; and a switch configured to include a flow table for data transfer and a security channel for connection with the controller, wherein the flow table includes target information which is information on a flow on which a user performs the monitoring and packet inspection.