(57)【要約】【課題】画像形成装置に追加されるアプリケーションの安全性をより高める。【解決手段】出力が入力パラメータ値に依存する特殊ハッシュ関数のパラメータ値を、インストールパッケージファイルを生成したソフトウェアハウス側（２０）に知られることなく、画像形成装置３０で使用されようとするアプリケーションファイルが、画像形成装置メーカ側コンピュータ１０で、このアプリケーションファイルの特殊ハッシュ関数によるハッシュ値により認証されたものであるか否かを検証する。【選択図】図１
2012003679.tif 000002
【特許請求の範囲】
【請求項１】
第１のコンピュータが、出力が入力パラメータ値に依存する特殊ハッシュ関数を実行して、入力されたアプリケーションファイルのハッシュ値を生成し、
第２のコンピュータが、該アプリケーションファイルと、入力に基づいて生成した、該アプリケーションファイルのメタ情報と、該ハッシュ値とを含むインストールパッケージファイルを生成し、
画像形成装置が、該特殊ハッシュ関数と同一の特殊ハッシュ関数を実行して、該入力パラメータ値と同一のパラメータ値に依存する、このインストールパッケージファイルに含まれているアプリケーションファイルのハッシュ値を生成し、生成したハッシュ値が、このインストールパッケージファイルに含まれているハッシュ値と一致していれば、該アプリケーションファイルに対し正規の処理を行い、不一致であればその旨をユーザに対し出力し又は該アプリケーションファイルを削除する、
ことを特徴とする画像形成装置用追加アプリケーションのセキュリティ確保方法。
【請求項２】
該第１のコンピュータは該画像形成装置のメーカに備えられたコンピュータであり、
該第２のコンピュータは、該アプリケーションファイルのソフトウェアハウスに備えられたコンピュータである、
ことを特徴とする請求項１に記載の画像形成装置用追加アプリケーションのセキュリティ確保方法。
【請求項３】
該アプリケーションファイルに対する正規の処理は、該アプリケーションファイルを該画像形成装置にインストールする処理、該アプリケーションファイルをアクティベートする処理又は該アプリケーションファイルを実行させる処理である、
ことを特徴とする請求項１又は２に記載の画像形成装置用追加アプリケーションのセキュリティ確保方法。
【請求項４】
該アプリケーションファイルは、複数ファイルを１つに結合して圧縮したファイルであり、
該画像形成装置は、該アプリケーションファイルを実行させる前に該圧縮ファイルを解凍して該複数のファイルに分解し、該メタ情報に基づいて、該複数のファイルの１つに含まれているメインルーチンを実行する、
ことを特徴とする請求項３に記載の画像形成装置用追加アプリケーションのセキュリティ確保方法。
【請求項５】
該第１のコンピュータと、該第２のコンピュータと、該画像形成装置とがインターネットに結合され、
該第２のコンピュータが該第１のコンピュータに、該インターネットを介し該アプリケーションファイルを送信し、
該第１のコンピュータが該第２のコンピュータに、該インターネットを介し該ハッシュ値を送信し、
該画像形成装置からの要求に応じて、該第２のコンピュータが該画像形成装置に、該インターネットを介し該インストールパッケージファイルを送信する、
ことを特徴とする請求項１乃至４のいずれか１つに記載の画像形成装置用追加アプリケーションのセキュリティ確保方法。
【請求項６】
出力が入力パラメータ値に依存する特殊ハッシュ関数を実行して、入力されたアプリケーションファイルのハッシュ値を生成する第１のコンピュータと、
該アプリケーションファイルと、入力に基づいて生成した、該アプリケーションファイルのメタ情報と、該ハッシュ値とを含むインストールパッケージファイルを生成する第２のコンピュータと、
該特殊ハッシュ関数と同一の特殊ハッシュ関数を実行して、該入力パラメータ値と同一のパラメータ値に依存する、このインストールパッケージファイルに含まれているアプリケーションファイルのハッシュ値を生成し、生成したハッシュ値が、このインストールパッケージファイルに含まれているハッシュ値と一致していれば、該アプリケーションファイルに対し正規の処理を行い、不一致であればその旨をユーザに対し出力し又は該アプリケーションファイルを削除する画像形成装置と、
を備えたことを特徴とする画像形成システム。
【請求項７】
アプリケーションファイルと該アプリケーションファイルのメタ情報と該アプリケーションファイルのハッシュ値とを有するインストールパッケージファイルに含まれている該アプリケーションファイルを、出力が入力パラメータ値に依存する特殊ハッシュ関数に与えて該特殊ハッシュ関数を実行することにより、ハッシュ値を生成するハッシュ値生成手段と、
生成したハッシュ値が、該インストールパッケージファイルに含まれているハッシュ値と一致しているか否かを判定する検証部と、
該検証部が肯定判定すれば、該アプリケーションファイルに対し正規の処理を行い、否定判定すればその旨をユーザに対し出力し又は該アプリケーションファイルを削除する追加アプリケーション実行制御部と、
を有することを特徴とする画像形成装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、アプリケーションをインストールする際、アクティベートする際又は実行する際において、ハッシュ値を用いて画像形成装置用追加アプリケーションのセキュリティを確保する方法、画像形成システム及び画像形成装置に関する。
【背景技術】
【０００２】
ソフトウェアハウスのサ−バからインターネットを介しアプリケーションをダウンロードして画像形成装置にインストールすることにより、画像形成装置の多機能化を図ることが可能となる。
【０００３】
下記特許文献１には、このサーバ側でアプリケーションのハッシュ値を生成し、これを電子署名として用いてアプリケーションを配布し、受信した画像形成装置側で、アプリケーションが改竄されていないかどうかを検証することにより、安全性を確保する発明が開示されている。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００８−１７７６８３号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
しかしながら、悪意のある人がアプリケーションを同様に配布した場合には、安全性を確保することができない。また、画像形成装置にアプリケーションをインストールした後に、アプリケーションが改竄された場合には、これを検出することができない。
【０００６】
本発明の目的は、このような問題点に鑑み、画像形成装置設置後に画像形成装置に追加されるアプリケーション（追加アプリケーション）の安全性をより高めることが可能な画像形成装置用追加アプリケーションのセキュリティ確保方法、画像形成システム及び画像形成装置を提供することにある。
【課題を解決するための手段】
【０００７】
本発明による画像形成装置用追加アプリケーションのセキュリティ確保方法の一態様では、
第１のコンピュータが、出力が入力パラメータ値に依存する特殊ハッシュ関数を実行して、入力されたアプリケーションファイルのハッシュ値を生成し、
第２のコンピュータが、該アプリケーションファイルと、入力に基づいて生成した、該アプリケーションファイルのメタ情報と、該ハッシュ値とを含むインストールパッケージファイルを生成し、
画像形成装置が、該特殊ハッシュ関数と同一の特殊ハッシュ関数を実行して、該入力パラメータ値と同一のパラメータ値に依存する、このインストールパッケージファイルに含まれているアプリケーションファイルのハッシュ値を生成し、生成したハッシュ値が、このインストールパッケージファイルに含まれているハッシュ値と一致していれば、該アプリケーションファイルに対し正規の処理を行い、不一致であればその旨をユーザに対し出力し又は該アプリケーションファイルを削除する。
【発明の効果】
【０００８】
上記一態様の構成によれば、出力が入力パラメータ値に依存する特殊ハッシュ関数の該パラメータ値を、インストールパッケージファイルを生成した第２のコンピュータ側に知られることなく、画像形成装置で使用されようとするアプリケーションファイルが、該第１のコンピュータ側で、このアプリケーションファイルの該特殊ハッシュ関数によるハッシュ値により認証されたものであるか否かを検証することができるので、該特殊ハッシュ関数及び該パラメータ値を用いないでアプリケーションを配布し又はアプリケーションインストール後にこのアプリケーションを改竄しても、これを検出して排除することが可能となり、アプリケーション実行の安全性を向上させることができという効果を奏する。
【０００９】
本発明の他の目的、特徴的な構成及び効果は、以下の説明を特許請求の範囲及び図面の記載と関係づけて読むことにより明らかになる。 
【図面の簡単な説明】
【００１０】
【図１】画像形成装置用追加アプリケーションのセキュリティ確保システムを構成する画像形成装置メーカ側コンピュータ、ソフトウェアハウス側コンピュータ及び画像形成装置間の通信の概略シーケンス図である。
【図２】画像形成装置メーカ側コンピュータに含まれるハッシュ値生成部のソフトウェア構成を示す概略機能ブロック図である。
【図３】（Ａ）〜（Ｃ）はいずれも、図２中の特殊ハッシュ値関数の構成例を示すブロック図である。
【図４】ソフトウェアハウスのコンピュータに含まれるインストールパッケージファイル生成部のソフトウェア構成を示す概略機能ブロック図である。
【図５】ユーザの画像形成装置に含まれるアプリケーションインストール部のソフトウェア構成を示す概略機能ブロック図である。
【図６】ユーザの画像形成装置に含まれる追加アプリケーション実行部のソフトウェア構成を示す概略機能ブロック図である。
【図７】本発明の上記システムのハードウェア構成を示す概略ブロック図である。
【実施例１】
【００１１】
図７は、本発明の画像形成システムのハードウェア構成を示す概略ブロック図である。
【００１２】
このシステムでは、画像形成装置メーカのコンピュータ１０と、この画像形成装置のアプリケーションを開発しユーザに提供するソフトウェアハウスのコンピュータ２０と、ユーザの画像形成装置３０とが、インターネット４０で結合されている。コンピュータ１０と２０との間では、コンピュータ１０がサーバ、コンピュータ２０がクライアントとして通信を行い、又は、両者間で電子メールにより通信を行う。同様に、コンピュータ２０と画像形成装置３０との間では、コンピュータ２０がサーバ、画像形成装置３０がクライアントして通信を行い、又は、両者間で電子メールにより通信を行う。これらの間における通信は、ＳＳＬ（Secure Socket Layer）による暗号化通信が好ましい。
【００１３】
コンピュータ１０では、ＣＰＵ１１がインターフェイス１２を介してＰＲＯＭ１３、ＤＲＡＭ１４、ハードディスクドライブ１５、ネットワークインターフェイス１６及び会話型入出力装置１７に結合されている。図７では、簡単化の為に、複数種のインターフェイスを１つのブロック１２で表している。
【００１４】
ＰＲＯＭ１３は、例えばフラッシュメモリであり、ＢＩＯＳ（Basic Input/Output System）が格納されている。ＤＲＡＭ１４は、主記憶装置として用いられる。ハードディスクドライブ１５には、仮想記憶方式のＯＳ（オペレーティングシステム）、各種ドライバ及びアプリケーション並びにデータが格納されている。ネットワークインターフェイス１６は、ネットワーク４０に結合されている。会話型入出力装置１Ａは、例えば入力装置としてのキーボード及びポインティングデバイスと、表示装置とを備えている。
【００１５】
コンピュータ２０もコンピュータ１０と同様に構成されており、コンピュータ２０の構成要素２１〜２７はそれぞれコンピュータ１０の構成要素１１〜１７と対応している。
【００１６】
画像形成装置３０では、ＣＰＵ３１がインターフェイス３２を介してＰＲＯＭ３３、ＤＲＡＭ３４、ハードディスクドライブ３５、ネットワークインターフェイス３６、スキャナ３７、プリンタ３８、ファックスモデム３９及び操作パネル３Ａに結合されている。
【００１７】
ＰＲＯＭ３３は、例えばフラッシュメモリであり、ＢＩＯＳ、ＯＳ、各種ドライバ、及び、画像形成装置として機能させるための各種アプリケーションが格納されている。ＤＲＡＭ３４は、主記憶装置として用いられる。ハードディスクドライブ３５には、印刷用データ、スキャナ３７で読み取った画像データ及びファクシミリ受信データが保存される。ネットワークインターフェイス３６は、ネットワーク４０に結合されている。スキャナ３７は、印刷及びファクシミリ送信の入力装置として用いられるとともに、画像ファイル生成のために用いられる。プリンタ３８は、プリントエンジン並びに用紙の給紙部、搬送部及び排紙部を備え、ＤＲＡＭ３４に生成されたビットマップデータが供給され、このデータに基づいて感光ドラムに静電潜像を形成し、この像をトナーで現像し、トナー像を用紙に転写し定着させ、排紙する。操作パネル３Ａは、キー及び表示パネルを供えている。
【００１８】
図１は、図７のシステムにおける通信の概略シーケンス図である。
【００１９】
ソフトウェアハウスでは、開発者が、コンピュータ２０にインストールされているＳＤＫ（ソフトウェア開発キット）の支援の下に、対話的にアプリケーションを開発し、このアプリケーションを電子署名し、電子証明書を添付してメーカ側コンピュータ１０に送信するとともに、このアプリケーションのハッシュ値生成を要求する。このアプリケーションは、複数のファイルを１つに結合して圧縮したファイル、例えばJava（登録商標）のjar（Javaアーカイブ）ファイルである。
【００２０】
コンピュータ１０は、上記要求に応答して、上記電子証明書が正規のものであって、予めコンピュータ１０に登録されているソフトウェアハウスのものであれば、上記電子署名を用い、アプリケーションが改竄されていないことを検証した後、このアプリケーションのハッシュ値を生成する。
【００２１】
図２は、メーカ側コンピュータ１０に含まれるハッシュ値生成部のソフトウェア構成を示す概略機能ブロック図である。
【００２２】
操作者は、会話型入出力装置１７の入力装置１７０を操作して制御部１００を実行させ、制御部１００に対し、秘密にしているパラメータ値を入力する。制御部１００はこれをパラメータ値１０１としてハードディスク１５に格納させる。前回格納したパラメータ値１０１を用いる場合には、この入力を省略する。操作者はさらに、制御部１００を介し、特殊ハッシュ関数１０２の処理対象として、コンピュータ２０から受信したアプリケーションファイル１０３を選択し、制御部１００にハッシュ値生成指示を与える。
【００２３】
制御部１００はこれに応答して、このパラメータ値１０１とアプリケーションファイル１０３のアドレスとを引数として特殊ハッシュ関数１０２に与え、特殊ハッシュ関数１０２を実行させる。特殊ハッシュ関数１０２はこれに応答して、このパラメータ値に依存したハッシュ値１０４を生成する。
【００２４】
ここで、電子署名に用いられるハッシュ関数、例えばＭＤ５、ＳＨＡ−１、ＭＩＮＭＡＸなどはいずれも、関数名が同一であれば、同一の入力メッセージ（本実施例ではアプリケーションファイル１０３）に対し同一のハッシュ値を生成する。これに対し、本案で用いる特殊ハッシュ関数１０２は、与えるパラメータ値に応じて異なるハッシュ値をハッシュ値として生成する。
【００２５】
この特殊ハッシュ関数１０２は例えば、図３（Ａ）に示すように、パラメータ値に応じて入力メッセージを変換する前処理部１０５と、変換されたメッセージのハッシュ値を生成する通常のハッシュ関数１０６とで構成される。或いは、この前処理部１０５と通常のハッシュ関数１０６の結合順を逆にして、すなわち図３（Ｂ）に示すように、通常のハッシュ関数１０６と後処理部１０７とで、特殊ハッシュ関数１０２Ａが構成される。この場合、後処理部は、パスワードを当該パラメータ値とする暗号化部であってもよい。さらに、図３（Ｃ）に示すように、上記２つの構成を組み合わせたもの、すなわち、前処理部１０５、通常のハッシュ関数１０６及び後処理部１０７の順に結合し、前処理部１０５と後処理部１０７の一方又は両方に、互いに同一又は異なるパラメータ値を与えるであってもよい。
【００２６】
図１に戻って、制御部１００は、ハッシュ値１０４に対し電子署名を行い、電子証明書を添付して、インターネット４０を介しソフトウェアハウスのコンピュータ２０に送信する。
【００２７】
コンピュータ２０は、これに応答して、この電子証明書が正規のものであって、予めコンピュータ２０に登録されているメーカのものであれば、上記電子署名を用い、ハッシュ値１０４が改竄されていないことを検証した後、アプリケーションファイル１０３用のインストールパッケージファイルを生成する。
【００２８】
図４は、ソフトウェアハウスのコンピュータ２０に含まれるインストールパッケージファイル生成部のソフトウェア構成を示す概略機能ブロック図である。
【００２９】
操作者は、会話型入出力装置２７の入力装置２７０を操作して、インストールパッケージ作成ツール２０１を実行させ、これにより、会話型入出力装置２７の表示部にアプリケーション情報入力画面を表示させる。ここに、アプリケーション情報とは、アプリケーションファイル１０３のメタ情報であって、例えば、アプリケーションファイル１０３に含まれている、最初に実行すべきメインルーチンが含まれているファイル名（上記複数ファイルのうちの１つ）などである。
【００３０】
操作者は、入力装置２７０を操作してインストールパッケージ作成ツール２０１に対し、このメインルーチンが含まれるファイル名などを入力し、次いでアプリケーションファイル１０３及びハッシュ値１０４を指定し、次いでパッケージ作成指示を与える。
【００３１】
インストールパッケージ作成ツール２０１はこれに応答して、アプリケーションファイル１０３内に圧縮されている複数ファイルのそれぞれのバージョン情報を取得し、これも上記アプリケーション情報の一部とし、これらアプリケーション情報を内容とするアプリケーション情報ファイル２０２を生成し、フォルダを生成し、アプリケーションファイル１０３、アプリケーション情報ファイル２０２及びハッシュ値１０４をこのフォルダに格納し、このフォルダ及びその内部の全ファイルを纏めて圧縮することにより、１つのインストールパッケージファイル２０３を生成する。
【００３２】
図１に戻って、ユーザは、画像形成装置３０を操作してプラウザを実行させ、コンピュータ２０のＵＲＬ（リスト表示ＵＲＬ）をこのプラウザに与え、コンピュータ２０からのＨＴＭＬファイルの内容を表示させる。この表示には、ソフトウェアハウスが開発したアプリケーションのリスト及びその説明が含まれており、ユーザは所望のアプリケーションを選択する。
【００３３】
プラウザはこれに応答して、コンピュータ２０に対しインストールパッケージのファイルを要求し、コンピュータ２０はこれに応答してこのインストールパッケージを画像形成装置３０へ送信する。画像形成装置３０はこれを受信し、操作パネル３Ａを介した指示に応答して、受信したインストールパッケージをハードディスク３５にインストールする。
【００３４】
図５は、ユーザの画像形成装置３０に含まれるアプリケーションインストール部のソフトウェア構成を示す概略機能ブロック図である。
【００３５】
ユーザが操作パネル３Ａを操作して、インストール制御部３００を実行させ、これに対し、インストールパッケージファイル２０３を指定し、次いで実行指示を与える。
【００３６】
インストール制御部３００はこれに応答して、インストールパッケージファイル２０３のアドレスを引数としてパッケージ分解部３０１に与え、パッケージ分解部３０１を実行させる。パッケージ分解部３０１はこれに応答して、インストールパッケージファイル２０３を解凍することによりこれを、その構成要素であるアプリケーション１０３、ハッシュ値１０４及びアプリケーション情報ファイル２０２に分解し、インストールパッケージファイル２０３を削除する。これによりハッシュ値１０４及びアプリケーション情報ファイル２０２は完全に解凍されているが、アプリケーションファイル１０３はまだ、複数のファイルが結合されて圧縮された圧縮ファイルである。
【００３７】
インストール制御部３００は、パッケージ分解部３０１の処理が終了すると、アプリケーションファイル１０３及びハッシュ値１０４のアドレスを引数として検証部３０２に与え、検証部３０２を実行させる。
【００３８】
検証部３０２はこれに応答して、パラメータ値３０４及びアプリケーションファイル１０３のアドレスを引数として特殊ハッシュ関数３０３に与え、特殊ハッシュ関数３０３を実行させる。このパラメータ値３０４は、図２のパラメータ値１０１と同一値であり、予め画像形成装置３０に格納されている。また、特殊ハッシュ関数３０３は、特殊ハッシュ関数１０２と同一の関数である。特殊ハッシュ関数３０３は、パラメータ値３０４に依存する、アプリケーションファイル１０３のハッシュ値を求め、これを戻り値として検証部３０２に渡す。
【００３９】
検証部３０２は、このハッシュ値をハッシュ値１０４と比較し、その結果を戻り値としてインストール制御部３００に渡す。インストール制御部３００は、この結果の内容を操作パネル３Ａに表示させ、この結果が不一致を示していればさらに、アプリケーションファイル１０３を削除すべきか否かの質問を操作パネル３Ａに表示させ、ユーザからの削除指示に応答して、アプリケーションファイル１０３、ハッシュ値１０４及びアプリケーション情報ファイル２０２を削除する。
【００４０】
図６は、ユーザの画像形成装置３０に含まれる追加アプリケーション実行部のソフトウェア構成を示す概略機能ブロック図である。この実行部と、図５の上記アプリケーションインストール部とは、アプリケーションファイル１０３、ハッシュ値１０４、アプリケーション情報ファイル２０２、特殊ハッシュ関数３０３、パラメータ値３０４及び操作パネル３Ａを共通の構成要素として含んでいる。
【００４１】
ユーザが操作パネル３Ａを操作して、追加アプリケーション実行制御部３００Ａを実行させ、これに対し、アプリケーションファイル１０３を指定し、次いで追加アプリケーション実行指示を与える。
【００４２】
追加アプリケーション実行制御部３００Ａはこれに応答して、アプリケーションファイル１０３及びハッシュ値１０４のアドレスを引数として検証部３０２に与え、検証部３０２を実行させる。
【００４３】
検証部３０２はこれに応答して、パラメータ値３０４及びアプリケーションファイル１０３のアドレスを引数として特殊ハッシュ関数３０３に与え、特殊ハッシュ関数３０３を実行させる。
【００４４】
特殊ハッシュ関数３０３は、パラメータ値３０４に依存する、アプリケーションファイル１０３のハッシュ値を求め、これを戻り値として検証部３０２に渡す。検証部３０２は、このハッシュ値をハッシュ値１０４と比較し、その結果を戻り値として追加アプリケーション実行制御部３００Ａに渡す。
【００４５】
追加アプリケーション実行制御部３００Ａは、この結果の内容を操作パネル３Ａに表示させ、この結果が不一致を示していればさらに、アプリケーションファイル１０３を削除すべきか否かの質問を操作パネル３Ａに表示させ、ユーザからの削除指示に応答して、アプリケーションファイル１０３、ハッシュ値１０４及びアプリケーション情報ファイル２０２を削除し、ユーザからの実行指示に応答して、アプリケーションファイル１０３をメモリ上で解凍し、インストールパッケージファイル２０３が示しているファイル名中のメインルーチンを実行させる。
【００４６】
本実施例１によれば、出力が入力パラメータ値に依存する特殊ハッシュ関数１０２及び３０３のパラメータ値１０１及び３０４を、インストールパッケージファイルを生成したソフトウェアハウス側に知られることなく、画像形成装置３０で使用されようとするアプリケーションファイル１０３が、画像形成装置メーカ側コンピュータ１０で、このアプリケーションファイル１０３の特殊ハッシュ関数１０２によるハッシュ値により認証されたものであるか否かを検証することができるので、特殊ハッシュ関数１０２及びパラメータ値１０１を用いないでアプリケーションを配布し又はアプリケーションインストール後にこのアプリケーションを改竄しても、これを検出して排除することが可能となり、アプリケーション実行の安全性を向上させることができという効果を奏する。
【００４７】
以上において、本発明の好適な実施例を説明したが、本発明には他にも種々の変形例が含まれ、上記実施例で述べた各構成要素の機能を実現する他の構成を用いたもの、当業者であればこれらの構成又は機能から想到するであろう他の構成も、本発明に含まれる。
【００４８】
例えば、コンピュータ１０はメーカのものに限定されず、メーカから委託を受けた会社等のコンピュータであってもよい。同様に、コンピュータ２０はソフトウェアハウスのものに限定されず、ソフトウェアハウスから委託を受けた会社等のコンピュータであってもよい。
【００４９】
また、アプリケーションファイル１０３は圧縮された１つのファイルに限定されず、アプリケーション情報ファイル２０２で指定された、アプリケーションファイル１０３に含まれる１つのファイルであってもよい。さらに、アプリケーションファイル１０３に含まれる複数のファイルのそれぞれのハッシュ値１０４を用い、検証部３０２でそれぞれのファイルを検証する構成であってもよい。
【００５０】
さらに、図５でのインストールと図６での最初の実行との間のアプリケーションアクティベーションの段階においても、アプリケーションのアクティベーションの前処理として、上記同様に検証を行う構成であってもよい。この場合、アクティベートされたか否かの情報をアプリケーションファイル１０３の外側に配置することにより、アクティベーション前後でアプリケーションファイル１０３のハッシュ値が同一になるようにして、実行時に図６の構成も使用可能にする。
【００５１】
また、本発明による検証処理は、アプリケーションファイルを画像形成装置にインストールする処理、アプリケーションファイルをアクティベートする処理又はアプリケーションファイルを実行させる処理のいずれか１つ以上において実行するものであればよい。
【００５２】
また、特殊ハッシュ関数１０２は、前処理部１０５や後処理部１０７を用いずに、乱数を用いる構成とし、この乱数の種をパラメータ値１０１及び３０４とするものであってもよい。
【００５３】
また、パラメータ１０１及び３０４を、公知のように暗号化で保護された別チップに格納する構成であってもよいことは勿論である。
【符号の説明】
【００５４】
１０、２０  コンピュータ
３０  画像形成装置
１１、２１、３１  ＣＰＵ
１２，２２、３２  インターフェイス
１３、２３、３３  ＰＲＯＭ
１４、２４、３４  ＤＲＡＭ
１５、２５  ハードディスク
１６、２６、３６  ネットワークインターフェイス
１７、２７  会話型入出力装置
１７０、２７０  入力装置
３７  スキャナ
３８  プリンタ
３９  ファックスモデム
３Ａ  操作パネル
４０  インターネット
１００、３００  制御部
１０１、３０４  パラメータ値
１０２、１０２Ａ、１０２Ｂ、３０３  特殊ハッシュ関数
１０３  アプリケーションファイル
１０４  ハッシュ値
１０５  前処理部
１０６  通常のハッシュ関数
１０７  後処理部
２０１  インストールパッケージ作成ツール
２０２  アプリケーション情報ファイル
２０３  インストールパッケージファイル
３００  インストール制御部
３００Ａ  追加アプリケーション実行制御部
３０１  パッケージ分解部
３０２  検証部
【図１】
2012003679.tif 000003
【図２】
2012003679.tif 000004
【図３】
2012003679.tif 000005
【図４】
2012003679.tif 000006
【図５】
2012003679.tif 000007
【図６】
2012003679.tif 000008
【図７】
2012003679.tif 000009