Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2019026137) SYSTÈME, PROCÉDÉ ET PROGRAMME DE VÉRIFICATION DE PROGRAMME
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2019/026137 N° de la demande internationale : PCT/JP2017/027729
Date de publication : 07.02.2019 Date de dépôt international : 31.07.2017
CIB :
G06F 21/56 (2013.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
21
Dispositions de sécurité pour protéger les calculateurs, leurs composants, les programmes ou les données contre une activité non autorisée
50
Contrôle des usagers, programmes ou dispositifs de préservation de l’intégrité des plates-formes, p.ex. des processeurs, des micrologiciels ou des systèmes d’exploitation
55
Détection d’intrusion locale ou mise en œuvre de contre-mesures
56
Détection ou traitement de programmes malveillants, p.ex. dispositions anti-virus
Déposants :
日本電気株式会社 NEC CORPORATION [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
Inventeurs :
森田 佑亮 MORITA Yusuke; JP
佐々木 貴之 SASAKI Takayuki; JP
Mandataire :
岩壁 冬樹 IWAKABE Fuyuki; JP
塩川 誠人 SHIOKAWA Masato; JP
Données relatives à la priorité :
Titre (EN) PROGRAM VERIFICATION SYSTEM, METHOD, AND PROGRAM
(FR) SYSTÈME, PROCÉDÉ ET PROGRAMME DE VÉRIFICATION DE PROGRAMME
(JA) プログラム検証システム、方法およびプログラム
Abrégé :
(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
États désignés : 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)