JPH04259036A - プログラム変換方式及びプログラム不正動作検出機構 - Google Patents
プログラム変換方式及びプログラム不正動作検出機構Info
- Publication number
- JPH04259036A JPH04259036A JP3040598A JP4059891A JPH04259036A JP H04259036 A JPH04259036 A JP H04259036A JP 3040598 A JP3040598 A JP 3040598A JP 4059891 A JP4059891 A JP 4059891A JP H04259036 A JPH04259036 A JP H04259036A
- Authority
- JP
- Japan
- Prior art keywords
- program
- routine
- data
- checksum
- instruction
- 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.)
- Withdrawn
Links
- 238000000034 method Methods 0.000 claims abstract description 25
- 238000001514 detection method Methods 0.000 claims description 14
- 230000007257 malfunction Effects 0.000 claims description 13
- 230000010365 information processing Effects 0.000 claims description 9
- 238000006243 chemical reaction Methods 0.000 abstract 1
- 230000005856 abnormality Effects 0.000 description 3
- 238000010586 diagram Methods 0.000 description 1
Landscapes
- Executing Machine-Instructions (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】本発明は、プログラム変換方式及
びプログラム不正動作検出機構に関し、特に実行される
プログラムが不正に書き換えられていたり、正しくない
プログラムを実行していることをハードウェアにおいて
検出することにより、プログラムの処理速度に影響を与
えることなく信頼性を向上することができるプログラム
変換方式及びプログラム不正動作検出機構に関する。
びプログラム不正動作検出機構に関し、特に実行される
プログラムが不正に書き換えられていたり、正しくない
プログラムを実行していることをハードウェアにおいて
検出することにより、プログラムの処理速度に影響を与
えることなく信頼性を向上することができるプログラム
変換方式及びプログラム不正動作検出機構に関する。
【０００２】
【従来の技術】従来、不正プログラムの検出方法として
は、あらかじめプログラムの一定の領域ごとに設けられ
たチェックサムをプログラムの実行とは別にチェックす
る方法がある。
は、あらかじめプログラムの一定の領域ごとに設けられ
たチェックサムをプログラムの実行とは別にチェックす
る方法がある。
【０００３】
【発明が解決しようとする課題】上述した従来の不正プ
ログラム検出方法では、プログラムの実行前にそのプロ
グラムをチェックする為の時間が、そのプログラム自身
の実行の為の時間とは別に必要となるという欠点があっ
た。
ログラム検出方法では、プログラムの実行前にそのプロ
グラムをチェックする為の時間が、そのプログラム自身
の実行の為の時間とは別に必要となるという欠点があっ
た。
【０００４】又、プログラムの実行とは別にチェックを
行なう為、プログラム実行中に不正にプログラムを変更
した場合には、プログラム実行中にチェックができない
為、プログラムの不正動作を検出できなくなるという欠
点があった。
行なう為、プログラム実行中に不正にプログラムを変更
した場合には、プログラム実行中にチェックができない
為、プログラムの不正動作を検出できなくなるという欠
点があった。
【０００５】それ故に、本発明の課題は、プログラム実
行中にプログラムの不正動作を検出可能とするプログラ
ム変換方式及びプログラム不正動作検出機構を提供する
ことにある。
行中にプログラムの不正動作を検出可能とするプログラ
ム変換方式及びプログラム不正動作検出機構を提供する
ことにある。
【０００６】
【課題を解決するための手段】本発明のプログラム変換
方式によれば、情報処理装置で実行されるプログラムに
ついて、プログラム言語を上記情報処理装置で実行する
為の機械語に変換する過程において、上記プログラム実
行時に各ルーチンが正しいプログラムであることを確認
する為のデータを、１つのルーチンの開始からルーチン
の切れ目にある分岐を表わす命令までにあるデータおよ
び命令のチェックサム又はチェックサムを暗号化した形
で生成する生成手順と、該生成手順により生成された上
記チェックサム又はチェックサムを暗号化したものを、
各ルーチンごとに付加する付加手順とを有することを特
徴とするプログラム変換方式が得られる。
方式によれば、情報処理装置で実行されるプログラムに
ついて、プログラム言語を上記情報処理装置で実行する
為の機械語に変換する過程において、上記プログラム実
行時に各ルーチンが正しいプログラムであることを確認
する為のデータを、１つのルーチンの開始からルーチン
の切れ目にある分岐を表わす命令までにあるデータおよ
び命令のチェックサム又はチェックサムを暗号化した形
で生成する生成手順と、該生成手順により生成された上
記チェックサム又はチェックサムを暗号化したものを、
各ルーチンごとに付加する付加手順とを有することを特
徴とするプログラム変換方式が得られる。
【０００７】本発明のプログラム不正動作検出機構によ
れば、請求項１記載のプログラム変換方式により機械語
に変換されたプログラムを実行する情報処理装置に備え
られたプログラム不正動作検出機構であって、１つのル
ーチンを実行開始時からルーチンの切れ目にある分岐を
表わす命令までにあるデータおよび命令のチェックサム
又はチェックサムを暗号化した型のデータをハードウェ
ア上で生成する生成手段と、あらかじめ上記プログラム
上に付加されているデータとの比較を行なうことによっ
て上記プログラムが正常に動作していることを確認し、
プログラム変換後に不正にプログラムを書き換えられ、
或いは正しくないプログラムを実行していることを検出
する比較手段とを有することを特徴とするプログラム不
正動作検出機構が得られる。
れば、請求項１記載のプログラム変換方式により機械語
に変換されたプログラムを実行する情報処理装置に備え
られたプログラム不正動作検出機構であって、１つのル
ーチンを実行開始時からルーチンの切れ目にある分岐を
表わす命令までにあるデータおよび命令のチェックサム
又はチェックサムを暗号化した型のデータをハードウェ
ア上で生成する生成手段と、あらかじめ上記プログラム
上に付加されているデータとの比較を行なうことによっ
て上記プログラムが正常に動作していることを確認し、
プログラム変換後に不正にプログラムを書き換えられ、
或いは正しくないプログラムを実行していることを検出
する比較手段とを有することを特徴とするプログラム不
正動作検出機構が得られる。
【０００８】
【実施例】本実施例によるプログラム変換方式は、プロ
グラム言語を情報処理装置で実行する為の機械語に変換
する過程において、１つのルーチンの開始からルーチン
の切れ目にある分岐を表わす命令までにあるデータおよ
び命令のチェックサム又はチェックサムを暗号化した形
のデータを生成する生成手順と、この生成手段により得
られた上述のデータおよび命令のチェックサム又はチェ
ックサムを暗号化した形のデータを、ルーチン毎に付加
する付加手順とを有する。
グラム言語を情報処理装置で実行する為の機械語に変換
する過程において、１つのルーチンの開始からルーチン
の切れ目にある分岐を表わす命令までにあるデータおよ
び命令のチェックサム又はチェックサムを暗号化した形
のデータを生成する生成手順と、この生成手段により得
られた上述のデータおよび命令のチェックサム又はチェ
ックサムを暗号化した形のデータを、ルーチン毎に付加
する付加手順とを有する。
【０００９】また、本実施例によるプログラム不正動作
検出機構は、プログラム実行時に一つのルーチンの開始
および分岐を認識する命令解読部と、この命令解読部に
より認識されたルーチンの開始および分岐によって実行
されるデータおよび命令のチェックサムの生成を制御す
る生成手段としての加算機と、プログラム変換方式によ
り付加されたデータと加算機によりにより生成したチェ
ックサムとを比較し、一致しない場合には異常検出信号
を出す比較機構とを有する。
検出機構は、プログラム実行時に一つのルーチンの開始
および分岐を認識する命令解読部と、この命令解読部に
より認識されたルーチンの開始および分岐によって実行
されるデータおよび命令のチェックサムの生成を制御す
る生成手段としての加算機と、プログラム変換方式によ
り付加されたデータと加算機によりにより生成したチェ
ックサムとを比較し、一致しない場合には異常検出信号
を出す比較機構とを有する。
【００１０】以下、本実施例について、図を用いて説明
する。図１および図２はプログラム中のルーチンを表わ
すフローチャートの一例である。図１および図２を用い
てチェックサムの生成手順を説明する。図１に示すルー
チンＡは、ルーチンの分岐後ルーチンＢの途中に分岐す
る。ルーチンＢは、ルーチンの分岐後、他のルーチンの
開始のところに分岐する。ルーチンＢにおいてチェック
サムを生成する場合は、ルーチンの開始にあるＢＳ か
ら分岐命令ＢＪ までのＣｈｅｃｋＢ２ 部のチェック
サムを生成する。
する。図１および図２はプログラム中のルーチンを表わ
すフローチャートの一例である。図１および図２を用い
てチェックサムの生成手順を説明する。図１に示すルー
チンＡは、ルーチンの分岐後ルーチンＢの途中に分岐す
る。ルーチンＢは、ルーチンの分岐後、他のルーチンの
開始のところに分岐する。ルーチンＢにおいてチェック
サムを生成する場合は、ルーチンの開始にあるＢＳ か
ら分岐命令ＢＪ までのＣｈｅｃｋＢ２ 部のチェック
サムを生成する。
【００１１】ルーチンＡにおいてチェックサムを生成す
る場合は、分岐後ルーチンＢの命令Ｂ２ に分岐する為
、ルーチンＡの開始にあるＡＳ から分岐命令ＡＪ ま
でのＣｈｅｃｋＡ部およびルーチンＢの開始にあるＢＳ
から分岐先の命令Ｂ２ の１つ前の命令Ｂ１ までの
ＣｈｅｃｋＢ１ 部のチェックサムを生成する。
る場合は、分岐後ルーチンＢの命令Ｂ２ に分岐する為
、ルーチンＡの開始にあるＡＳ から分岐命令ＡＪ ま
でのＣｈｅｃｋＡ部およびルーチンＢの開始にあるＢＳ
から分岐先の命令Ｂ２ の１つ前の命令Ｂ１ までの
ＣｈｅｃｋＢ１ 部のチェックサムを生成する。
【００１２】図２は、条件付分岐命令をもつルーチンＣ
および、条件付分岐によって実行されるサブルーチンで
あるルーチンＤである。ルーチンＣには条件付分岐命令
Ｃｃ があり、条件にあてはまれば分岐を行ないルーチ
ンＤに分岐し、条件にあてはまらなければ、分岐を行な
わず命令ＣＣＳを実行する。この場合、プログラムを変
換する時にはどちらに行くかわからないため、Ｃｈｅｃ
ｋＣ１ 部、ＣｈｅｃｋＣ２ 部、ＣｈｅｃｋＤ部それ
ぞれにチェックサムを生成する。
および、条件付分岐によって実行されるサブルーチンで
あるルーチンＤである。ルーチンＣには条件付分岐命令
Ｃｃ があり、条件にあてはまれば分岐を行ないルーチ
ンＤに分岐し、条件にあてはまらなければ、分岐を行な
わず命令ＣＣＳを実行する。この場合、プログラムを変
換する時にはどちらに行くかわからないため、Ｃｈｅｃ
ｋＣ１ 部、ＣｈｅｃｋＣ２ 部、ＣｈｅｃｋＤ部それ
ぞれにチェックサムを生成する。
【００１３】次に本実施例のプログラム不正動作検出機
構を備えた情報処理装置の説明を行なう。図３は、プロ
グラムを実行する情報処理装置の中央処理装置の一例で
ある。この中央処理装置１は、バス制御部２、命令解読
部３、チェック部４、命令実行部５からできている。プ
ログラムは、まずバス制御部２を通じて命令解読部３に
入る。命令解読部３に入ったプログラムは、そこで解読
されルーチンが始まると、チェック部４の加算機１８に
加算開始の信号１２を出すとともに命令およびデータ１
３を送る。加算機１８は加算開始の信号１２を受けると
、加算機１８内のレジスタをクリアし、命令解読部３か
ら送られてくる命令およびデータ１３を加算する。分岐
命令があると、命令解読部３は、加算終了の信号１２を
加算機１８に出すとともに、比較機構１９に対してプロ
グラムに付加されていたチェックサムのデータおよびチ
ェック開始の信号２０を送る。チェック開始の信号２０
を受けた比較機構１９は、加算機１８から送られてくる
加算結果１５と、命令解読部３から送られてくるチェッ
クサムのデータ１４を比較し、一致しなければ、異常検
出信号１６を出す。また、先の図１の様に、ルーチンＢ
の途中から加算する場合は、ルーチンＡに付加されてい
るＣｈｅｃｋＢ１ 部のチェックサムを加算開始時に命
令解読部３から加算機１８に送った後、加算を開始する
。
構を備えた情報処理装置の説明を行なう。図３は、プロ
グラムを実行する情報処理装置の中央処理装置の一例で
ある。この中央処理装置１は、バス制御部２、命令解読
部３、チェック部４、命令実行部５からできている。プ
ログラムは、まずバス制御部２を通じて命令解読部３に
入る。命令解読部３に入ったプログラムは、そこで解読
されルーチンが始まると、チェック部４の加算機１８に
加算開始の信号１２を出すとともに命令およびデータ１
３を送る。加算機１８は加算開始の信号１２を受けると
、加算機１８内のレジスタをクリアし、命令解読部３か
ら送られてくる命令およびデータ１３を加算する。分岐
命令があると、命令解読部３は、加算終了の信号１２を
加算機１８に出すとともに、比較機構１９に対してプロ
グラムに付加されていたチェックサムのデータおよびチ
ェック開始の信号２０を送る。チェック開始の信号２０
を受けた比較機構１９は、加算機１８から送られてくる
加算結果１５と、命令解読部３から送られてくるチェッ
クサムのデータ１４を比較し、一致しなければ、異常検
出信号１６を出す。また、先の図１の様に、ルーチンＢ
の途中から加算する場合は、ルーチンＡに付加されてい
るＣｈｅｃｋＢ１ 部のチェックサムを加算開始時に命
令解読部３から加算機１８に送った後、加算を開始する
。
【００１４】
【発明の効果】以上の説明のように、本発明は、プログ
ラム変換時に付加されたルーチン毎のチェックサムと、
プログラム実行中に生成したチェックサムを常時比較す
ることにより、正しいプログラムを実行していることを
確認し、プログラム変換後に書換えられた不正なプログ
ラムを検出できるという効果がある。
ラム変換時に付加されたルーチン毎のチェックサムと、
プログラム実行中に生成したチェックサムを常時比較す
ることにより、正しいプログラムを実行していることを
確認し、プログラム変換後に書換えられた不正なプログ
ラムを検出できるという効果がある。
【図１】プログラム中のルーチンを表わすフローチャー
トの１例である。
トの１例である。
【図２】プログラム中のルーチンを表わすフローチャー
トの１例である。
トの１例である。
【図３】本発明の一実施例によるプログラム不正動作検
出機構を備えた中央処理装置のブロック図である。
出機構を備えた中央処理装置のブロック図である。
１ 中央処理装置
２ バス制御部
３ 命令解読部
４ チェック部
５ 命令実行部
６ 外部バス制御信号
７ 外部バスデータ信号
８ 外部バスアドレス信号
９ フェッチデータ
１０ 内部アドレス信号
１１ 内部データ信号
１２ 加算制御信号
１３ 命令・データ
１４ チェックサム・データ
１５ 加算結果
１６ 異常検出信号
１７ 内部命令
１８ 加算機
１９ 比較機構
２０ 比較開始信号
Claims (2)
- 【請求項１】 情報処理装置で実行されるプログラム
について、プログラム言語を上記情報処理装置で実行す
る為の機械語に変換する過程において、上記プログラム
実行時に各ルーチンが正しいプログラムであることを確
認する為のデータを、１つのルーチンの開始からルーチ
ンの切れ目にある分岐を表わす命令までにあるデータお
よび命令のチェックサム又はチェックサムを暗号化した
形で生成する生成手順と、該生成手順により生成された
上記チェックサム又はチェックサムを暗号化したものを
、各ルーチンごとに付加する付加手順とを有することを
特徴とするプログラム変換方式。 - 【請求項２】 請求項１記載のプログラム変換方式に
より機械語に変換されたプログラムを実行する情報処理
装置に備えられたプログラム不正動作検出機構であって
、１つのルーチンを実行開始時からルーチンの切れ目に
ある分岐を表わす命令までにあるデータおよび命令のチ
ェックサム又はチェックサムを暗号化した型のデータを
ハードウェア上で生成する生成手段と、あらかじめ上記
プログラム上に付加されているデータとの比較を行なう
ことによって上記プログラムが正常に動作していること
を確認し、プログラム変換後に不正にプログラムを書き
換えられ、或いは正しくないプログラムを実行している
ことを検出する比較手段とを有することを特徴とするプ
ログラム不正動作検出機構。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3040598A JPH04259036A (ja) | 1991-02-13 | 1991-02-13 | プログラム変換方式及びプログラム不正動作検出機構 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3040598A JPH04259036A (ja) | 1991-02-13 | 1991-02-13 | プログラム変換方式及びプログラム不正動作検出機構 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04259036A true JPH04259036A (ja) | 1992-09-14 |
Family
ID=12584951
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3040598A Withdrawn JPH04259036A (ja) | 1991-02-13 | 1991-02-13 | プログラム変換方式及びプログラム不正動作検出機構 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04259036A (ja) |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH09282156A (ja) * | 1996-04-17 | 1997-10-31 | Ricoh Co Ltd | プログラム保護装置及びプログラム保護方法 |
| JP2007517299A (ja) * | 2003-12-31 | 2007-06-28 | トラステッド ロジック ソシエテ アノニム | 実行トレースプリントを検証することによるプログラム実行整合性の制御方法 |
| JP2008305128A (ja) * | 2007-06-07 | 2008-12-18 | Panasonic Corp | 情報処理装置及び改竄検証方法 |
| JP2009521737A (ja) * | 2005-11-10 | 2009-06-04 | 株式会社エヌ・ティ・ティ・ドコモ | Ｊａｖａｓｃｒｉｐｔプログラムの不安全動作安を検出するため、及び防止するための方法及び装置 |
| JP4732651B2 (ja) * | 1999-09-20 | 2011-07-27 | ギーゼッケ ウント デフリエント ゲーエムベーハー | プログラム実行を保護するための方法 |
| JP4754635B2 (ja) * | 2006-02-27 | 2011-08-24 | シャープ株式会社 | 制御フロー保護機構 |
-
1991
- 1991-02-13 JP JP3040598A patent/JPH04259036A/ja not_active Withdrawn
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH09282156A (ja) * | 1996-04-17 | 1997-10-31 | Ricoh Co Ltd | プログラム保護装置及びプログラム保護方法 |
| JP4732651B2 (ja) * | 1999-09-20 | 2011-07-27 | ギーゼッケ ウント デフリエント ゲーエムベーハー | プログラム実行を保護するための方法 |
| JP2007517299A (ja) * | 2003-12-31 | 2007-06-28 | トラステッド ロジック ソシエテ アノニム | 実行トレースプリントを検証することによるプログラム実行整合性の制御方法 |
| JP2009521737A (ja) * | 2005-11-10 | 2009-06-04 | 株式会社エヌ・ティ・ティ・ドコモ | Ｊａｖａｓｃｒｉｐｔプログラムの不安全動作安を検出するため、及び防止するための方法及び装置 |
| JP4754635B2 (ja) * | 2006-02-27 | 2011-08-24 | シャープ株式会社 | 制御フロー保護機構 |
| JP2008305128A (ja) * | 2007-06-07 | 2008-12-18 | Panasonic Corp | 情報処理装置及び改竄検証方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8843761B2 (en) | Method and apparatus for protection of a program against monitoring flow manipulation and against incorrect program running | |
| US7716495B2 (en) | Protection against runtime function attacks | |
| JPH04259036A (ja) | プログラム変換方式及びプログラム不正動作検出機構 | |
| CN104680043A (zh) | 一种可执行文件的保护方法及装置 | |
| JP2007058588A (ja) | プログラム保護機能を持つプロセッサ | |
| WO2023132210A1 (ja) | 情報処理装置および情報処理方法 | |
| Li et al. | A Static CFG Extraction Scheme for RISC-V Runtime CFI | |
| ATE256886T1 (de) | Verfahren und vorrichtung zur verzweigungssteuerung in einem pipelineprozessor | |
| JP2005128773A (ja) | マイクロプロセッサ及びコンパイル方法 | |
| JPH02165760A (ja) | 再開処理制御方式 | |
| JPS6362047A (ja) | プログラムシ−ケンスの異常検知方式 | |
| CN114661344A (zh) | 二进制文件的指令恢复方法、系统、电子设备和存储介质 | |
| JPS61223952A (ja) | デ−タ処理装置のリトライ機能確認方式 | |
| JP2535984B2 (ja) | 命令実行検出装置 | |
| CN115146281A (zh) | 一种服务器启动防护方法、装置、电子设备及存储介质 | |
| CN112765009A (zh) | 一种汇编程序的形式验证的方法 | |
| JPH04306743A (ja) | 集積回路マイクロプロセッサのデバッグ支援システム | |
| JPS62144246A (ja) | 計算機 | |
| JPH0223433A (ja) | プログラムのデバッグ方式 | |
| JPS59116858A (ja) | マシンチエツク割込み処理方式 | |
| JPH01240941A (ja) | 情報処理装置 | |
| JPS58109946A (ja) | プログラムのデバツギング方法 | |
| JPH04336626A (ja) | 欄埋め式プログラム作成装置 | |
| JPH01191948A (ja) | 診断制御装置 | |
| JPH02235151A (ja) | プログラムの実行中における不正データの検出・訂正方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19980514 |