JP5316719B2 - Verification program and verification device - Google Patents

Verification program and verification device Download PDF

Info

Publication number
JP5316719B2
JP5316719B2 JP2012527495A JP2012527495A JP5316719B2 JP 5316719 B2 JP5316719 B2 JP 5316719B2 JP 2012527495 A JP2012527495 A JP 2012527495A JP 2012527495 A JP2012527495 A JP 2012527495A JP 5316719 B2 JP5316719 B2 JP 5316719B2
Authority
JP
Japan
Prior art keywords
identification information
file
executable file
source
information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP2012527495A
Other languages
Japanese (ja)
Other versions
JPWO2012017522A1 (en
Inventor
勝久 太田
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Publication of JPWO2012017522A1 publication Critical patent/JPWO2012017522A1/en
Application granted granted Critical
Publication of JP5316719B2 publication Critical patent/JP5316719B2/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Theoretical Computer Science (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)

Description

本発明は、実行ファイルを検証する検証プログラムおよび検証装置に関する。   The present invention relates to a verification program and a verification device for verifying an execution file.

現在、運用環境に配備されている実行ファイルがどのようなソースファイル群から作成されているかを特定するには、人手で管理簿を作成するなどの手段が用いられている。例えば、実行ファイルを作成した時点のソースファイル群をファイルシステム上にまとめて保管しておき、実行ファイル名、実行ファイルのタイムスタンプ、および開発資産リポジトリ内のソースコード群の位置情報を対応付けて管理簿に記入しておくなどの手段が用いられている。   Currently, means such as manually creating a management list are used to identify from which source file group an executable file deployed in the operating environment is created. For example, the source file group at the time of creating the executable file is stored together on the file system, and the executable file name, executable file time stamp, and location information of the source code group in the development asset repository are associated with each other. Means such as filling in a management book are used.

しかしながら、実行ファイルと該実行ファイルを作成する際に使用したソースファイル群を関連付けた情報の記載を人手により行うと、記載誤りや管理データ改ざん等のおそれがあり、記録されている情報の正しさを証明することが困難である。   However, if the information relating the executable file and the source file group used to create the executable file is manually described, there is a risk of error in writing or falsification of management data, and the correctness of the recorded information. It is difficult to prove.

それにより、実行ファイルを修正したくても、修正すべきソースファイルが不明であるという問題があった。
また、情報システム監査の際に、システムの完全性（integrity）を証明できないという問題があった。As a result, there is a problem that the source file to be corrected is unknown even if the executable file is to be corrected.
In addition, there was a problem that the integrity of the system could not be proved during the information system audit.

特開平０６−２５９２３７号公報Japanese Patent Laid-Open No. 06-259237 特開平１０−１７７４７３号公報Japanese Patent Laid-Open No. 10-177473

本発明の課題は、実行ファイルと該実行ファイルの構築に用いたソースファイルとの対応が分かるプログラムを提供することである。   An object of the present invention is to provide a program in which the correspondence between an execution file and a source file used to construct the execution file can be understood.

実施の形態のプログラムは、コンピュータに、第１の実行ファイル名、該第１の実行ファイルから所定の方法により算出した第１の識別情報および該第１の実行ファイルの生成に用いられた第１のソースファイル群の情報を対応付けて記憶部に記憶する手順と、第２の実行ファイルから所定の方法により算出した第２の識別情報を算出する手順と、前記第２の実行ファイル名と同一名の前記第１の実行ファイルに対応付けられた前記第１の識別情報を前記記憶部から取得する手順と、前記第２の識別情報と前記第１の識別情報を比較し、一致した場合に、前記第２の実行ファイルの所定の領域から第３の識別情報を抽出する手順と、前記記憶部から前記第１の実行ファイルに対応付けられた第１のソースファイル群の情報を抽出し、所定の方法により算出した第４の識別情報を算出する手順と、前記第３の識別情報と前記第４の識別情報とを比較し、一致した場合に、前記第２の実行ファイルが前記第１のソースファイル群により生成された旨を通知する手順と、を実行させる。   The program according to the embodiment causes the computer to execute the first execution file name, the first identification information calculated from the first execution file by a predetermined method, and the first execution file used to generate the first execution file. Same as the second execution file name, the procedure for associating and storing the information of the source file group in the storage unit, the procedure for calculating the second identification information calculated from the second execution file by a predetermined method, The procedure for obtaining the first identification information associated with the first executable file with the name from the storage unit, the second identification information and the first identification information are compared, and if they match, , Extracting the third identification information from the predetermined area of the second executable file, and extracting the information of the first source file group associated with the first executable file from the storage unit, Predetermined person The procedure for calculating the fourth identification information calculated by the above and the third identification information and the fourth identification information are compared, and if they match, the second executable file is the first source file. And a procedure for notifying that the group has been generated.

実施の形態のプログラムによれば、実行ファイルと該実行ファイルの構築に用いたソースファイルとの対応が分かる。   According to the program of the embodiment, the correspondence between the execution file and the source file used to construct the execution file can be understood.

実施の形態に係るアプリケーション管理システムの構成図である。It is a block diagram of the application management system which concerns on embodiment. 実施の形態に係る記憶部の構成図である。It is a block diagram of the memory | storage part which concerns on embodiment. 実施の形態に係る識別情報付加処理のフローチャートである。It is a flowchart of the identification information addition process which concerns on embodiment. 識別情報ＩＳ１算出時に生成されるファイルの例である。It is an example of the file produced | generated at the time of identification information IS1 calculation. 実行ファイルＡ１の構成図である。It is a block diagram of execution file A1. 実施の形態に係る識別情報検証処理のフローチャートである。It is a flowchart of the identification information verification process which concerns on embodiment. 情報処理装置の構成図である。It is a block diagram of information processing apparatus.

以下、図面を参照しながら本発明の実施の形態を説明する。
図１は、実施の形態に係るアプリケーション管理システムの構成図である。
アプリケーション管理システム１０１は、識別情報付加装置（開発側）２０１および検証装置（運用側）３０１を備える。Hereinafter, embodiments of the present invention will be described with reference to the drawings.
FIG. 1 is a configuration diagram of an application management system according to an embodiment.
The application management system 101 includes an identification information adding device (development side) 201 and a verification device (operation side) 301.

識別情報付加装置２０１および検証装置３０１は、例えば、各種処理を行うCentral Processing Unit(CPU)、情報を格納するメモリや記憶部等を備えるサーバやパーソナルコンピュータ等の情報処理装置である。尚、情報処理装置の構成については後述する。識別情報付加装置２０１と検証装置３０１は、Wide Area Network(WAN)やLocal Area Network(LAN)等のネットワークで接続している。尚、識別情報付加装置２０１および検証装置３０１は、単一の情報処理装置内に構築してもよい。   The identification information adding device 201 and the verification device 301 are, for example, information processing devices such as a central processing unit (CPU) that performs various processes, a server that includes information, a memory, a storage unit, and the like, and a personal computer. The configuration of the information processing apparatus will be described later. The identification information adding device 201 and the verification device 301 are connected by a network such as a wide area network (WAN) or a local area network (LAN). The identification information adding device 201 and the verification device 301 may be built in a single information processing device.

識別情報付加装置２０１は、記憶部２０２、実行ファイル構築部２０３、識別情報生成部２０４、情報結合部２０５、および開発側検証部２０６を備える。
記憶部２０２は、ソースファイルＳ１−１、Ｓ１−２、Ｓ２−１、Ｓ２−２および資産管理テーブル２０７を格納する。識別情報付加装置２０１は、階層型ファイルシステムにより記憶部２０２に格納するソースファイルＳ１−１、Ｓ１−２、Ｓ２−１、Ｓ２−２や管理テーブル２０７を管理する。The identification information adding apparatus 201 includes a storage unit 202, an execution file construction unit 203, an identification information generation unit 204, an information combination unit 205, and a development side verification unit 206.
The storage unit 202 stores source files S 1-1, S 1-2, S 2-1, S 2-2 and an asset management table 207. The identification information adding apparatus 201 manages the source files S1-1, S1-2, S2-1, S2-2 and the management table 207 stored in the storage unit 202 by a hierarchical file system.

図２は、実施の形態に係る記憶部の構成図である。
ソースファイルＳ１−１、Ｓ１−２、Ｓ２−１、Ｓ２−２は、実行ファイルの生成に用いられるソースコードが記述されたファイルである。FIG. 2 is a configuration diagram of a storage unit according to the embodiment.
Source files S1-1, S1-2, S2-1, and S2-2 are files in which source code used for generating an execution file is described.

ソースファイルＳ１−１およびＳ１−２は、実行ファイルＡ１を生成するために用いられるファイルである。以下、ソースファイルＳ１−１およびＳ１−２をまとめてソースファイル群Ｓ１と呼ぶ。   The source files S1-1 and S1-2 are files used for generating the execution file A1. Hereinafter, the source files S1-1 and S1-2 are collectively referred to as a source file group S1.

ソースファイルＳ２−１およびＳ２−２は、実行ファイルＡ２を生成するために用いられるファイルである。以下、ソースファイルＳ２−１およびＳ２−２をまとめてソースファイル群Ｓ２と呼ぶ。   The source files S2-1 and S2-2 are files used to generate the execution file A2. Hereinafter, the source files S2-1 and S2-2 are collectively referred to as a source file group S2.

資産管理テーブル２０７は、ソースファイル群Ｓｎ管理域（ｎ＝１、２）を有する。
ソースファイル群Ｓｎ管理域には、ソースファイルＳｎ−１、Ｓｎ−１の位置情報（ファイルのパス）、ソースファイル群Ｓｎにより生成された実行ファイルＡｎのファイル名である実行ファイルＡｎ名、実行ファイルＡｎから生成された識別情報ＩＡｎが記述されている。さらにソースファイル群Ｓｎから生成された識別情報ＩＳｎが記述される場合もある。The asset management table 207 has a source file group Sn management area (n = 1, 2).
The source file group Sn management area includes the source file Sn-1, the location information (file path) of the Sn-1, the execution file An name that is the file name of the execution file An generated by the source file group Sn, and the execution file The identification information IAn generated from An is described. Further, identification information ISn generated from the source file group Sn may be described.

実行ファイル構築部２０３は、記憶部２０２からソースファイル群Ｓｎを読み出し、ソースファイル群Ｓｎから実行ファイルＡｎを生成し、実行ファイルＡｎを情報結合部２０５に送信する。   The execution file construction unit 203 reads the source file group Sn from the storage unit 202, generates an execution file An from the source file group Sn, and transmits the execution file An to the information combining unit 205.

識別情報生成部２０４は、記憶部２０２からソースファイル群Ｓｎを読み出し、ソースファイル群Ｓｎに基づいて、識別情報を生成し、識別情報を情報結合部２０５に送信する。   The identification information generation unit 204 reads the source file group Sn from the storage unit 202, generates identification information based on the source file group Sn, and transmits the identification information to the information combining unit 205.

情報結合部２０５は、実行ファイルに識別情報を付加し、識別情報が付加された実行ファイルを運用側検証部３０２に送信する。また、情報結合部２０５は、識別情報等の情報を資産管理テーブル２０７に格納する。   The information combining unit 205 adds identification information to the execution file and transmits the execution file with the identification information added to the operation side verification unit 302. In addition, the information combining unit 205 stores information such as identification information in the asset management table 207.

開発側検証部２０６は、運用側検証部３０２の要求に応じて、識別情報を算出または資産管理テーブル２０７から検索し、識別情報を運用側検証部３０２に送信する。
検証装置３０１は、運用側検証部３０２および表示部３０３を備える。The development side verification unit 206 calculates or retrieves identification information from the asset management table 207 in response to a request from the operation side verification unit 302, and transmits the identification information to the operation side verification unit 302.
The verification device 301 includes an operation side verification unit 302 and a display unit 303.

運用側検証部３０２は、実行ファイルの識別情報の算出、実行ファイルに含まれる識別情報の抽出、識別情報の比較などの処理を行う。
表示部３０３は、運用側検証部３０２での検証結果などを表示する。The operation side verification unit 302 performs processing such as calculation of identification information of an execution file, extraction of identification information included in the execution file, and comparison of identification information.
The display unit 303 displays the verification result and the like in the operation side verification unit 302.

図３は、実施の形態に係る識別情報付加処理のフローチャートである。
以下の実施の形態においては、ソースファイル群Ｓ１から実行ファイルＡ１を生成し、識別情報を付加する場合について説明する。FIG. 3 is a flowchart of identification information addition processing according to the embodiment.
In the following embodiment, a case where an execution file A1 is generated from the source file group S1 and identification information is added will be described.

ステップＳ５０１において、識別情報生成部２０４は、記憶部２０２からソースファイル群Ｓ１（ソースファイルＳ１−１、Ｓ１−２）を取得する。
ステップＳ５０２において、実行ファイル構築部２０３は、記憶部２０２からソースファイル群Ｓ１を取得し、コンパイル、リンク、アーカイブを行い、実行ファイルＡ１を生成する。そして、実行ファイル構築部２０３は、実行ファイルＡ１を情報結合部２０５に送信する。In step S501, the identification information generation unit 204 acquires the source file group S1 (source files S1-1 and S1-2) from the storage unit 202.
In step S502, the execution file construction unit 203 acquires the source file group S1 from the storage unit 202, compiles, links, and archives, and generates an execution file A1. Then, the execution file construction unit 203 transmits the execution file A1 to the information combining unit 205.

ステップＳ５０３において、識別情報生成部２０４は、ソースファイル群Ｓ１から識別情報ＩＳ１を算出し、情報結合部２０５に送信する。
識別情報ＩＳ１の算出方法は、先ずソースファイルのそれぞれについて、ソースファイルのパス（記憶部２０２におけるソースファイル群Ｓ１の最上位階層からの相対パス）とソースファイルのコンテンツのＭＤ５ハッシュ値のペアをリストしたファイル（図４参照）を作成する。そして、作成したファイルのＭＤ５ハッシュ値を計算し、該ハッシュ値を識別情報ＩＳ１とする。In step S503, the identification information generation unit 204 calculates the identification information IS1 from the source file group S1 and transmits it to the information combining unit 205.
The calculation method of the identification information IS1 first lists a pair of the source file path (relative path from the highest hierarchy of the source file group S1 in the storage unit 202) and the MD5 hash value of the content of the source file for each source file. The file (see FIG. 4) is created. Then, the MD5 hash value of the created file is calculated, and this hash value is used as identification information IS1.

なお、識別情報ＩＳ１の算出時にソースファイルの内容をフィルタリングすることで、目的に応じて同一性保証の厳密度を調整可能とすることができる。例えば、ＩＳ１算出時にソースファイル内のコメント部分は削除し、コメントを削除したソースファイルのＭＤ５ハッシュ値を計算することで、アプリロジックに着目した識別情報ＩＳ１が計算できる。すなわち、ソースファイルに対してコメントの変更のみでアプリロジックに変更が無い場合に、同一の識別情報ＩＳ１が算出される。   Note that by filtering the contents of the source file when calculating the identification information IS1, it is possible to adjust the strictness of identity guarantee according to the purpose. For example, when the IS1 is calculated, the comment portion in the source file is deleted, and the MD5 hash value of the source file from which the comment is deleted is calculated, whereby the identification information IS1 focusing on the application logic can be calculated. That is, the same identification information IS1 is calculated when only the comment is changed with respect to the source file and the application logic is not changed.

さらに、識別情報生成部２０４は、識別情報ＩＳ１を資産管理テーブル２０７のソースファイル群Ｓ１管理域に記述してもよい。
ステップＳ５０４において、情報結合部２０５は、実行ファイルＡ１に識別情報ＩＳ１を付加し、運用側検証部３０２に送信する。Further, the identification information generation unit 204 may describe the identification information IS1 in the source file group S1 management area of the asset management table 207.
In step S <b> 504, the information combining unit 205 adds the identification information IS <b> 1 to the execution file A <b> 1 and transmits it to the operation side verification unit 302.

例えば、Java（登録商標）言語で作成された実行ファイルの場合、情報結合部２０５は、jarファイル内のMETA-INF/MANIFEST.MFに識別情報ＩＳ１を書き込む。
図５は、実行ファイルＡ１の構成図である。For example, in the case of an execution file created in the Java (registered trademark) language, the information combining unit 205 writes the identification information IS1 in META-INF / MANIFEST.MF in the jar file.
FIG. 5 is a configuration diagram of the execution file A1.

実行ファイルＡ１は、図５に示すように、実行コード、リソース、識別情報ＩＳ１を含む。実行コードは、CPUが実行可能なコードであり、リソースは実行ファイルＡ１のアイコンや表示する文字列等の情報である。   As shown in FIG. 5, the execution file A1 includes an execution code, a resource, and identification information IS1. The execution code is a code executable by the CPU, and the resource is information such as an icon of the execution file A1 and a character string to be displayed.

ステップＳ５０５において、情報結合部２０５は、実行ファイルＡ１の識別情報ＩＡ１を算出する。
識別情報ＩＡ１は、実行ファイルＡ１のＭＤ５ハッシュ値を識別情報ＩＡ１とする。例えば、Java言語を使用した実行ファイルの場合、jarファイルのＭＤ５ハッシュ値を識別情報ＩＡ１とする。In step S505, the information combining unit 205 calculates identification information IA1 of the execution file A1.
The identification information IA1 uses the MD5 hash value of the execution file A1 as the identification information IA1. For example, in the case of an executable file using the Java language, the MD5 hash value of the jar file is set as the identification information IA1.

ステップＳ５０６において、情報結合部２０５は、実行ファイルＡ１の名前（実行ファイルＡ１のファイル名）と識別情報ＩＡ１を資産管理テーブル２０７のソースファイル群Ｓ１管理域に記述する。   In step S506, the information combining unit 205 describes the name of the execution file A1 (file name of the execution file A1) and the identification information IA1 in the source file group S1 management area of the asset management table 207.

図６は、実施の形態に係る識別情報検証処理のフローチャートである。
以下の実施の形態においては、識別情報付加装置２０１で生成された実行ファイルＡ１の検証を行う場合を説明する。尚、実行ファイルＡ１は、情報結合部２０５から運用側検証部３０２に送信されているものとする。FIG. 6 is a flowchart of identification information verification processing according to the embodiment.
In the following embodiment, a case where the execution file A1 generated by the identification information adding device 201 is verified will be described. It is assumed that the execution file A1 is transmitted from the information combining unit 205 to the operation side verification unit 302.

ステップＳ６０１において、実行ファイルＡ１の識別情報ＩＡ１’を算出する。識別情報ＩＡ１’の算出方法は、上述のステップＳ５０５の識別情報ＩＡ１の算出方法と同様である。実施の形態において、識別情報ＩＡ１’は、実行ファイルＡ１のＭＤ５ハッシュ値を識別情報ＩＡ１’とする。   In step S601, the identification information IA1 'of the execution file A1 is calculated. The calculation method of the identification information IA1 'is the same as the calculation method of the identification information IA1 in step S505 described above. In the embodiment, the identification information IA1 'uses the MD5 hash value of the execution file A1 as the identification information IA1'.

ステップＳ６０２において、運用側検証部３０２は、開発側検証部２０６に実行ファイルＡ１の名前（ファイル名）を送信し、実行ファイルＡ１の識別情報ＩＡ１を要求する。開発側検証部２０６は、実行ファイルＡ１の名前をキーとして資産管理テーブル２０７を検索し、実行ファイルＡ１の識別情報ＩＡ１を読み込む。そして、開発側検証部２０６は、識別情報ＩＡを運用側検証部３０２に送信する。また、開発側検証部２０６は、ソースファイル群Ｓ１管理域内の情報（例えば、ソースファイルＳ１−１位置情報、ソースファイルＳ１−２位置情報など）を運用側検証部３０２に送信する。   In step S602, the operation side verification unit 302 transmits the name (file name) of the execution file A1 to the development side verification unit 206, and requests the identification information IA1 of the execution file A1. The development side verification unit 206 searches the asset management table 207 using the name of the execution file A1 as a key, and reads the identification information IA1 of the execution file A1. Then, the development side verification unit 206 transmits the identification information IA to the operation side verification unit 302. Further, the development side verification unit 206 transmits information (for example, source file S1-1 location information, source file S1-2 location information, etc.) in the source file group S1 management area to the operation side verification unit 302.

ステップＳ６０３において、運用側検証部３０２は、識別情報ＩＡ１を受信し、識別情報ＩＡと識別情報ＩＡ１’とを比較し、一致するか否か判定する。識別情報ＩＡと識別情報ＩＡ１’とが一致する場合、制御はステップＳ６０５に進み、一致しない場合、制御はステップＳ６０４に進む。   In step S603, the operation side verification unit 302 receives the identification information IA1, compares the identification information IA and the identification information IA1 ', and determines whether or not they match. If the identification information IA matches the identification information IA1 ', the control proceeds to step S605, and if not, the control proceeds to step S604.

ステップＳ６０４において、運用側検証部３０２は、識別情報ＩＡと識別情報ＩＡ１’とが一致していないので、実行ファイルＡ１は、運用側への配備後に変更されていると判断する。そして、運用側検証部３０２は、実行ファイルＡ１が変更されている旨をユーザに通知、例えば実行ファイルＡ１が変更されている旨を表示部３０３に表示する。   In step S604, the operation side verification unit 302 determines that the execution file A1 has been changed after deployment on the operation side because the identification information IA and the identification information IA1 'do not match. Then, the operation side verification unit 302 notifies the user that the execution file A1 has been changed, and displays, for example, on the display unit 303 that the execution file A1 has been changed.

ステップＳ６０５において、運用側検証部３０２は、実行ファイルＡ１から識別情報ＩＳ１を抽出する。
ステップＳ６０６において、運用側検証部３０２は、開発側検証部２０６にソースファイル群Ｓ１の識別情報ＩＳ１’の計算を依頼する。In step S605, the operation side verification unit 302 extracts the identification information IS1 from the execution file A1.
In step S606, the operation side verification unit 302 requests the development side verification unit 206 to calculate the identification information IS1 ′ of the source file group S1.

開発側検証部２０６は、ソースファイル群Ｓ１の識別情報ＩＳ１’を算出する。識別情報ＩＳ１’の算出方法は、上述のステップＳ５０３の識別情報ＩＳ１の算出方法と同様である。尚、資産管理テーブル２０７に識別情報ＩＳ１が格納されている場合は、開発側検証部２０６は、識別情報ＩＳ１を読み出し、識別情報ＩＳ１を識別情報ＩＳ１’とする。   The development side verification unit 206 calculates identification information IS1 'of the source file group S1. The calculation method of the identification information IS1 'is the same as the calculation method of the identification information IS1 in step S503 described above. When the identification information IS1 is stored in the asset management table 207, the development side verification unit 206 reads the identification information IS1 and sets the identification information IS1 as the identification information IS1 '.

開発側検証部２０６は、識別情報ＩＳ１’を運用側検証部３０２に送信し、運用側検証部３０２は識別情報ＩＳ１’を受信する。
ステップＳ６０７において、運用側検証部３０２は、識別情報ＩＳ１と識別情報ＩＳ１’とを比較し、一致するか否か判定する。識別情報ＩＳ１と識別情報ＩＳ１’とが一致する場合、制御はステップＳ６０８に進み、一致しない場合制御はステップＳ６０９に進む。The development side verification unit 206 transmits the identification information IS1 ′ to the operation side verification unit 302, and the operation side verification unit 302 receives the identification information IS1 ′.
In step S607, the operation side verification unit 302 compares the identification information IS1 and the identification information IS1 ′ and determines whether or not they match. If the identification information IS1 and the identification information IS1 ′ match, the control proceeds to step S608, and if not, the control proceeds to step S609.

ステップＳ６０８において、運用側検証部３０２は、識別情報ＩＡ１と識別情報ＩＡ１’とが一致していたので、実行ファイルＡ１は、運用側へ配備された直後の状態と同一であると判断する。そして、運用側検証部３０２は、実行ファイルＡ１が検証装置３０１へ配備された直後の状態と同一である、すなわち実行ファイルＡ１は変更されていない旨をユーザに通知、例えば実行ファイルＡ１が変更されていない旨を表示部３０３に表示する。   In step S608, the operation side verification unit 302 determines that the execution file A1 is the same as the state immediately after being deployed to the operation side because the identification information IA1 and the identification information IA1 'match. Then, the operation side verification unit 302 notifies the user that the execution file A1 is the same as that immediately after the execution file A1 is deployed to the verification apparatus 301, that is, the execution file A1 has not been changed. For example, the execution file A1 is changed. Is displayed on the display unit 303.

さらに、運用側検証部３０２は、識別情報ＩＳ１と識別情報ＩＳ１’とが一致していたので、実行ファイルＡ１はソースファイル群Ｓ１により構築されたと判断する。そして、運用側検証部３０２は、実行ファイルＡ１がソースファイル群Ｓ１により構築されている旨をユーザに通知する。例えば、運用側検証部３０２は、ソースファイル群Ｓ１の情報（例えば、ソースファイルＳ１−１、Ｓ１−２の位置情報やファイル名等）を実行ファイルＡ１の正当なソースとして表示部３０３に表示する。また、例えば、運用側検証部３０２は、実行ファイルＡ１がソースファイル群Ｓ１により構築されている旨を所定のファイルに書き込んだり、他の装置に通知する。これにより、実行ファイルＡ１がソースファイル群Ｓ１により構築されていることが分かる。   Further, the operation side verification unit 302 determines that the execution file A1 is constructed by the source file group S1 because the identification information IS1 and the identification information IS1 'match. Then, the operation side verification unit 302 notifies the user that the execution file A1 is constructed by the source file group S1. For example, the operation side verification unit 302 displays information on the source file group S1 (for example, location information and file names of the source files S1-1 and S1-2) on the display unit 303 as a valid source of the execution file A1. . Further, for example, the operation side verification unit 302 writes that the execution file A1 is constructed by the source file group S1 in a predetermined file or notifies other devices. Thereby, it can be seen that the execution file A1 is constructed by the source file group S1.

ステップＳ６０９において、運用側検証部３０２は、識別情報ＩＳ１と識別情報ＩＳ１’とが一致していなかったので、実行ファイルＡ１の正当なソースファイル群が見つからない旨を表示部３０３に表示する。   In step S609, the operation side verification unit 302 displays on the display unit 303 that the valid source file group of the execution file A1 is not found because the identification information IS1 and the identification information IS1 'do not match.

さらに、運用側検証部３０２は、開発側検証部２０６に正当なソースの検索を依頼しても良い。開発側検証部２０６は、正当なソースの検索を依頼されたとき、各ソースファイル群の識別情報を算出し、識別情報ＩＳ’と一致する識別情報が算出されたソースファイル群を見つけ出す。そして、開発側検証部２０６は、該ソースファイル群の情報を正当なソースとして運用側検証部３０２に送信する。運用側検証部３０２は、運用側検証部３０２は、受信したソースファイル群の情報を正当なソースとして表示部３０３に表示する。   Further, the operation side verification unit 302 may request the development side verification unit 206 to search for a valid source. When requested to search for a valid source, the development side verification unit 206 calculates the identification information of each source file group, and finds the source file group for which the identification information that matches the identification information IS ′ is calculated. Then, the development side verification unit 206 transmits the information of the source file group to the operation side verification unit 302 as a valid source. The operation side verification unit 302 displays the received information on the source file group on the display unit 303 as a valid source.

実施の形態の装置によれば、実行ファイルの識別情報や実行ファイルに含まれるソースファイルの識別情報を記録されている識別情報または計算した識別情報と比較することで、実行ファイルが変更されているかやソースファイルが実行ファイルの構築に用いられたソースファイルであるかを判断することが出来る。   According to the apparatus of the embodiment, whether the executable file has been changed by comparing the identification information of the executable file or the identification information of the source file included in the executable file with the recorded identification information or the calculated identification information. And whether the source file is the source file used to build the executable file.

実施の形態の装置によれば、実行ファイルと該実行ファイルの構築に用いたソースファイルの対応を証明することが出来る。
図７は、情報処理装置（コンピュータ）の構成図である。According to the apparatus of the embodiment, it is possible to prove the correspondence between the execution file and the source file used to construct the execution file.
FIG. 7 is a configuration diagram of the information processing apparatus (computer).

実施の形態の識別情報付加装置２０１および検証装置３０１は、例えば、図７に示すような情報処理装置１によって実現される。
情報処理装置１は、CPU２、メモリ３、入力部４、出力部５、記憶部６、記録媒体駆動部７、およびネットワーク接続部８を備え、それらはバス９により互いに接続されている。The identification information adding device 201 and the verification device 301 of the embodiment are realized by an information processing device 1 as shown in FIG. 7, for example.
The information processing apparatus 1 includes a CPU 2, a memory 3, an input unit 4, an output unit 5, a storage unit 6, a recording medium drive unit 7, and a network connection unit 8, which are connected to each other by a bus 9.

CPU２は、情報処理装置１全体を制御する中央処理装置である。CPU２は、実行ファイル構築部２０３、識別情報生成部２０４、情報結合部２０５、開発側検証部２０６、および運用側検証部３０２に対応する。   The CPU 2 is a central processing unit that controls the entire information processing apparatus 1. The CPU 2 corresponds to the execution file construction unit 203, the identification information generation unit 204, the information combination unit 205, the development side verification unit 206, and the operation side verification unit 302.

メモリ３は、プログラム実行の際に、記憶部６（あるいは可搬記録媒体１０）に記憶されているプログラムあるいはデータを一時的に格納するRead Only Memory(ROM)やRandom Access Memory(RAM)等のメモリである。CPU２は、メモリ３を利用してプログラムを実行することにより、上述した各種処理を実行する。   The memory 3 is a Read Only Memory (ROM) or Random Access Memory (RAM) that temporarily stores a program or data stored in the storage unit 6 (or the portable recording medium 10) during program execution. It is memory. The CPU 2 executes the various processes described above by executing a program using the memory 3.

この場合、可搬記録媒体１０等から読み出されたプログラムコード自体が実施の形態の機能を実現する。
入力部４は、例えば、キーボード、マウス、タッチパネル等である。In this case, the program code itself read from the portable recording medium 10 or the like realizes the functions of the embodiment.
The input unit 4 is, for example, a keyboard, a mouse, a touch panel, or the like.

出力部５は、例えば、ディスプレイ、プリンタ等である。
記憶部６は、例えば、磁気ディスク装置、光ディスク装置、テープ装置等である。情報処理装置１は、記憶部６に、上述のプログラムとデータを保存しておき、必要に応じて、それらをメモリ３に読み出して使用する。記憶部６は、記憶部２０２に対応する。The output unit 5 is, for example, a display, a printer, or the like.
The storage unit 6 is, for example, a magnetic disk device, an optical disk device, a tape device, or the like. The information processing apparatus 1 stores the above-described program and data in the storage unit 6 and reads them into the memory 3 and uses them as necessary. The storage unit 6 corresponds to the storage unit 202.

記録媒体駆動部７は、可搬記録媒体１０を駆動し、その記録内容にアクセスする。可搬記録媒体としては、メモリカード、フレキシブルディスク、Compact Disk Read Only Memory(CD-ROM)、光ディスク、光磁気ディスク等、任意のコンピュータ読み取り可能な記録媒体が用いられる。ユーザは、この可搬記録媒体１０に上述のプログラムとデータを格納しておき、必要に応じて、それらをメモリ３に読み出して使用する。   The recording medium driving unit 7 drives the portable recording medium 10 and accesses the recorded contents. As the portable recording medium, any computer-readable recording medium such as a memory card, a flexible disk, a compact disk read only memory (CD-ROM), an optical disk, and a magneto-optical disk is used. The user stores the above-described program and data in the portable recording medium 10 and reads them into the memory 3 and uses them as necessary.

ネットワーク接続部８は、LAN等の任意の通信ネットワークに接続され、通信に伴うデータ変換を行う。   The network connection unit 8 is connected to an arbitrary communication network such as a LAN, and performs data conversion accompanying communication.

Claims (8)

コンピュータに
第１の実行ファイル名、該第１の実行ファイルから所定の方法により算出した第１の識別情報および該第１の実行ファイルの生成に用いられた第１のソースファイル群の情報を対応付けて記憶部に記憶する手順と、
第２の実行ファイルから所定の方法により算出した第２の識別情報を算出する手順と、
前記第２の実行ファイル名と同一名の前記第１の実行ファイルに対応付けられた前記第１の識別情報を前記記憶部から取得する手順と、
前記第２の識別情報と前記第１の識別情報を比較し、一致した場合に、前記第２の実行ファイルの所定の領域から第３の識別情報を抽出する手順と、
前記記憶部から前記第１の実行ファイルに対応付けられた第１のソースファイル群の情報を抽出し、所定の方法により算出した第４の識別情報を算出する手順と、
前記第３の識別情報と前記第４の識別情報とを比較し、一致した場合に、前記第２の実行ファイルが前記第１のソースファイル群により生成された旨を通知する手順と、
を実行させるための検証プログラム。Corresponds to the computer the first executable file name, the first identification information calculated from the first executable file by a predetermined method, and the information of the first source file group used to generate the first executable file And the procedure to store in the storage unit,
A procedure for calculating second identification information calculated from the second executable file by a predetermined method;
Obtaining the first identification information associated with the first executable file having the same name as the second executable file name from the storage unit;
Comparing the second identification information with the first identification information, and extracting the third identification information from a predetermined area of the second executable file if they match,
A procedure of extracting information of a first source file group associated with the first executable file from the storage unit and calculating fourth identification information calculated by a predetermined method;
Comparing the third identification information with the fourth identification information and notifying that the second executable file has been generated by the first source file group if they match,
Verification program to execute. 前記第３の識別情報と前記第４の識別情報とが一致した場合、前記第１のソースファイル群の情報を表示する手順を実行させることを特徴とする請求項１記載の検証プログラム。   2. The verification program according to claim 1, wherein when the third identification information matches the fourth identification information, a procedure for displaying information of the first source file group is executed. 前記第１の識別情報は、前記第１の実行ファイルのハッシュ値であり、前記第２の識別情報は前記第２の実行ファイルのハッシュ値であることを特徴とする請求項１または２記載の検証プログラム。   3. The first identification information is a hash value of the first executable file, and the second identification information is a hash value of the second executable file. Verification program. 前記第３の識別情報は、前記第２の実行ファイルの生成に用いられたソースファイル群に基づくハッシュ値であり、前記第４の識別情報は、前記第１のソースファイル群に基づくハッシュ値であることを特徴とする請求項１乃至３記載の検証プログラム。   The third identification information is a hash value based on the source file group used to generate the second executable file, and the fourth identification information is a hash value based on the first source file group. The verification program according to claim 1, wherein the verification program is provided. 第１の実行ファイル名、該第１の実行ファイルから所定の方法により算出した第１の識別情報および該第１の実行ファイルの生成に用いられた第１のソースファイル群の情報を対応付けて記憶する記憶部と、
第２の実行ファイルから所定の方法により算出した第２の識別情報を算出する手順と、
前記第２の実行ファイル名と同一名の前記第１の実行ファイルに対応付けられた前記第１の識別情報を前記記憶部から取得し、
前記第２の識別情報と前記第１の識別情報を比較し、一致した場合に、前記第２の実行ファイルの所定の領域から第３の識別情報を抽出し、
前記記憶部から前記第１の実行ファイルに対応付けられた第１のソースファイル群の情報を抽出し、所定の方法により算出した第４の識別情報を算出し、
前記第３の識別情報と前記第４の識別情報とを比較し、一致した場合に、前記第２の実行ファイルが前記第１のソースファイル群により生成された旨を通知する
検証部と、
を備える検証装置。The first executable file name, the first identification information calculated from the first executable file by a predetermined method, and the information of the first source file group used for generating the first executable file are associated with each other. A storage unit for storing;
A procedure for calculating second identification information calculated from the second executable file by a predetermined method;
Obtaining the first identification information associated with the first executable file having the same name as the second executable file name from the storage unit;
If the second identification information and the first identification information are compared and matched, the third identification information is extracted from a predetermined area of the second executable file,
Extracting the information of the first source file group associated with the first executable file from the storage unit, calculating the fourth identification information calculated by a predetermined method,
Comparing the third identification information and the fourth identification information, and if they match, a verification unit that notifies that the second executable file is generated by the first source file group;
A verification apparatus comprising: 前記検証部は、前記第３の識別情報と前記第４の識別情報とが一致した場合、前記第１のソースファイル群の情報を表示することを特徴とする請求項５記載の検証装置。   6. The verification apparatus according to claim 5, wherein the verification unit displays information on the first source file group when the third identification information and the fourth identification information match. 前記第１の識別情報は、前記第１の実行ファイルのハッシュ値であり、前記第２の識別情報は前記第２の実行ファイルのハッシュ値であることを特徴とする請求項５または６記載の検証装置。   The first identification information is a hash value of the first executable file, and the second identification information is a hash value of the second executable file. Verification device. 前記第３の識別情報は、前記第２の実行ファイルの生成に用いられたソースファイル群に基づくハッシュ値であり、前記第４の識別情報は、前記第１のソースファイル群に基づくハッシュ値であることを特徴とする請求項５乃至７記載の検証装置。   The third identification information is a hash value based on the source file group used to generate the second executable file, and the fourth identification information is a hash value based on the first source file group. The verification apparatus according to claim 5, wherein the verification apparatus is provided.
JP2012527495A 2010-08-03 2010-08-03 Verification program and verification device Expired - Fee Related JP5316719B2 (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2010/063126 WO2012017522A1 (en) 2010-08-03 2010-08-03 Verification program and verification device

Publications (2)

Publication Number Publication Date
JPWO2012017522A1 JPWO2012017522A1 (en) 2013-09-19
JP5316719B2 true JP5316719B2 (en) 2013-10-16

Family

ID=45559054

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2012527495A Expired - Fee Related JP5316719B2 (en) 2010-08-03 2010-08-03 Verification program and verification device

Country Status (2)

Country Link
JP (1) JP5316719B2 (en)
WO (1) WO2012017522A1 (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5900193B2 (en) * 2012-06-29 2016-04-06 富士通株式会社 Update determination program and update determination apparatus
US11098100B2 (en) 2015-10-06 2021-08-24 Regents Of The University Of Minnesota Therapeutic compounds and methods

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05507165A (en) * 1990-03-27 1993-10-14 サン・マイクロシステムズ・インコーポレーテッド Locking mechanism to prevent race conditions
JP2005182102A (en) * 2003-12-16 2005-07-07 Nec Corp Build system and method, building program, and build server
JP2008282362A (en) * 2007-05-14 2008-11-20 Keyence Corp Program editing support device, computer program, program editing support method, and plc system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05507165A (en) * 1990-03-27 1993-10-14 サン・マイクロシステムズ・インコーポレーテッド Locking mechanism to prevent race conditions
JP2005182102A (en) * 2003-12-16 2005-07-07 Nec Corp Build system and method, building program, and build server
JP2008282362A (en) * 2007-05-14 2008-11-20 Keyence Corp Program editing support device, computer program, program editing support method, and plc system

Also Published As

Publication number Publication date
WO2012017522A1 (en) 2012-02-09
JPWO2012017522A1 (en) 2013-09-19

Similar Documents

Publication Publication Date Title
CN110495132B (en) System and method for generating, uploading and executing code blocks within distributed network nodes
US10007803B2 (en) Searching over encrypted keywords in a database
EP3308280A2 (en) Making cryptographic claims about stored data using an anchoring system
US9934229B2 (en) Telemetry file hash and conflict detection
CN106201861A (en) The detection method of a kind of code quality and device
CN109791483A (en) For calculating the shareware library of equipment
JP2009239907A (en) Method and apparatus for verifying integrity of redacted documents
US9589153B2 (en) Securing integrity and consistency of a cloud storage service with efficient client operations
US20150106663A1 (en) Hash labeling of logging messages
CN107015794B (en) Software-as-a-service reference flow extension verification framework
US20170207915A1 (en) Signed Application Cards
US20220398379A1 (en) Content tailoring for diverse audiences
KR20160048806A (en) Automatically generating certification documents
EP2859469A2 (en) Mediation computing device and associated method for generating semantic tags
JP2023553676A (en) Delivering explainable machine learning model results using a distributed ledger
JP5316719B2 (en) Verification program and verification device
CN108182366A (en) A kind of method, apparatus and equipment of the file for measuring virtual machine
US20070094590A1 (en) System and method for providing dynamic process step annotations
US9258126B2 (en) Method for non-repudiation of ad-hoc workflows
US8769290B1 (en) Providing confidential structured data
Kumar et al. SIGNIFICANCE of hash value generation in digital forensic: A case study
CN110457318A (en) The update method of data field, device, medium, electronic equipment in block chain
Azli et al. Implementing Blockchain Technology for Accreditation and Degree Verification
CN106575341A (en) Composite document access
CN116107991A (en) Container label database construction method and device, storage medium and electronic equipment

Legal Events

Date Code Title Description
TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20130611

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20130624

R150 Certificate of patent or registration of utility model

Ref document number: 5316719

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

LAPS Cancellation because of no payment of annual fees