Abstract: Provided is a Network Service (NS) descriptor management method performed by a Network Functions Virtualization Orchestrator (NFVO), the method including receiving a request message for a Hypertext Transfer Protocol (HTTP) method for a NS descriptor from an Operation Support System/Business Support System (OSS/BSS); and responding to the OSS/BSS with respect to the received request message. If the HTTP method for the NS descriptor is POST, a new NS descriptor is created, and if the HTTP method for the NS descriptor is GET, query information about a plurality of network descriptors is processed.

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.

Abstract: Disclosed herein are a method and apparatus for verification of a network service in a network function virtualization (NFV) environment. The method includes performing verification of at least one of a function, operation, and performance related to a network service, and transmitting results of the verification to an entity related to the network service. A verification apparatus detects, either in advance or at runtime, malfunctions that may occur when a network service is executed in an NFV environment, and performs verification of at least one of the function, operation, and performance related to a network service.

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: A multipoint control unit (MCU) for a video conference system is connected to other MCUs by logical links. If an application service selected by a terminal is not in a list of services on an application server connected to the MCU, the MCU communicates with the other MCUs to receive lists of services from application servers connected to the other MCUs and transmits them to the terminal.

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: A routing apparatus includes a path setting unit configured to receive a service name-based service request from user equipment (UE), to select a service instance based on the service name, and to establish a service request path; and an interface unit configured to transfer the service request to the service instance along the service request path, and to transfer service data of the service instance to the UE. Further, the path setting unit selects the service instance in accordance with service and network conditions of the service instance.

Abstract: A service overlay network (SON) service providing apparatus and method are provided. According to an embodiment of the present invention, the SON service providing apparatus is entrusted with element services from an element service provider, sells the entrusted element services to a composite service developer so as to enable the composite service developer to use the element services. In addition, the SON service providing apparatus receives a composite service developed by the composite service developer, and provides the composite service in response to a request from a service user.

Abstract: Provided is a fast handover method using candidate care-of addresses (CoAs). The method includes obtaining Internet protocol (IP) address information of access routers located adjacent to a previous access router (PAR) to which a mobile node is connected; setting more than one candidate CoAs based on the IP address information; and selecting from the more than one candidate CoAs a CoA of a sub-net to which the mobile node is to move and performing a handover based on the selected CoA. Therefore, a delay and a packet loss caused by the setting of a new NCoAs can be prevented.

Abstract: A system and method for providing a conference service using a network service based on user terminal capabilities are provided. In the method, it is determined to perform media conversion required for media transfer corresponding to the capabilities of the user terminal in response to a conference service join request, and a transcoding service location of a network device supporting the media conversion is searched over the Internet. Then, a connection is made to the transcoding service location to perform the media conversion, and the converted media is delivered to the user terminal.

Abstract: This invention provides a system and method to use continuously the same Internet services using different digital terminals even though user moves to another places. A system for providing Internet service using heterogeneous digital terminals includes a terminal registration/unregistration unit for registering and unregistering information on the digital terminals in and from an Internet service provider (ISP) server, a service management protocol unit for requesting the service from the ISP server, a terminal selection/change unit for selecting one of the registered digital terminals to use the service and reporting the selection to the ISP server, a content transmission/reception unit for receiving content service corresponding to the service request from the ISP server via the selected digital terminal, and a continuous-service preparation unit for preparing use of the service using a changed digital terminal.

Abstract: A peer-to-peer (P2P) control device receives peer registration requests from a plurality of peers which want to receive contents and registers information regarding the plurality of peers, and receives an application service and contents registration request from at least one contents server providing contents and registers the information regarding the application service and contents. When the P2P control device receives a request for generating an overlay of desired contents from a requesting peer, it generates a P2P overlay, a logical path along which contents are to be transmitted to the requesting peer, by using the registered information regarding the plurality of peers, information regarding a network to which the plurality of peers are connected, and information regarding the application service corresponding to the desired contents, and delivers the connection information to the requesting peer with reference to the P2P overlay.

Abstract: A service providing method and apparatus provides a service for a media independent handover (MIH). A first node receives a first message from a second node, the first message including information about whether the second node supports a service through first layer and whether the second node supports a service through second layer, and the first node selects a service transport layer for providing a service from the first and second layers and provides a service to the second node through the service transport layer. Accordingly, the first node may effectively perform an MIH because it may easily understand the MIH capability of the second node.

Abstract: Provided are a method and system for supporting IPv6 Neighbor Discovery in a point-to-point oriented broadband wireless network. The method includes: an access router in the broadband wireless network receiving a message from a first subscriber station in the broadband wireless network; the access router detecting a Neighbor Discovery message from the received message; and the access router relaying the Neighbor Discovery message to a second subscriber station in the broadband wireless network. The method can support IPv6 Neighbor Discovery where hosts in the point-to-point oriented broadband wireless network share one or multiple prefixes.

Abstract: Provided is a method of packet forwarding over partial mesh network to avoid packet loss during handover. The method includes: based on first trigger information of a layer 2 obtained when a mobile node (MN) moves from a domain of a currently connected first BS to another domain, expecting a second BS of the domain to which the MN moves; if the first BS acquires second trigger information of the layer 2 indicating a disconnection between the first BS and the MN, forwarding packets destined for the MN to the second BS through the links; and if the second BS buffers the packets forwarded from the first BS and third trigger information of the layer 2 indicating a connection between the second BS and the MN, transferring the buffered packets to the MN.