JP2000339153A - プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体 - Google Patents

プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体

Info

Publication number
JP2000339153A
JP2000339153A JP11145517A JP14551799A JP2000339153A JP 2000339153 A JP2000339153 A JP 2000339153A JP 11145517 A JP11145517 A JP 11145517A JP 14551799 A JP14551799 A JP 14551799A JP 2000339153 A JP2000339153 A JP 2000339153A
Authority
JP
Japan
Prior art keywords
program
information
public key
encryption
verifying
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.)
Pending
Application number
JP11145517A
Other languages
English (en)
Inventor
Katsuhiko Suzuki
勝彦 鈴木
Eiichi Niwano
栄一 庭野
Nobuhiro Chiba
伸浩 千葉
Yasuhiro Hosoda
泰弘 細田
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.)
Nippon Telegraph and Telephone Corp
Original Assignee
Nippon Telegraph and Telephone Corp
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 Nippon Telegraph and Telephone Corp filed Critical Nippon Telegraph and Telephone Corp
Priority to JP11145517A priority Critical patent/JP2000339153A/ja
Publication of JP2000339153A publication Critical patent/JP2000339153A/ja
Pending legal-status Critical Current

Links

Abstract

(57)【要約】 （修正有） 【課題】 プログラム提供者のプログラム提供後、また
検査機関のプログラム動作の検査後にプログラム改竄が
ないかの検証を行う。 【解決手段】 プログラムファイルと、証明機関の証明
情報を検証するための公開鍵ｃが与えられると、公開鍵
ｃにより証明情報ａを検証し、公開鍵ａがプログラム提
供者の公開鍵であることを証明し、暗号化情報ａを公開
鍵ａと暗号アルゴリズムの識別子ａに対応した暗号アル
ゴリズムで復号した情報とプログラムのハッシュ値を比
較し、プログラム提供者の提供後にプログラムの改竄が
行われていないかの検出を行い、公開鍵ｃにより証明情
報ｂを検証することにより、公開鍵ｂがプログラムの動
作を検査した検査機関の公開鍵であることを証明し、暗
号化情報ｂを公開鍵ｂと暗号アルゴリズムの識別情報ｂ
に対応した暗号アルゴリズムで復号した情報とプログラ
ムのハッシュ値を比較し、プログラムの動作を検査した
後に、該プログラムの改竄が行われていないかの検出を
行う。

Description

【発明の詳細な説明】
【０００１】
【発明の属する技術分野】本発明は、プログラム検証方
法及び装置及びプログラム検証プログラムを格納した記
憶媒体に係り、特に、プログラム提供者がプログラムを
提供した後に行われたプログラムの改竄の検出、検査機
関がプログラムの動作を検査した後に行われたプログラ
ムの改竄の検出を行うためのプログラム検証方法及び装
置及びプログラム検証プログラムを格納した記憶媒体に
関する。
【０００２】
【従来の技術】従来、情報提供者が情報Ａと当該情報Ａ
のハッシュ値を当該情報Ａの情報提供者のみが知る秘密
鍵で暗号化した暗号化情報Ｂと、暗号化情報Ｂを復号す
るための公開鍵と証明機関の公開鍵に対するお墨付きを
示す証明情報Ｃを組として配布し、その配布された情報
（Ｂ＋Ｃ）を受け取った利用者が、暗号化情報Ｂを公開
鍵により復号した復号情報Ｄと元の情報Ａのハッシュ値
とを比較することで、情報提供者が情報Ａを提供した後
に情報の改竄が行われていないかを検証する方法があ
る。
【０００３】
【発明が解決しようとする課題】しかしながら、上記従
来の情報の配布方法でプログラムを配布した場合、プロ
グラム提供者がプログラムを提供した後、プログラムが
改竄されていないかの検証は可能であるが、プログラム
を実行した場合、プログラムが不正な動作をするかの識
別は不可能である。
【０００４】本発明は、上記の点に鑑みなされたもの
で、プログラム提供者がプログラムを提供した後、プロ
グラムが改竄されていないかの検証と、検査機関がプロ
グラムの動作の検査をした後に行われたプログラムが改
竄されていないかの検証を行うことにより、提供された
プログラムが安全に動作することを証明することが可能
なプログラム検証方法及び装置及びプログラム検証プロ
グラムを格納した記憶媒体を提供することを目的とす
る。
【０００５】
【課題を解決するための手段】図１は、本発明の原理を
説明するための図である。本発明（請求項１）は、コン
ピュータの制御を記述したプログラムを検証するプログ
ラム検証方法において、検証の対象のプログラムと、該
プログラムのハッシュ値をプログラム提供者のみが知る
提供者秘密鍵ａで暗号化した暗号化情報ａと、該暗号化
情報ａを生成するために利用したハッシュアルゴリズム
と暗号アルゴリズムの識別情報ａと、該暗号化情報ａを
復号するための公開鍵ａと証明機関が発行した公開鍵ａ
に対するお墨付きを示す証明情報ａと、プログラムのハ
ッシュ値をプログラムの動作を検査した検査機関のみが
知る検査機関秘密鍵ｂで暗号化した暗号化情報ｂと、該
暗号化情報ｂを生成するために利用したハッシュアルゴ
リズムと暗号アルゴリズムの識別情報ｂと、該暗号化情
報ｂを復号するための公開鍵ｂと該証明機関が発行した
公開鍵ｂに対するお墨付きを示す証明情報ｂからなるプ
ログラムファイルと、証明機関のお墨付きを示す情報を
検証するための公開鍵ｃが与えられると（ステップ
１）、公開鍵ｃにより証明情報ａを検証し、公開鍵ａが
プログラム提供者の公開鍵であることを証明し（ステッ
プ２）、暗号化情報ａを公開鍵ａと暗号アルゴリズムの
識別子ａに対応した暗号アルゴリズムで復号した情報と
プログラムのハッシュ値を比較し、プログラム提供者が
プログラムを提供した後にプログラムの改竄が行われて
いないかの検出を行い（ステップ３）、公開鍵ｃにより
証明情報ｂを検証することにより、公開鍵ｂがプログラ
ムの動作を検査した検査機関の公開鍵であることを証明
し（ステップ４）、暗号化情報ｂを公開鍵ｂと暗号アル
ゴリズムの識別情報ｂに対応した暗号アルゴリズムで復
号した情報とプログラムのハッシュ値を比較し、プログ
ラムの動作を検査した後に、該プログラムの改竄が行わ
れていないかの検出を行う（ステップ５）。
【０００６】図２は、本発明の原理構成図である。本発
明（請求項２）は、コンピュータの制御を記述したプロ
グラムを検証するプログラム検証方法において、検証の
対象のプログラムと、該プログラムのハッシュ値をプロ
グラム提供者のみが知る提供者秘密鍵ａで暗号化した暗
号化情報ａと、該暗号化情報ａを生成するために利用し
たハッシュアルゴリズムと暗号アルゴリズムの識別情報
ａと、該暗号化情報ａを復号するための公開鍵ａと証明
機関が発行した公開鍵ａに対するお墨付きを示す証明情
報ａと、プログラムのハッシュ値をプログラムの動作を
検査した検査機関のみが知る検査機関秘密鍵ｂで暗号化
した暗号化情報ｂと、該暗号化情報ｂを生成するために
利用したハッシュアルゴリズムと暗号アルゴリズムの識
別情報ｂと、該暗号化情報ｂを復号するための公開鍵ｂ
と該証明機関が発行した公開鍵ｂに対するお墨付きを示
す証明情報ｂからなるプログラムファイル１と、プログ
ラムファイル１と、証明機関のお墨付きを示す情報を検
証するための公開鍵ｃを入力する入力手段２と、公開鍵
ｃにより証明情報ａを検証する手段と、公開鍵ａがプロ
グラム提供者の公開鍵であることを証明する手段と、暗
号化情報ａを公開鍵ａと暗号アルゴリズムの識別子ａに
対応した暗号アルゴリズムで復号した情報とプログラム
のハッシュ値を比較する手段と、プログラム提供者がプ
ログラムを提供した後にプログラムの改竄が行われてい
ないかの検出を行う手段とを有するプログラム提供者検
証手段３と、公開鍵ｃにより証明情報ｂを検証すること
により、公開鍵ｂがプログラムの動作を検査した検査機
関の公開鍵であることを証明する手段と、暗号化情報ｂ
を該公開鍵ｂと暗号アルゴリズムの識別情報ｂに対応し
た暗号アルゴリズムで復号した情報とプログラムのハッ
シュ値を比較する手段と、プログラムの動作を検査した
後に、該プログラムの改竄が行われていないかの検出を
行う手段とを有する検査機関検証手段４とを有する。
【０００７】本発明（請求項３）は、コンピュータの制
御を記述したプログラムを検証するプログラム検証プロ
グラムを格納した記憶媒体であって、検証の対象のプロ
グラムと、該プログラムのハッシュ値をプログラム提供
者のみが知る提供者秘密鍵ａで暗号化した暗号化情報ａ
と、該暗号化情報ａを生成するために利用したハッシュ
アルゴリズムと暗号アルゴリズムの識別情報ａと、該暗
号化情報ａを復号するための公開鍵ａと証明機関が発行
した公開鍵ａに対するお墨付きを示す証明情報ａと、プ
ログラムのハッシュ値をプログラムの動作を検査した検
査機関のみが知る検査機関秘密鍵ｂで暗号化した暗号化
情報ｂと、該暗号化情報ｂを生成するために利用したハ
ッシュアルゴリズムと暗号アルゴリズムの識別情報ｂ
と、該暗号化情報ｂを復号するための公開鍵ｂと該証明
機関が発行した公開鍵ｂに対するお墨付きを示す証明情
報ｂからなるプログラムファイルと、証明機関のお墨付
きを示す情報を検証するための公開鍵ｃを入力させる入
力プロセスと、公開鍵ｃにより証明情報ａを検証するプ
ロセスと、公開鍵ａがプログラム提供者の公開鍵である
ことを証明するプロセスと、暗号化情報ａを公開鍵ａと
暗号アルゴリズムの識別子ａに対応した暗号アルゴリズ
ムで復号した情報とプログラムのハッシュ値を比較する
プロセスと、プログラム提供者がプログラムを提供した
後にプログラムの改竄が行われていないかの検出を行う
プロセスとを有するプログラム提供者検証プロセスと、
公開鍵ｃにより証明情報ｂを検証することにより、公開
鍵ｂがプログラムの動作を検査した検査機関の公開鍵で
あることを証明するプロセスと、暗号化情報ｂを該公開
鍵ｂと暗号アルゴリズムの識別情報ｂに対応した暗号ア
ルゴリズムで復号した情報とプログラムのハッシュ値を
比較するプロセスと、プログラムの動作を検査した後
に、該プログラムの改竄が行われていないかの検出を行
うプロセスとを有する検査機関検証プロセスとを有す
る。
【０００８】上記のように、本発明によれば、プログラ
ム提供者がプログラムを提供した後に行われたプログラ
ムの改竄を検出するのみならず、検査機関がプログラム
の動作を検査した後に行われた当該プログラムの改竄の
双方を検出することが可能となる。
【０００９】
【発明の実施の形態】図３は、本発明のシステム構成を
示す。同図に示すシステムは、ＩＣチップ１０、端末２
０及び証明機関サーバ３０から構成され、端末２０と証
明機関サーバ３０とがネットワークで接続されている。
【００１０】以下では、本発明の動作を行うコンピュー
タをＩＣチップとして説明する。図４は、本発明のＩＣ
チップの構成を示す。ＩＣチップ１０は、端末２０と通
信を行うための入出力インタフェース１３、情報を格納
するためのメモリ１１、メモリ１１に格納された情報の
演算を行うプロセッサ１２からなり、１つのチップで構
成される。
【００１１】プロセッサ１２は、ハッシュ生成部１２
１、署名復号部１２２、及びデータ比較部１２３から構
成される。ハッシュ生成部１２１は、ＭＤ５，ＳＨＡ等
の暗号アルゴリズム識別情報とプログラム等のデータを
入力とし、当該データのハッシュを生成する。署名復号
部１２２は、ＲＳＡ，ＥＳＩＧＮ等の暗号アルゴリズム
識別情報と暗号化された暗号化データを入力とし、当該
暗号アルゴリズム識別情報と暗号化データを復号する。
【００１２】データ比較部１２３は、ハッシュ生成部１
２１で生成されたハッシュ値と署名復号部１２で復号さ
れた復号データとを比較する。図５は、本発明の端末の
構成を示す。端末２０は、ＩＣチップ１０の制御を行う
ためのプログラムファイルを格納するためのメモリ２１
とＩＣチップ１０と通信を行うための入出力インタフェ
ース２２とを有する。また、ネットワークにより証明機
関サーバ３０からの証明機関の公開鍵を取得する機能を
有する。
【００１３】メモリ２１には、プログラムと、署名ａ，
暗号アルゴリム識別子ａ、証明書ａの組と、署名ｂ，暗
号アルゴリム識別子ｂ、証明書ｂの２つの組が格納され
ている。秘密鍵ａは、当該プログラムの提供者のみが知
るＲＳＡ、ＥＳＩＧＮ等の署名アルゴリズムの秘密鍵で
ある。
【００１４】署名ａは、ＭＤ５等のハッシュアルゴリズ
ムにより生成してプログラムのハッシュ値を入力とし、
ＲＳＡ，ＥＳＩＧＮ等の署名アルゴリズムにより生成し
た署名である。暗号アルゴリズム識別子ａは、署名ａを
生成するために利用した署名アルゴリズムとハッシュア
ルゴリズムを示す暗号アルゴリズム識別子である。
【００１５】証明書ａは、秘密鍵ａと対である公開鍵ａ
に対するお墨付き情報であるＯＳＩのＸ．５０９に従っ
た証明書である。署名ｂは、プログラムの動作を検査し
た検査機関のみが知るＲＳＡ，ＥＳＩＧＮ等の署名アル
ゴリズムの秘密鍵ｂとＭＤ５，ＳＨＡ等のハッシュアル
ゴリズムにより生成したプログラムのハッシュ値を入力
とし、ＲＳＡ，ＥＳＩＧＮ等の署名アルゴリズムにより
生成した署名である。
【００１６】暗号アルゴリズム識別子ｂは、署名ｂを生
成するために利用した署名アルゴリズムとハッシュアル
ゴリズムを示す識別子である。証明書ｂは、秘密鍵ｂで
対である公開鍵ｂに対するお墨付き情報であるＯＳＩの
Ｘ．５０９勧告に従って作成された証明書である。端末
２０は、最初に、ネットワークにより接続された証明機
関サーバ３０から証明機関が発行する公開鍵を取得し、
入出力インタフェース２２によりＩＣチップ１０に転送
する。
【００１７】次に、端末２０のメモリ２１に格納されて
いるプログラムファイル２１１を読み出し、入出力イン
タフェース２２によりＩＣチップ１０に転送する。次
に、ＩＣチップ１０の入出力インタフェース１３におい
て、端末２０から転送された公開鍵及びプログラムファ
イルを取得して、メモリ１１に格納する。これにより、
図５に示されるプログラムファイル２１１の内容が当該
メモリ１１に格納されることになる。これにより、プロ
セッサ１２では、当該メモリ１１に格納されたプログラ
ムファイルを読み込んで処理を行う。
【００１８】本発明の検証の方法を以下に示す。図６
は、本発明のプログラム提供後の改竄を検証する処理の
フローチャートである。 ステップ１０１） ＩＣチップ１０のプロセッサ１２
は、メモリ１１に格納されたプログラムファイルに含ま
れる証明書ａをＯＳ１のＸ−５０９勧告に従い検証す
る。
【００１９】詳しくは、 メモリ１１に格納されたプログラムファイル中の証
明書ａに対する署名情報を除く証明書ａの情報と証明書
ａに含まれる署名アルゴリズム情報を入力とし、ハッシ
ュ生成部１２１により、対応する暗号アルゴリズムによ
り演算を実行し、ハッシュ値Ａを生成する。
【００２０】 署名復号部１２２において、メモリ１
１に格納された証明機関の公開鍵と証明書ａに対する署
名情報と証明書ａに含まれる署名アルゴリズム情報を入
力とし、対応する暗号アルゴリズムにより演算を実行
し、復号された復号情報Ａを生成する。 データ比較部１２３は、生成したハッシュ値Ａと復
号された復号情報Ａを入力とし、双方の比較を行い、一
致すれば、証明機関が証明書ａを発行した後に、証明書
ａが第三者により改竄されていないことが保証される。
【００２１】ステップ１０２） 次に、証明書ａの改竄
が検出されない場合、署名ａの検証を行う。 ステップ１０３） メモリ１１に格納されたプログラム
と署名ａの生成に利用した暗号アルゴリズム識別子ａを
入力とし、ハッシュ生成部１２１により対応する暗号ア
ルゴリズムにより演算を実行し、プログラムのハッシュ
値Ｃを生成する。
【００２２】ステップ１０４） メモリ１１に格納され
た署名ａと証明書ａに含まれる公開鍵ａと暗号アルゴリ
ズム識別子を入力とし、署名復号部１２２で対応する暗
号アルゴリズムにより演算を実行し、復号された復号情
報Ｃを生成する。 ステップ１０５） 次にデータ比較部１２３において、
ハッシュ生成部１２１で生成されたハッシュ値Ｃと復号
情報Ｃを入力とし、データの比較を行う。
【００２３】ステップ１０６） 比較した結果が一致す
れば、プログラム提供者がプログラムを提供した後に、
第三者によるプログラムが改竄されていないことが証明
される。次に、上記の処理に引き続いて、検査機関のプ
ログラム動作の検査後におけるプログラムの改竄を検証
する動作を説明する。
【００２４】図７は、本発明の検査機関のプログラム動
作の検査後の改竄を検証する処理のフローチャートであ
る。 ステップ２０１） プログラムの動作の検査機関の証明
書ｂを公開鍵ｃにより検証することにより、公開鍵ｂが
プログラムの動作を検査した検査機関の公開鍵であるこ
とを証明を検証する。検証方法は、前述の図６のフロー
チャートのステップ１０１と同様である。
【００２５】ステップ２０２） 証明書ｂの改竄が検出
されない場合には、証明書ｂは正規ものとする。 ステップ２０３） 証明書ｂが正規である場合には、メ
モリ１１に格納されたプログラムと署名ｂの生成に利用
した暗号アルゴリズム識別子ｂを入力とし、ハッシュ生
成部１２１により対応する暗号アルゴリズムにより演算
を実行し、プログラムのハッシュ値Ｄを生成する。
【００２６】ステップ２０４） メモリ１１に格納され
た署名ｂと証明書ｂに含まれる公開鍵ｂと暗号アルゴリ
ズム識別子を入力とし、署名復号部１２２で対応する暗
号アルゴリズムにより演算を実行し、復号された復号情
報Ｄを生成する。 ステップ２０５） 次にデータ比較部１２３において、
ハッシュ生成部１２１で生成されたハッシュ値Ｄと復号
情報Ｄを入力とし、データの比較を行う。
【００２７】ステップ２０６） 比較した結果が一致す
れば、検査機関がプログラムの動作を検査した後に、第
三者によるプログラムが改竄されていないことが証明さ
れる。また、上記の例では、図４の構成に基づいて説明
しているが、ＩＣチップに限定されることなく、パソコ
ン等で行うようにしてもよい。また、図６と図７の処理
を別々のプロセッサで行うようにしてもよい。
【００２８】また、上記の図６、図７に示す検証処理を
プログラムとして構築し、ＩＣメモリ、ディスク装置
や、フロッピーディスクやＣＤ−ＲＯＭ等の可搬記憶媒
体に格納しておき、本発明を実施する際にインストール
することにより、容易に本発明を実現できる。なお、本
発明は、上記の例に限定されることなく、特許請求の範
囲内で種々変更・応用が可能である。
【００２９】
【発明の効果】上述のように、本発明によれば、プログ
ラム提供者がプログラムを提供した後に行われた改竄を
検出するのみならず、検査機関がプログラムの動作を検
査した後に行われたプログラムの改竄も検出することが
可能であるため、提供されたプログラムが安全に動作す
ることを証明することができる。
【図面の簡単な説明】
【図１】本発明の原理を説明するための図である。
【図２】本発明の原理構成図である。
【図３】本発明のシステム構成図である。
【図４】本発明のＩＣチップの構成図である。
【図５】本発明の端末の構成図である。
【図６】本発明のプログラム提供後の改竄を検証する処
理のフローチャートである。
【図７】本発明の検査機関のプログラム動作の検査後の
改竄を検証する処理のフローチャートである。
【符号の説明】
１ プログラムファイル ２ 入力手段 ３ プログラム提供者検証手段 ４ 検証機関検証手段 １０ ＩＣチップ １１ メモリ １２ プロセッサ １３ 入出力インタフェース ２０ 端末 ３０ 証明機関サーバ ２１ メモリ ２２ 入出力インタフェース １２１ ハッシュ生成部 １２２ 署名復号部 １２３ データ比較部
───────────────────────────────────────────────────── フロントページの続き (72)発明者 千葉 伸浩 東京都新宿区西新宿三丁目19番２号 日本 電信電話株式会社内 (72)発明者 細田 泰弘 東京都新宿区西新宿三丁目19番２号 日本 電信電話株式会社内 Ｆターム(参考） 5B076 FA13 FA14

Claims (3)

    【特許請求の範囲】
  1. 【請求項１】 コンピュータの制御を記述したプログラ
    ムを検証するプログラム検証方法において、 検証の対象のプログラムと、該プログラムのハッシュ値
    をプログラム提供者のみが知る提供者秘密鍵ａで暗号化
    した暗号化情報ａと、該暗号化情報ａを生成するために
    利用したハッシュアルゴリズムと暗号アルゴリズムの識
    別情報ａと、該暗号化情報ａを復号するための公開鍵ａ
    と証明機関が発行した公開鍵ａに対するお墨付きを示す
    証明情報ａと、プログラムのハッシュ値をプログラムの
    動作を検査した検査機関のみが知る検査機関秘密鍵ｂで
    暗号化した暗号化情報ｂと、該暗号化情報ｂを生成する
    ために利用したハッシュアルゴリズムと暗号アルゴリズ
    ムの識別情報ｂと、該暗号化情報ｂを復号するための公
    開鍵ｂと該証明機関が発行した公開鍵ｂに対するお墨付
    きを示す証明情報ｂからなるプログラムファイルと、証
    明機関のお墨付きを示す情報を検証するための公開鍵ｃ
    が与えられると、 前記公開鍵ｃにより前記証明情報ａを検証し、前記公開
    鍵ａが前記プログラム提供者の公開鍵であることを証明
    し、 前記暗号化情報ａを前記公開鍵ａと暗号アルゴリズムの
    識別子ａに対応した暗号アルゴリズムで復号した情報と
    プログラムのハッシュ値を比較し、前記プログラム提供
    者がプログラムを提供した後にプログラムの改竄が行わ
    れていないかの検出を行い、 前記公開鍵ｃにより前記証明情報ｂを検証することによ
    り、前記公開鍵ｂがプログラムの動作を検査した検査機
    関の公開鍵であることを証明し、 前記暗号化情報ｂを前記公開鍵ｂと暗号アルゴリズムの
    識別情報ｂに対応した暗号アルゴリズムで復号した情報
    とプログラムのハッシュ値を比較し、前記プログラムの
    動作を検査した後に、該プログラムの改竄が行われてい
    ないかの検出を行うことを特徴とするプログラム検索方
    法。
  2. 【請求項２】 コンピュータの制御を記述したプログラ
    ムを検証するプログラム検証方法において、 検証の対象のプログラムと、該プログラムのハッシュ値
    をプログラム提供者のみが知る提供者秘密鍵ａで暗号化
    した暗号化情報ａと、該暗号化情報ａを生成するために
    利用したハッシュアルゴリズムと暗号アルゴリズムの識
    別情報ａと、該暗号化情報ａを復号するための公開鍵ａ
    と証明機関が発行した公開鍵ａに対するお墨付きを示す
    証明情報ａと、プログラムのハッシュ値をプログラムの
    動作を検査した検査機関のみが知る検査機関秘密鍵ｂで
    暗号化した暗号化情報ｂと、該暗号化情報ｂを生成する
    ために利用したハッシュアルゴリズムと暗号アルゴリズ
    ムの識別情報ｂと、該暗号化情報ｂを復号するための公
    開鍵ｂと該証明機関が発行した公開鍵ｂに対するお墨付
    きを示す証明情報ｂからなるプログラムファイルと、 前記プログラムファイルと、証明機関のお墨付きを示す
    情報を検証するための公開鍵ｃを入力する入力手段と、 前記公開鍵ｃにより前記証明情報ａを検証する手段と、
    前記公開鍵ａが前記プログラム提供者の公開鍵であるこ
    とを証明する手段と、前記暗号化情報ａを前記公開鍵ａ
    と暗号アルゴリズムの識別子ａに対応した暗号アルゴリ
    ズムで復号した情報とプログラムのハッシュ値を比較す
    る手段と、前記プログラム提供者がプログラムを提供し
    た後にプログラムの改竄が行われていないかの検出を行
    う手段とを有するプログラム提供者検証手段と、 前記公開鍵ｃにより前記証明情報ｂを検証することによ
    り、前記公開鍵ｂがプログラムの動作を検査した検査機
    関の公開鍵であることを証明する手段と、前記暗号化情
    報ｂを該公開鍵ｂと暗号アルゴリズムの識別情報ｂに対
    応した暗号アルゴリズムで復号した情報とプログラムの
    ハッシュ値を比較する手段と、前記プログラムの動作を
    検査した後に、該プログラムの改竄が行われていないか
    の検出を行う手段とを有する検査機関検証手段とを有す
    ることを特徴とするプログラム検索装置。
  3. 【請求項３】 コンピュータの制御を記述したプログラ
    ムを検証するプログラム検証プログラムを格納した記憶
    媒体であって、 検証の対象のプログラムと、該プログラムのハッシュ値
    をプログラム提供者のみが知る提供者秘密鍵ａで暗号化
    した暗号化情報ａと、該暗号化情報ａを生成するために
    利用したハッシュアルゴリズムと暗号アルゴリズムの識
    別情報ａと、該暗号化情報ａを復号するための公開鍵ａ
    と証明機関が発行した公開鍵ａに対するお墨付きを示す
    証明情報ａと、プログラムのハッシュ値をプログラムの
    動作を検査した検査機関のみが知る検査機関秘密鍵ｂで
    暗号化した暗号化情報ｂと、該暗号化情報ｂを生成する
    ために利用したハッシュアルゴリズムと暗号アルゴリズ
    ムの識別情報ｂと、該暗号化情報ｂを復号するための公
    開鍵ｂと該証明機関が発行した公開鍵ｂに対するお墨付
    きを示す証明情報ｂからなるプログラムファイルと、証
    明機関のお墨付きを示す情報を検証するための公開鍵ｃ
    を入力させる入力プロセスと、 前記公開鍵ｃにより前記証明情報ａを検証するプロセス
    と、前記公開鍵ａが前記プログラム提供者の公開鍵であ
    ることを証明するプロセスと、前記暗号化情報ａを前記
    公開鍵ａと暗号アルゴリズムの識別子ａに対応した暗号
    アルゴリズムで復号した情報とプログラムのハッシュ値
    を比較するプロセスと、前記プログラム提供者がプログ
    ラムを提供した後にプログラムの改竄が行われていない
    かの検出を行うプロセスとを有するプログラム提供者検
    証プロセスと、 前記公開鍵ｃにより前記証明情報ｂを検証することによ
    り、前記公開鍵ｂがプログラムの動作を検査した検査機
    関の公開鍵であることを証明するプロセスと、前記暗号
    化情報ｂを該公開鍵ｂと暗号アルゴリズムの識別情報ｂ
    に対応した暗号アルゴリズムで復号した情報とプログラ
    ムのハッシュ値を比較するプロセスと、前記プログラム
    の動作を検査した後に、該プログラムの改竄が行われて
    いないかの検出を行うプロセスとを有する検査機関検証
    プロセスとを有することを特徴とするプログラム検索プ
    ログラムを格納した記憶媒体。
JP11145517A 1999-05-25 1999-05-25 プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体 Pending JP2000339153A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP11145517A JP2000339153A (ja) 1999-05-25 1999-05-25 プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP11145517A JP2000339153A (ja) 1999-05-25 1999-05-25 プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体

Publications (1)

Publication Number Publication Date
JP2000339153A true JP2000339153A (ja) 2000-12-08

Family

ID=15387073

Family Applications (1)

Application Number Title Priority Date Filing Date
JP11145517A Pending JP2000339153A (ja) 1999-05-25 1999-05-25 プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体

Country Status (1)

Country Link
JP (1) JP2000339153A (ja)

Cited By (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2004055681A1 (ja) * 2002-12-18 2004-07-01 Fujitsu Limited 電子メール装置、電子メールシステム及び電子メール送信方法
JP2006203564A (ja) * 2005-01-20 2006-08-03 Nara Institute Of Science & Technology マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法
EP1746545A2 (en) * 2005-07-14 2007-01-24 Kabushiki Kaisha Toshiba Method of preventing tampering with a program in a sheet processing apparatus and a sheet processing apparatus incorporating it
CN1307503C (zh) * 2002-04-23 2007-03-28 松下电器产业株式会社 服务器装置及程序管理系统
JP2009252142A (ja) * 2008-04-10 2009-10-29 Renesas Technology Corp データ処理装置
JP2014531163A (ja) * 2011-10-20 2014-11-20 アルカテル−ルーセント サードパーティーアプリケーションの集中型セキュアマネージメント方法、システム、および対応する通信システム
CN109783393A (zh) * 2019-01-30 2019-05-21 上海华虹宏力半导体制造有限公司 基于md5算法进行测试程序完整性验证的方法
CN112632482A (zh) * 2020-12-18 2021-04-09 珠海极海半导体有限公司 一种目标应用运行方法、装置和存储介质
WO2023243212A1 (ja) * 2022-06-14 2023-12-21 日立Astemo株式会社 情報処理装置

Cited By (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7620811B2 (en) 2002-04-23 2009-11-17 Panasonic Corporation Server device and program management system
EP2309411A2 (en) 2002-04-23 2011-04-13 Panasonic Corporation Method and system for controlled distribution of software programs
CN1307503C (zh) * 2002-04-23 2007-03-28 松下电器产业株式会社 服务器装置及程序管理系统
WO2004055681A1 (ja) * 2002-12-18 2004-07-01 Fujitsu Limited 電子メール装置、電子メールシステム及び電子メール送信方法
JP2006203564A (ja) * 2005-01-20 2006-08-03 Nara Institute Of Science & Technology マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法
JP2007025986A (ja) * 2005-07-14 2007-02-01 Toshiba Corp 紙葉類処理装置における処理プログラムの改ざん防止方法と紙葉類処理装置と紙葉類処理システムにおける処理プログラムの改ざん防止方法と紙葉類処理システム
EP1746545A3 (en) * 2005-07-14 2007-10-03 Kabushiki Kaisha Toshiba Method of preventing tampering with a program in a sheet processing apparatus and a sheet processing apparatus incorporating it
US7634663B2 (en) 2005-07-14 2009-12-15 Kabushiki Kaisha Toshiba Sheet processing apparatus, method of preventing falsification of processing program in sheet processing apparatus and method of preventing falsification of processing program in sheet processing system
EP1746545A2 (en) * 2005-07-14 2007-01-24 Kabushiki Kaisha Toshiba Method of preventing tampering with a program in a sheet processing apparatus and a sheet processing apparatus incorporating it
JP2009252142A (ja) * 2008-04-10 2009-10-29 Renesas Technology Corp データ処理装置
US9092619B2 (en) 2008-04-10 2015-07-28 Renesas Electronics Corporation Data processing apparatus
JP2014531163A (ja) * 2011-10-20 2014-11-20 アルカテル−ルーセント サードパーティーアプリケーションの集中型セキュアマネージメント方法、システム、および対応する通信システム
CN109783393A (zh) * 2019-01-30 2019-05-21 上海华虹宏力半导体制造有限公司 基于md5算法进行测试程序完整性验证的方法
CN112632482A (zh) * 2020-12-18 2021-04-09 珠海极海半导体有限公司 一种目标应用运行方法、装置和存储介质
WO2023243212A1 (ja) * 2022-06-14 2023-12-21 日立Astemo株式会社 情報処理装置

Similar Documents

Publication Publication Date Title
CN109067801B (zh) 一种身份认证方法、身份认证装置及计算机可读介质
JP4861423B2 (ja) 情報処理装置および情報管理方法
US8127146B2 (en) Transparent trust validation of an unknown platform
US6381698B1 (en) System and method for providing assurance to a host that a piece of software possesses a particular property
US6148401A (en) System and method for providing assurance to a host that a piece of software possesses a particular property
TWI488477B (zh) 使用實體不可複製功能以電子式保護電子裝置方法與系統
CN101369889B (zh) 一种对文档进行电子签名的方法
KR101863953B1 (ko) 전자 서명 서비스 시스템 및 방법
CN109978688A (zh) 分布式共识系统之访问控制方法及其契约产生器与服务器
US20190035201A1 (en) Method and apparatus for establishing trust in smart card readers
US20080104403A1 (en) Methods and apparatus for data authentication with multiple keys
EP1536310A2 (en) System and method for verifying validity of a product
JP2000059353A (ja) データ保管システム、データ保管方法及びそのプログラム記録媒体
JP2000339153A (ja) プログラム検証方法及び装置及びプログラム検証プログラムを格納した記憶媒体
CN113849797A (zh) 数据安全漏洞的修复方法、装置、设备及存储介质
CN112383577A (zh) 授权方法、装置、系统、设备和存储介质
WO2004068350A1 (ja) データ改ざん検出方法、データ改ざん検出装置及びデータ改ざん検出プログラム
CN115550060B (zh) 基于区块链的可信证书验证方法、装置、设备和介质
JP2004140636A (ja) 電子文書の署名委任システム、署名委任サーバ及び署名委任プログラム
CN112948894A (zh) 基于区块链的理货检验报告防伪方法、装置、设备和介质
CN112784249B (zh) 实现无标识情形下进行移动终端认证处理的方法、系统、处理器及其计算机可读存储介质
CN112579374B (zh) 一种用于嵌入式设备的安全调试的系统和方法
CN112825093B (zh) 安全基线检查方法、主机、服务器、电子设备及存储介质
JPH10164051A (ja) ユーザ認証装置および方法
JP4182814B2 (ja) 暗号処理方法及び装置及び検証方法及び装置及び代行運用方法

Legal Events

Date Code Title Description
A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20050830

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20060110