Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2019026137) PROGRAM VERIFICATION SYSTEM, METHOD, AND PROGRAM
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2019/026137 International Application No.: PCT/JP2017/027729
Publication Date: 07.02.2019 International Filing Date: 31.07.2017
IPC:
G06F 21/56 (2013.01)
G PHYSICS
06
COMPUTING; CALCULATING; COUNTING
F
ELECTRIC DIGITAL DATA PROCESSING
21
Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
50
Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
55
Detecting local intrusion or implementing counter-measures
56
Computer malware detection or handling, e.g. anti-virus arrangements
Applicants:
日本電気株式会社 NEC CORPORATION [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
Inventors:
森田 佑亮 MORITA Yusuke; JP
佐々木 貴之 SASAKI Takayuki; JP
Agent:
岩壁 冬樹 IWAKABE Fuyuki; JP
塩川 誠人 SHIOKAWA Masato; JP
Priority Data:
Title (EN) PROGRAM VERIFICATION SYSTEM, METHOD, AND PROGRAM
(FR) SYSTÈME, PROCÉDÉ ET PROGRAMME DE VÉRIFICATION DE PROGRAMME
(JA) プログラム検証システム、方法およびプログラム
Abstract:
(EN) 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.
(FR) La présente invention concerne un système de vérification de programme pourvu d'un moyen de vérification de programme (51) qui vérifie : si oui ou non un programme à vérifier qui a été entré en tant que programme qui s'exécute dans un environnement sécurisé comprend une fonction d'exécution de programme, laquelle est une fonction pour exécuter un nouveau programme dans le même environnement en utilisant une instruction dans le programme à vérifier ; et/ou si oui ou non le programme à vérifier, ou le mécanisme de protection de l'environnement sécurisé dans lequel le programme s'exécute, comprend une fonction de blocage d'attaque d'entrée externe, laquelle est une fonction servant à bloquer des attaques attribuées à une entrée de données externe pendant l'exécution du programme. Le système de vérification de programme est en outre pourvu d'un moyen de signature (52) qui ajoute une signature au programme sur la base des résultats de la vérification effectuée par le moyen de vérification de programme (51).
(JA) 本発明のプログラム検証システムは、セキュア環境下で動作するプログラムとして入力された検証対象のプログラムに、当該プログラム内の命令により、同じ環境下に新たなプログラムを実行させる機能であるプログラム実行機能が含まれていないかどうか、および/または、検証対象のプログラムもしくはその動作元であるセキュア環境の保護機構に、プログラム実行中の外部からのデータ入力に起因する攻撃を防御する機能である外部入力攻撃防御機能が含まれているかどうかを検証するプログラム検証手段51と、プログラム検証手段51による検証の結果に基づいて、プログラムに署名を付与する署名手段52とを備える。
front page image
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)