JP2011170847A5 - - Google Patents

Claims (14)

1. 自己書換ソフトウェアコードのインテグリティをその実行中に確かめる方法であって、
   前記ソフトウェアコードは複数のモジュールを有し、各モジュールは、前記ソフトウェアコードの実行中に少なくとも２つのとり得る状態にあることが可能であり、該とり得る状態は暗号化された状態及び暗号化されていない状態であり、
   当該方法は、前記ソフトウェアコードを実行するプロセッサによって実行され、前記プロセッサに、
   前記ソフトウェアコードに係るチェックサムと前記ソフトウェアコードとを比較することによって前記ソフトウェアコードのインテグリティを確かめるステップと、
   前記複数のモジュールのうちの１つを第１の状態から第２の状態に変えることによって前記ソフトウェアコードを変更するステップと、
   前記変更されたソフトウェアコードに係るチェックサムと前記変更されたソフトウェアコードとを比較することによって前記変更されたソフトウェアコードのインテグリティを確かめるステップと
   を実行させる方法。
2. 前記チェックサムはハッシュ値である、請求項１に記載の方法。
3. 前記チェックサムは、前記モジュールのインテグリティを確かめる関数に埋め込まれている、請求項１に記載の方法。
4. 前記チェックサムは、ルックアップテーブルに含まれる、請求項１に記載の方法。
5. 前記変更されたソフトウェアコードのインテグリティを確かめる関数は、前記ルックアップテーブルに含まれる前記チェックサムにアクセスするために、前記複数のモジュールの夫々の状態を示す状態変数を用いる、請求項４に記載の方法。
6. 自己書換ソフトウェアコードのインテグリティをその実行中に確かめる装置であって、
   前記ソフトウェアコードは複数のモジュールを有し、各モジュールは、前記ソフトウェアコードの実行中に少なくとも２つのとり得る状態にあることが可能であり、該とり得る状態は暗号化された状態及び暗号化されていない状態であり、
   前記ソフトウェアコードを実行し、それによって、
   前記ソフトウェアコードに係るチェックサムと前記ソフトウェアコードとを比較することによって前記ソフトウェアコードのインテグリティを確かめ、
   前記複数のモジュールのうちの１つを第１の状態から第２の状態に変えることによって前記ソフトウェアコードを変更し、
   前記変更されたソフトウェアコードに係るチェックサムと前記変更されたソフトウェアコードとを比較することによって前記変更されたソフトウェアコードのインテグリティを確かめる
   よう構成されるプロセッサを有する、装置。
7. 前記チェックサムはハッシュ値である、請求項６に記載の装置。
8. 前記チェックサムは、前記モジュールのインテグリティを確かめる関数に埋め込まれている、請求項６に記載の装置。
9. 前記チェックサムは、ルックアップテーブルに含まれる、請求項６に記載の装置
10. 前記変更されたソフトウェアコードのインテグリティを確かめる関数は、前記ルックアップテーブルに含まれる前記チェックサムにアクセスするために、前記複数のモジュールの夫々の状態を示す状態変数を用いる、請求項９に記載の装置。
11. インテグリティが保護された自己書換バイナリを生成する装置であって、
    前記バイナリは複数のモジュールを有し、各モジュールは、前記バイナリの実行中に少なくとも２つのとり得る状態にあることができ、該とり得る状態は暗号化された状態及び暗号化されていない状態であり、
    プロセッサを有し、該プロセッサは、
    バイナリを受け取り、
    前記バイナリのとり得る状態を計算し、該バイナリの夫々の状態は前記複数のモジュールの状態の異なる組み合わせに対応し、
    前記バイナリのチェックサムを、そのとり得る状態の夫々において生成し、
    少なくとも１つのチェックサム照合関数及び前記生成されたチェックサムを前記バイナリに挿入することによって、前記インテグリティが保護されたバイナリを生成する
    よう構成され、
    各チェックサム関数は、前記バイナリの状態を該バイナリの状態についてのチェックサムと比較することによって、前記インテグリティが保護されたバイナリの各状態のインテグリティを確かめるよう構成される、装置。
12. 前記プロセッサは、更に、入れ子式に複数のチェックサム照合関数を挿入し、それにより、実行中に、各チェックサム照合関数のインテグリティが少なくとも１つの他のチェックサム照合関数によって確かめられるようにする、よう構成される、請求項１１に記載の装置。
13. 自己書換型のインテグリティが保護されたバイナリを記憶しており、プロセッサによって実行される場合に、請求項１乃至５のうちのいずれか一項に記載の方法のステップを実行するコンピュータプログラム。
14. プロセッサによって実行される場合に、
    複数のモジュールを有するバイナリのとり得る状態を計算し、各モジュールは前記バイナリの実行中に少なくとも２つのとり得る状態にあることができ、該とり得る状態は暗号化された状態及び暗号化されていない状態であり、前記バイナリの夫々の状態は前記複数のモジュールの状態の異なる組み合わせに対応し、
    前記バイナリのチェックサムを、そのとり得る状態の夫々において生成し、
    少なくとも１つのチェックサム照合関数及び前記生成されたチェックサムを前記バイナリに挿入することによって、インテグリティが保護されたバイナリを生成し、各チェックサム関数は、前記バイナリの状態を該バイナリの状態についてのチェックサムと比較することによって、前記インテグリティが保護されたバイナリの各状態のインテグリティを確かめるよう構成される
    命令を記憶しているコンピュータプログラム。