Abstract: An information communication method and an information communication system are capable of securely using user information. An information communication method includes a step of uniquely setting a first network address authenticated by a certificate authority in a terminal device in advance. The method also includes uniquely setting a second network address authenticated by the certificate authority in a server in advance and associating the first network address with user information.

Abstract: A solution can ensure the security of an application program. An execution code provision method includes: a step of generating a source code according to a user operation; a step of generating an intermediate representation from the source code; a step of verifying whether or not the intermediate representation satisfies a predetermined rule or regulation; and a step of realizing execution of an execution code generated from the intermediate representation when the intermediate representation satisfies the predetermined rule or regulation.

Abstract: A network system includes at least one server device and at least one terminal device that accesses any of the at least one server device. The terminal device authenticates a network address between the terminal device and any of the at least one server device and communicates data with any of the at least one server device. When the server device receives a request from the terminal device, the service device provides a service in accordance with the authenticated network address held by the terminal device that has issued the request.

Abstract: A data transmission method includes a step in which a first device generates a first encrypted packet by encrypting a packet addressed to a second device with an associated first encryption key. A device to be a transmission destination of the first encrypted packet is determined. A second encrypted packet is generated by encrypting the first encrypted packet with an associated second encryption key, and the second encrypted packet is transmitted to the determined device. The method includes determining another device and executing the transmission step if the decrypted first encrypted packet is not addressed to the device itself in the determination regarding whether or not the decrypted first encrypted packet is addressed to the device itself and of further decrypting the first encrypted packet if the decrypted first encrypted packet is addressed to the device itself.

Abstract: An information communication method and an information communication system are capable of securely using user information. An information communication method includes a step of uniquely setting a first network address authenticated by a certificate authority in a terminal device in advance. The method also includes uniquely setting a second network address authenticated by the certificate authority in a server in advance and associating the first network address with user information. The method further includes making a communication connection between the terminal device and the server, in which the server refers to the user information.

Abstract: A gate opening method includes: a step (S8) of transmitting a gate opening signal for making a request for opening of a gate, which is configured to restrict entry into a predetermined space, to the gate by using an IP address unique to a mobile terminal associated with a user; a step (S9) of determining whether or not to allow the user to enter the predetermined space based on a ticket management table and the IP address of the mobile terminal in response to reception of the gate opening signal; and a step (S11) of controlling the gate so that the user is able to enter the predetermined space in response to a determination that the user is allowed to enter the predetermined space. The ticket management table includes a plurality of pieces of network address information indicating a plurality of IP addresses unique to a plurality of mobile terminals.

Abstract: A network system includes at least one server device and at least one terminal device that accesses any of the at least one server device. The terminal device authenticates a network address between the terminal device and any of the at least one server device and communicates data with any of the at least one server device. When the server device receives a request from the terminal device, it provides a service in accordance with the authenticated network address held by the terminal device that has issued the request.

Abstract: A programming support system includes one or more terminal devices and storage accessible from the one or more terminal devices. Each of the terminal devices includes: a providing module for providing a development environment for a program; an acquisition module for acquiring information indicating content of a failure event that has occurred in the program. A determination module determines an address from information indicating the content of the failure event according to predetermined rules. The storage holds information for each failure event in association with an address determined from the information indicating the content of each failure event.

Abstract: A data transmission method includes a step in which a first device generates a first encrypted packet by encrypting a packet addressed to a second device with an associated first encryption key. A device to be a transmission destination of the first encrypted packet is determined. A second encrypted packet is generated by encrypting the first encrypted packet with an associated second encryption key, and the second encrypted packet is transmitted to the determined device. The method includes determining another device and executing the transmission step if the decrypted first encrypted packet is not addressed to the device itself in the determination regarding whether or not the decrypted first encrypted packet is addressed to the device itself and of further decrypting the first encrypted packet if the decrypted first encrypted packet is addressed to the device itself.

Abstract: There is provided an environment in which various restrictions can be freely set for a program executed by an edge device or the like. A software development device for generating an object code from a source code includes: an evaluation module for extracting restrictions set in a source code and evaluating whether or not the source code conforms to the restrictions within an application range of the extracted restrictions; and a generation module for generating an object code so as to conform to the restrictions.

Abstract: A software development device for generating software to be executed by a reconfigurable processor includes an analysis module analyzing a source code. A first generation module generates an object code including an instruction code to be given to the processor. A second generation module generates an instruction set architecture setting code defining an instruction set architecture of the processor. An optimization module determines content of the object code and the instruction set architecture setting code on the basis of an analysis result.

Abstract: A software use system includes a storage unit storing one or a plurality of libraries. A package providing unit generates, in response to a request from a software development device, a package with use management information added to a requested library and encrypting the generated package with a public key of the software development device. The package is provided to the software development device. The use management information includes identification information for specifying the software development device. The software development device decrypts the encrypted package with a private key, and after that, provides an environment for developing an application by using the package.

Abstract: A data transmission method includes: a step in which each of a plurality of devices determines an IP address of each device based on a hash value calculated from a public key of each device according to a hash function; a step in which each of the plurality of devices holds state information reflecting a connection relationship between the devices and transmits a notification message indicating content of the state information to another device; a step in which each of the plurality of devices updates the state information held by each device based on the notification message received from the another device; and a step in which, in a group of devices logically defined based on the state information held by each device, a routing table that is held between the devices included in the group and is used to search for a device to be a destination of data transmission is determined.

Abstract: A network system including a plurality of devices can acquire authenticated location information of a device and provides various services using the authenticated location information. Each of the plurality of devices includes: a communication unit for performing data communication with another device; a storage unit that stores a digital certificate including a public key for determining an IP address of the device; and a determination unit that determines an IP address of another device based on a public key included in a digital certificate received from the another device. The digital certificate includes location information associated with a corresponding device.

Abstract: An environment includes various freely settable restrictions for a program executed by an edge device or the like. A software development device generates an object code from a source code and includes an evaluation module for extracting restrictions set in a source code and evaluating whether or not the source code conforms to the restrictions within an application range of the extracted restrictions. A generator module generates an object code so as to conform to the restrictions.

Abstract: A data transmission method includes a step in which a first device generates a first encrypted packet by encrypting a packet addressed to a second device with an associated first encryption key. A device to be a transmission destination of the first encrypted packet is determined. A second encrypted packet is generated by encrypting the first encrypted packet with an associated second encryption key, and the second encrypted packet is transmitted to the determined device. The method includes determining another device and executing the transmission step if the decrypted first encrypted packet is not addressed to the device itself in the determination regarding whether or not the decrypted first encrypted packet is addressed to the device itself and of further decrypting the first encrypted packet if the decrypted first encrypted packet is addressed to the device itself.

Abstract: A network system including a plurality of devices can acquire authenticated location information of a device and provides various services using the authenticated location information. Each of the plurality of devices includes: a communication unit for performing data communication with another device; a storage unit that stores a digital certificate including a public key for determining an IP address of the device; and a determination unit that determines an IP address of another device based on a public key included in a digital certificate received from the another device. The digital certificate includes location information associated with a corresponding device.

Abstract: A data transmission method includes each of a plurality of devices determining an IP address of each device based on a hash value calculated from a public key of each device according to a hash function. Each of the devices holds state information reflecting a connection relationship between the devices and transmits a notification message indicating content of the state information to another device. Each of the devices updates the state information held by each device based on the notification message received from the another device. In a group of devices logically defined based on the state information held by each device, a routing table is determined and held between the devices included in the group and is used to search for a device to be a destination of data transmission.

Abstract: An information processing method is executed by a processor of an apparatus, and includes a step of generating a public key of the apparatus based on a private key of the apparatus (S2), a step of generating a hash value based on the public key and a predetermined hash function (S3), and a step of determining an IP address of the apparatus based on the hash value (S6).

Abstract: A data transmission method includes a step in which a first device generates a first encrypted packet by encrypting a packet addressed to a second device with an associated first encryption key. A device to be a transmission destination of the first encrypted packet is determined. A second encrypted packet is generated by encrypting the first encrypted packet with an associated second encryption key, and the second encrypted packet is transmitted to the determined device. The method includes determining another device and executing the transmission step if the decrypted first encrypted packet is not addressed to the device itself in the determination regarding whether or not the decrypted first encrypted packet is addressed to the device itself and of further decrypting the first encrypted packet if the decrypted first encrypted packet is addressed to the device itself.