Abstract: An Internet-of-Things (IoT) system for public transportation service and a method of operating the same are disclosed. The IoT system includes on-vehicle devices, a management server, a plurality of bus stop access points (APs), and a wired/wireless bus stop access point (AP) communication network. The on-vehicle devices are mounted within a bus, i.e., a public transportation means. The management server is connected to the bus over an Internet, i.e., a wireless communication means. The plurality of bus stop APs are short distance communication APs, and are each provided in each bus stop at which the bus stops and configured to enable information to be exchanged between the bus stop and the bus. The wired/wireless bus stop AP communication network connects the plurality of bus stop APs. The management server performs Internet access processing to connect the bus stop AP communication network and an external 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: Disclosed are a network service architecture and a service supporting method to embody a dynamic program that allows a service provider to provide various services. The present invention suggests a network service architecture that is configured by a service producer, a service provider, a network device, and a network service store and provides a processes of making a program required for the service using an open API and an interface, notifying the service to the network service store, and dynamically installing the program in the network device based on the network service architecture. According to exemplary embodiments of the present invention, it is possible to diversely make and install a dynamic program, which are demanded by the service provider, in the network devices.

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.

Abstract: In a network environment in which pieces of heterogeneous network equipment interwork, a system receives a request including configuration information regarding a network operation with respect to at least one piece of a network equipment. The system verifies whether the request is in conflict with a network configuration and property managed by the system, and when an error does not occur according to verification results, the system transfers the verification results including configuration information to the network equipment.

Abstract: Provided are a virtualization-supporting programmable platform device and a method of transferring a packet. The method includes, when a switch receives a packet including a destination sliver identifier (ID) and a virtual interface (VIF) ID, transferring, at the switch, the received packet to a sliver selected on the basis of the destination sliver ID, and transferring, at the sliver receiving the packet, the received packet to one of VIFs of the sliver on the basis of the VIF ID. Accordingly, a programmable platform or router supporting network virtualization can identify IDs of slivers, which are resources allocated to users in the future Internet, and VIFs connected to the respective slivers.

Abstract: A network apparatus and a network virtualization support method. The network apparatus may include a software-based virtualization unit to generate a software-based virtualization slice in association with another network apparatus; a hardware-based virtualization unit to generate a hardware-based virtualization slice in association with another network apparatus; and a virtualization control unit to activate the software-based virtualization unit or the hardware-based virtualization unit based on the user information of the user who requests generation of the virtualization slice.

Abstract: Provided are an apparatus for configuring a virtual network using a network virtualization technique, and a method thereof according to the present invention. The apparatus for configuring a virtual network and method according to present invention may construct a virtual network capable of guaranteeing a desired network characteristic during a predetermined period using a resource provided from at least one platform according to a mutual interaction policy of a platform.

Abstract: Disclosed are a network service architecture and a service supporting method to embody a dynamic program that allows a service provider to provide various services. The present invention suggests a network service architecture that is configured by a service producer, a service provider, a network device, and a network service store and provides a processes of making a program required for the service using an open API and an interface, notifying the service to the network service store, and dynamically installing the program in the network device based on the network service architecture. According to exemplary embodiments of the present invention, it is possible to diversely make and install a dynamic program, which are demanded by the service provider, in the network devices.

Abstract: Provided is a method and apparatus for allocating a multicast connection identifier (MCID) for Internet protocol (IP) packet transmission over a portable Internet network and transmitting packets using the MCID. More specifically, there is provided a method of defining and allocating an MCID for transmitting an IP version 6 (IPv6) multicast packet over an IEEE 802.16/Wireless Broadband (WiBro) network and a process for transmitting an IP multicast packet of a base station (BS) using the MCID. The method of allocating is related to a method of automatically generating a connection identifier (CID) having 16 bits for packet transmission over the IEEE 802.16/WiBro network in order to transmit the IPv6 multicast packet. In this method, a scope value of the IPv6 multicast packet is added to the MCID.

Abstract: Provided is a mobile IPv6 fast handovers method, which includes the steps of: a) if a mobile node is moved in a layer 2, receiving a modified RS message from a mobile node in the access router, b) detecting movement of the mobile node in a layer 3 in the access router, c) if the mobile node makes a movement in the layer 3, generating CoA of the mobile node in the access router; d) performing Duplicate Address Detection in the access router to inspect uniqueness of the generated CoA; and e) transmitting a modified RA message to the mobile node in the access router. The Fast Handovers method of the present research performs fast movement detection by using layer 2 information simply and efficiently for fast handover in the mobile IPv6 and generates CoA in the access router instead of the mobile node without operations of many additional messages.

Abstract: Provided are a virtualization-supporting programmable platform device and a method of transferring a packet. The method includes, when a switch receives a packet including a destination sliver identifier (ID) and a virtual interface (VIF) ID, transferring, at the switch, the received packet to a sliver selected on the basis of the destination sliver ID, and transferring, at the sliver receiving the packet, the received packet to one of VIFs of the sliver on the basis of the VIF ID. Accordingly, a programmable platform or router supporting network virtualization can identify IDs of slivers, which are resources allocated to users in the future Internet, and VIFs connected to the respective slivers.

Abstract: A network apparatus and a network virtualization support method. The network apparatus may include a software-based virtualization unit to generate a software-based virtualization slice in association with another network apparatus; a hardware-based virtualization unit to generate a hardware-based virtualization slice in association with another network apparatus; and a virtualization control unit to activate the software-based virtualization unit or the hardware-based virtualization unit based on the user information of the user who requests generation of the virtualization slice.

Abstract: A method and apparatus for allowing transmission delay in a mobile Internet Protocol (IP) network is provided. The method of allowing transmission delay in a home agent of a mobile IP network, the method including: storing data in a mobile router when disconnection with the mobile router is sensed; and transmitting the stored data to the mobile router when reconnection with the mobile router is sensed.

Abstract: Provided is a base station (BS) and method of avoiding a flood of join messages for an Internet protocol (IP) multicast group in a portable Internet network, and more particularly, to a BS and method of transmitting join messages for an Internet IP multicast group to an access router or other BSs with a predetermined delay time in an IP multicast (IP version 4 (IPv4) or IP version 6 (IPv6)) service in an IEEE 802.16/Wireless Broadband (WiBro) network. In addition, the BS immediately transmits the join message for the group to other user terminals which belong to the BS. Accordingly, a problem whereby a method of avoiding a flood of multicast group join messages cannot be applied due to point-to-multipoint characteristics of the portable Internet network such as the IEEE 802.16/WiBro network is solved. In addition, the method of avoiding a flood of join messages can be applied using both IPv4 multicast and IPv6 multicast services.

Abstract: A method and apparatus for managing mobility of a sensor node in an Internet Protocol (IP)-based sensor network including a plurality of personal area networks (PANs) is provided. The apparatus for managing mobility of a sensor node in a personal area network (PAN), the apparatus including: a sensor node sensing unit to sense a sensor node moving into the PAN from another PAN; a proxy binding update (PBU) message generation unit to generate location change information of the sensed sensor node; and a PBU message transmission unit to transmit the location change information.

Abstract: When a virtual network environment is established using resources on a network in order for a user to perform an arbitrary test service in the future Internet that is emerging as a replacement of the current Internet, resources having characteristics desired by the user are selected from among a number of resources on the network, and a resource capable of exhibiting an optimum performance is effectively selected from the selected resources.

Abstract: A method and Internet Protocol (IP) translator for translating a protocol to support compatibility between networks employing different types of protocols is provided. The IP translator includes a virtual platform to operate at least one operating system (OS) which supports different types of IPs, and a protocol translating unit which is provided on the virtual platform, translates a data packet of one of the different types of IPs into a data packet of another of the different types of IPs, and transmits the translated data packet to an OS which supports the other type of IP. Accordingly, it is possible to simplify the complicated IPv6-IPv4 translation mechanism of the existing dual operating system.

Abstract: There is provided a method for transmitting data to a multicast group including a plurality of receivers by using an X-cast mode, comprising the steps of transmitting an X-cast IP data packet having a X-cast header including addresses of a destination router and the multicast group, wherein the destination router is connected to the receivers, converting the X-cast IP data packet to a multicast IP data packet in the destination router and sending the multicast IP data packet to the receivers, wherein an IP header of the multicast IP data has the address of the multicast group. The source router can transmit an IP data packet to a multicast group having a medium or large number of receivers by using the X-cast mode.

Abstract: Disclosed is a communication method using the mobile IPv6 in the NAT-PT environment, and a recording medium storing the method. An NAT-PT (Network Address Translation-Protocol Translation) box as a substitute for an IPv4 node in the communication method performs an RR (Return Routability) process and a BU (Binding Update) process with an IPv6 node to allow data communication between the IPv4 node and the IPv6 node. Therefore, mobility support using the mobile IPv6 is provided in the network with the mixed IPv4 and IPv6.