Processing

Please wait...

Settings

Settings

Goto Application

1. WO2020070918 - CONVERSION DEVICE AND CONVERSION PROGRAM

Publication Number WO/2020/070918
Publication Date 09.04.2020
International Application No. PCT/JP2019/019975
International Filing Date 20.05.2019
IPC
G06F 21/55 2013.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
21Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
50Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
55Detecting local intrusion or implementing counter-measures
G06F 8/74 2018.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
70Software maintenance or management
74Reverse engineering; Extracting design information from source code
G06F 11/36 2006.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging of software
CPC
G06F 11/36
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
G06F 21/55
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
21Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
50Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
55Detecting local intrusion or implementing counter-measures
G06F 8/74
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
70Software maintenance or management
74Reverse engineering; Extracting design information from source code
Applicants
  • 日本電信電話株式会社 NIPPON TELEGRAPH AND TELEPHONE CORPORATION [JP]/[JP]
Inventors
  • 川古谷 裕平 KAWAKOYA, Yuhei
  • 岩村 誠 IWAMURA, Makoto
  • 三好 潤 MIYOSHI, Jun
Agents
  • 特許業務法人酒井国際特許事務所 SAKAI INTERNATIONAL PATENT OFFICE
Priority Data
2018-19042205.10.2018JP
Publication Language Japanese (JA)
Filing Language Japanese (JA)
Designated States
Title
(EN) CONVERSION DEVICE AND CONVERSION PROGRAM
(FR) DISPOSITIF DE CONVERSION ET PROGRAMME DE CONVERSION
(JA) 変換装置及び変換プログラム
Abstract
(EN)
A conversion device (10) comprises: a symbolic execution unit (151) which, upon receiving input of a program format signature to be analyzed and a symbolized data log constituting input values, analyzes the program format signature using a symbolic execution engine, and outputs, as an input value constraint, a conditional branching process that is to be performed on the input values; and a conversion unit (152) which, upon receiving the output input value constraint, performs a field conversion on the input value constraint and an output destination format on the basis of a field mapping table between formats, and outputs a static signature.
(FR)
Un dispositif de conversion (10) selon l’invention comprend : une unité d’exécution de symboles (151) qui, lors de la réception d’une entrée d’une signature de format de programme à analyser et d’un journal de données symbolisées constituant des valeurs d’entrée, analyse la signature de format de programme à l’aide d’un moteur d’exécution de symboles, et délivre, en tant que contrainte de valeur d’entrée, un processus de branchement conditionnel qui doit être réalisé sur les valeurs d’entrée ; et une unité de conversion (152) qui, lors de la réception de la contrainte de valeur d’entrée délivrée, réalise une conversion de champ sur la contrainte de valeur d’entrée et sur un format de destination de sortie sur la base d’une table de mappage de champs entre des formats, et délivre une signature statique.
(JA)
変換装置(10)は、解析対象であるプログラム形式のシグネチャと、入力値であるシンボル化されたデータ・ログとの入力を受け付けると、シンボリック実行エンジンを利用してプログラム形式のシグネチャを解析し、入力値に対して行う条件分岐の処理を、入力値に対する制約として出力するシンボリック実行部(151)と、出力された入力値に対する制約が入力されると、各フォーマット間のフィールド対応表に基づいて、入力値に対する制約と出力先フォーマットのフィールド変換を行い、静的なシグネチャを出力する変換部(152)と、を有する。
Latest bibliographic data on file with the International Bureau