このアプリケーションの一部のコンテンツは現時点では利用できません。
このような状況が続く場合は、にお問い合わせくださいフィードバック & お問い合わせ
1. (WO2019026137) プログラム検証システム、方法およびプログラム
国際事務局に記録されている最新の書誌情報    第三者情報を提供

国際公開番号: WO/2019/026137 国際出願番号: PCT/JP2017/027729
国際公開日: 07.02.2019 国際出願日: 31.07.2017
IPC:
G06F 21/56 (2013.01)
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
21
不正行為から計算機,その部品,プログラムまたはデータを保護するためのセキュリティ装置
50
プラットフォーム,(例.プロセッサ,ファームウェアまたはOS)の完全性を維持するために、ユーザー,プログラムまたはデバイスを監視するもの
55
ローカルへの侵入を検知または対抗策を実行するもの
56
コンピュータ・マルウェアの検出または処理,例.アンチ・ウィルス装置
出願人:
日本電気株式会社 NEC CORPORATION [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
発明者:
森田 佑亮 MORITA Yusuke; JP
佐々木 貴之 SASAKI Takayuki; JP
代理人:
岩壁 冬樹 IWAKABE Fuyuki; JP
塩川 誠人 SHIOKAWA Masato; JP
優先権情報:
発明の名称: (EN) PROGRAM VERIFICATION SYSTEM, METHOD, AND PROGRAM
(FR) SYSTÈME, PROCÉDÉ ET PROGRAMME DE VÉRIFICATION DE PROGRAMME
(JA) プログラム検証システム、方法およびプログラム
要約:
(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
指定国: 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
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(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)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
国際公開言語: 日本語 (JA)
国際出願言語: 日本語 (JA)