Title:
PROGRAM VERIFICATION SYSTEM, METHOD, AND PROGRAM
Document Type and Number:
WIPO Patent Application WO/2019/026137
Kind Code:
A1
Abstract:
The program verification system according to the present invention is provided with a program verification means 51 which verifies: whether or not a program to be verified that has been input as a program that runs in a secure environment includes a program execution function, which is a function to execute a new program in the same environment using an instruction in the program to be verified; and/or whether or not the program to be verified, or the protection mechanism of the secure environment in which the program runs, includes an external input attack blocking function, which is a function to block attacks attributed to external data input during program execution. The program verification system is further provided with a signature means 52 which adds a signature to the program on the basis of the results of the verification performed by the program verification means 51.
Inventors:
MORITA YUSUKE (JP)
SASAKI TAKAYUKI (JP)
SASAKI TAKAYUKI (JP)
Application Number:
PCT/JP2017/027729
Publication Date:
February 07, 2019
Filing Date:
July 31, 2017
Export Citation:
Assignee:
NEC CORP (JP)
International Classes:
G06F21/56
Domestic Patent References:
WO2012160760A1 | 2012-11-29 |
Foreign References:
JP2008158686A | 2008-07-10 | |||
JP2007122745A | 2007-05-17 | |||
JP2016534460A | 2016-11-04 | |||
JP2005032185A | 2005-02-03 |
Attorney, Agent or Firm:
IWAKABE Fuyuki et al. (JP)
Download PDF:
Previous Patent: INFORMATION PROCESSING DEVICE AND INFORMATION PROCESSING METHOD
Next Patent: FUEL BATTERY CELL
Next Patent: FUEL BATTERY CELL