耐タンパ装置を有する情報端末と、当該情報端末とネットワークを介して接続された認証サーバとを備えたアプリケーション認証システムであって、前記情報端末の耐タンパ装置は、前記情報端末において動作するアプリケーションソフトウェアに予めハードコーディングされた鍵情報が記憶されている耐タンパ鍵情報記憶部と、予め定められた署名鍵が記憶されている署名鍵記憶部と、前記アプリケーションソフトウェアから入力される、前記鍵情報を用いて暗号化されたメッセージを、前記耐タンパ鍵情報記憶部に記憶されている前記鍵情報を用いて復号する耐タンパ復号部と、前記耐タンパ復号部が復号した前記メッセージと、前記署名鍵とに基づいて第1の認証子を生成して出力する暗号化部と、を備え、前記情報端末は、前記鍵情報がハードコーディングされたソースコードに基づく前記アプリケーションソフトウェアであって、前記認証サーバから送信されるメッセージを、当該鍵情報を用いて暗号化して前記耐タンパ装置に入力し、当該耐タンパ装置に入力した当該メッセージに応じて当該耐タンパ装置から出力される前記第1の認証子と、自身にハードコーディングされた前記鍵情報とに基づいて第2の認証子を生成し、前記認証サーバに送信するアプリケーションソフトウェアが記憶されているAP記憶部と、前記AP記憶部に記憶されている前記アプリケーションソフトウェアを動作させる制御部と、を備え、前記認証サーバは、前記鍵情報が記憶されている認証サーバ鍵情報記憶部と、前記耐タンパ装置に記憶されている前記署名鍵に対応する検証鍵が記憶されている検証鍵記憶部と、前記メッセージを生成して前記情報端末に送信する送信部と、前記送信部が前記情報端末に送信した前記メッセージに応じて、当該情報端末から送信される前記第2の認証子を受信する受信部と、前記受信部が受信した前記第2の認証子を、前記認証サーバ鍵情報記憶部に記憶されている前記鍵情報を用いて検証し、当該第2の認証子に含まれる前記第1の認証子を、前記検証鍵記憶部に記憶されている前記検証鍵を用いて検証する検証部と、を備えることを特徴とするアプリケーション認証システム。前記認証サーバは、前記ネットワークを介して複数の前記情報端末に接続されており、前記検証部によって検証成功と判定された場合、前記第2の認証子を送信した前記情報端末に記憶されている前記アプリケーションソフトウェアを識別する固有APIDを生成する固有APID生成部と、前記複数の情報端末に記憶されている前記アプリケーションソフトウェアを識別する固有APID毎に、当該アプリケーションソフトウェアに対応する固有鍵が対応付けられて記憶される固有鍵記憶部とを備え、前記認証サーバの受信部は、前記情報端末から送信される前記固有鍵を受信し、当該情報端末に記憶されている前記アプリケーションソフトウェアを識別する前記固有APIDに対応付けて前記固有鍵記憶部に記憶させ、前記情報端末は、前記検証部によって検証成功と判定された場合、前記固有鍵を生成し、前記認証サーバに送信する固有鍵送信部と、を備えることを特徴とする請求項1に記載のアプリケーション認証システム。前記AP記憶部に記憶されている前記アプリケーションソフトウェアは、複数の前記鍵情報がハードコーディングされたソースコードに基づく前記アプリケーションソフトウェアであって、前記複数の鍵情報のうち定められた条件に応じた鍵情報を用いて暗号化し、前記耐タンパ装置の前記耐タンパ鍵情報記憶部には、前記複数の鍵情報が記憶され、前記耐タンパ装置の前記耐タンパ復号部は、当該耐タンパ鍵情報記憶部に記憶された複数の鍵情報のうち、前記条件に応じた鍵情報を用いて復号し、前記認証サーバの前記認証サーバ鍵情報記憶部には、前記複数の鍵情報が記憶され、前記認証サーバの前記検証部は、当該認証サーバ鍵情報記憶部に記憶された複数の鍵情報のうち、前記前記条件に応じた鍵情報を用いて検証することを特徴とする請求項1または請求項2に記載のアプリケーション認証システム。前記アプリケーション認証システムは、前記情報端末において動作する前記アプリケーションソフトウェアと通信を行う業務APサーバを備え、前記認証サーバは、セッション鍵を生成し、前記鍵情報を用いて暗号化して前記情報端末との間で共有し、当該セッション鍵を前記業務APサーバに送信し、前記業務APサーバと前記情報端末とは、前記セッション鍵に基づいて暗号化通信を行うことを特徴とする請求項1から請求項3までのいずれか1項に記載のアプリケーション認証システム。前記認証サーバの前記送信部が前記情報端末に送信する前記メッセージは、チャレンジレスポンス方式におけるチャレンジであり、前記情報端末が前記チャレンジに応じて前記認証サーバに送信する前記第2の認証子は、前記チャレンジに対応するレスポンスであることを特徴とする請求項1から請求項4までのいずれか1項に記載のアプリケーション認証システム。情報端末において動作するアプリケーションソフトウェアに予めハードコーディングされた鍵情報が記憶されている耐タンパ鍵情報記憶部と、予め定められた署名鍵が記憶されている署名鍵記憶部とを備える耐タンパ装置を有し、前記鍵情報がハードコーディングされたソースコードに基づく前記アプリケーションソフトウェアであって、ネットワークを介して接続された認証サーバから送信されるメッセージを、当該鍵情報を用いて暗号化して前記耐タンパ装置に入力し、当該耐タンパ装置に入力した当該メッセージに応じて当該耐タンパ装置から出力される前記第1の認証子と、自身にハードコーディングされた前記鍵情報とに基づいて第2の認証子を生成し、前記認証サーバに送信するアプリケーションソフトウェアが記憶されているAP記憶部を備える情報端末と、前記鍵情報が記憶されている認証サーバ鍵情報記憶部と、前記耐タンパ装置に記憶されている前記署名鍵に対応する検証鍵が記憶されている検証鍵記憶部とを備えた前記認証サーバと、を備えたアプリケーション認証システムのアプリケーション認証方法であって、前記認証サーバが、メッセージを生成して前記情報端末に送信するステップと、前記情報端末の前記制御部が、前記AP記憶部に記憶されている前記アプリケーションソフトウェアを動作させることにより、認証サーバから送信されるメッセージを、前記鍵情報を用いて暗号化して前記耐タンパ装置に入力するステップと、前記情報端末の耐タンパ装置が、前記アプリケーションソフトウェアから入力される、前記鍵情報を用いて暗号化されたメッセージを、前記耐タンパ鍵情報記憶部に記憶されている前記鍵情報を用いて復号するステップと、復号した前記メッセージと、前記署名鍵とに基づいて第1の認証子を生成して出力するステップと、前記情報端末の前記制御部が、前記AP記憶部に記憶されている前記アプリケーションソフトウェアを動作させることにより、前記耐タンパ装置に入力した当該メッセージに応じて当該耐タンパ装置から出力される前記第1の認証子と、自身にハードコーディングされた前記鍵情報とに基づいて第2の認証子を生成し、前記認証サーバに送信するステップと、前記認証サーバが、前記情報端末に送信した前記メッセージに応じて、当該情報端末から送信される前記第2の認証子を受信するステップと、受信した前記第2の認証子を、前記認証サーバ鍵情報記憶部に記憶されている前記鍵情報を用いて検証し、当該第2の認証子に含まれる前記第1の認証子を、前記検証鍵記憶部に記憶されている前記検証鍵を用いて検証するステップと、を備えることを特徴とするアプリケーション認証方法。しかしながら、上述のようなハッシュ値による認証は、アプリケーション自体の正当性を検証するものであるが、そのアプリケーションが適切な情報端末にインストールされ、動作するものであるか否かを検証するものではない。ここで、このような情報端末を、より高いセキュリティの求められる場面で活用する場合には、そのアプリケーションが適切な情報端末にインストールされ、動作する正当なアプリケーションであるか否かを検証することが望ましい。本発明は、このような状況に鑑みてなされたもので、情報端末において動作するアプリケーションが、適切な情報端末にインストールされた正当なアプリケーションであるか否かを検証するアプリケーション認証システム、アプリケーション認証方法を提供する。上述した課題を解決するために、本発明は、耐タンパ装置を有する情報端末と、情報端末とネットワークを介して接続された認証サーバとを備えたアプリケーション認証システムであって、情報端末の耐タンパ装置は、情報端末において動作するアプリケーションソフトウェアに予めハードコーディングされた鍵情報が記憶されている耐タンパ鍵情報記憶部と、予め定められた署名鍵が記憶されている署名鍵記憶部と、アプリケーションソフトウェアから入力される、鍵情報を用いて暗号化されたメッセージを、耐タンパ鍵情報記憶部に記憶されている鍵情報を用いて復号する耐タンパ復号部と、耐タンパ復号部が復号したメッセージと、署名鍵とに基づいて第1の認証子を生成して出力する暗号化部と、を備え、情報端末は、鍵情報がハードコーディングされたソースコードに基づくアプリケーションソフトウェアであって、認証サーバから送信されるメッセージを、鍵情報を用いて暗号化して耐タンパ装置に入力し、耐タンパ装置に入力したメッセージに応じて耐タンパ装置から出力される第1の認証子と、自身にハードコーディングされた鍵情報とに基づいて第2の認証子を生成し、認証サーバに送信するアプリケーションソフトウェアが記憶されているAP記憶部と、AP記憶部に記憶されているアプリケーションソフトウェアを動作させる制御部と、を備え、認証サーバは、鍵情報が記憶されている認証サーバ鍵情報記憶部と、耐タンパ装置に記憶されている署名鍵に対応する検証鍵が記憶されている検証鍵記憶部と、メッセージを生成して情報端末に送信する送信部と、送信部が情報端末に送信したメッセージに応じて、情報端末から送信される第2の認証子を受信する受信部と、受信部が受信した第2の認証子を、認証サーバ鍵情報記憶部に記憶されている鍵情報を用いて検証し、第2の認証子に含まれる第1の認証子を、検証鍵記憶部に記憶されている検証鍵を用いて検証する検証部と、を備えることを特徴とする。また、本発明は、認証サーバは、ネットワークを介して複数の情報端末に接続されており、検証部によって検証成功と判定された場合、第2の認証子を送信した情報端末に記憶されているアプリケーションソフトウェアを識別する固有APIDを生成する固有APID生成部と、複数の情報端末に記憶されているアプリケーションソフトウェアを識別する固有APID毎に、アプリケーションソフトウェアに対応する固有鍵が対応付けられて記憶される固有鍵記憶部とを備え、認証サーバの受信部は、情報端末から送信される固有鍵を受信し、情報端末に記憶されているアプリケーションソフトウェアを識別する固有APIDに対応付けて固有鍵記憶部に記憶させ、情報端末は、検証部によって検証成功と判定された場合、固有鍵を生成し、認証サーバに送信する固有鍵送信部と、を備えることを特徴とする。また、本発明は、AP記憶部に記憶されているアプリケーションソフトウェアは、複数の鍵情報がハードコーディングされたソースコードに基づくアプリケーションソフトウェアであって、複数の鍵情報のうち定められた条件に応じた鍵情報を用いて暗号化し、耐タンパ装置の耐タンパ鍵情報記憶部には、複数の鍵情報が記憶され、耐タンパ装置の耐タンパ復号部は、耐タンパ鍵情報記憶部に記憶された複数の鍵情報のうち、条件に応じた鍵情報を用いて復号し、認証サーバの認証サーバ鍵情報記憶部には、複数の鍵情報が記憶され、認証サーバの検証部は、認証サーバ鍵情報記憶部に記憶された複数の鍵情報のうち、条件に応じた鍵情報を用いて検証することを特徴とする。また、本発明は、アプリケーション認証システムは、情報端末において動作するアプリケーションソフトウェアと通信を行う業務APサーバを備え、認証サーバは、セッション鍵を生成し、鍵情報を用いて暗号化して情報端末との間で共有し、セッション鍵を業務APサーバに送信し、業務APサーバと情報端末とは、セッション鍵に基づいて暗号化通信を行うことを特徴とする。また、本発明は、認証サーバの送信部が情報端末に送信するメッセージは、チャレンジレスポンス方式におけるチャレンジであり、情報端末がチャレンジに応じて認証サーバに送信する第2の認証子は、チャレンジに対応するレスポンスであることを特徴とする。また、本発明は、情報端末において動作するアプリケーションソフトウェアに予めハードコーディングされた鍵情報が記憶されている耐タンパ鍵情報記憶部と、予め定められた署名鍵が記憶されている署名鍵記憶部とを備える耐タンパ装置を有し、鍵情報がハードコーディングされたソースコードに基づくアプリケーションソフトウェアであって、ネットワークを介して接続された認証サーバから送信されるメッセージを、鍵情報を用いて暗号化して耐タンパ装置に入力し、耐タンパ装置に入力したメッセージに応じて耐タンパ装置から出力される第1の認証子と、自身にハードコーディングされた鍵情報とに基づいて第2の認証子を生成し、認証サーバに送信するアプリケーションソフトウェアが記憶されているAP記憶部を備える情報端末と、鍵情報が記憶されている認証サーバ鍵情報記憶部と、耐タンパ装置に記憶されている署名鍵に対応する検証鍵が記憶されている検証鍵記憶部とを備えた認証サーバと、を備えたアプリケーション認証システムのアプリケーション認証方法であって、認証サーバが、メッセージを生成して情報端末に送信するステップと、情報端末の制御部が、AP記憶部に記憶されているアプリケーションソフトウェアを動作させることにより、認証サーバから送信されるメッセージを、鍵情報を用いて暗号化して耐タンパ装置に入力するステップと、情報端末の耐タンパ装置が、アプリケーションソフトウェアから入力される、鍵情報を用いて暗号化されたメッセージを、耐タンパ鍵情報記憶部に記憶されている鍵情報を用いて復号するステップと、復号したメッセージと、署名鍵とに基づいて第1の認証子を生成して出力するステップと、情報端末の制御部が、AP記憶部に記憶されているアプリケーションソフトウェアを動作させることにより、耐タンパ装置に入力したメッセージに応じて耐タンパ装置から出力される第1の認証子と、自身にハードコーディングされた鍵情報とに基づいて第2の認証子を生成し、認証サーバに送信するステップと、認証サーバが、情報端末に送信したメッセージに応じて、情報端末から送信される第2の認証子を受信するステップと、受信した第2の認証子を、認証サーバ鍵情報記憶部に記憶されている鍵情報を用いて検証し、第2の認証子に含まれる第1の認証子を、検証鍵記憶部に記憶されている検証鍵を用いて検証するステップと、を備えることを特徴とする。以上説明したように、本発明によれば、認証サーバが、メッセージを情報端末に送信し、情報端末が、送信されるメッセージを、鍵情報を用いて暗号化して耐タンパ装置に入力し、情報端末の耐タンパ装置が、暗号化されたメッセージを復号し、復号したメッセージと署名鍵とに基づいて第1の認証子を生成して出力し、情報端末が、耐タンパ装置に入力したメッセージに応じて耐タンパ装置から出力される第1の認証子と、鍵情報とに基づいて第2の認証子を生成して認証サーバに送信し、認証サーバが、情報端末に送信したメッセージに応じて、情報端末から送信される第2の認証子を受信し、受信した第2の認証子を、鍵情報を用いて検証し、第2の認証子に含まれる第1の認証子を、署名鍵に対応する検証鍵を用いて検証するようにしたので、情報端末において動作するアプリケーションが、適切な情報端末にインストールされた正当なアプリケーションであるか否かを検証することができる。以下、本発明の一実施形態について、図面を参照して説明する。図1は、本実施形態によるアプリケーション認証システム1の構成を示すブロック図である。アプリケーション認証システム1は、認証サーバ100と、業務APサーバ200と、情報端末300とを備えている。ここで、図2を参照して、本実施形態の概要について説明する。本実施形態では、スマートフォンやタブレットPC等の情報端末300にアプリケーション以下、APともいうをインストールし、例えば企業内において、企業内の情報を扱うために利用する例を示す。そこで、このような情報端末300自体と、その情報端末300において動作するAPとの正当性を、認証サーバ100との三者間で検証することによってセキュリティを確保する。ここで、APの正当性とは、情報端末300において動作するAPが、AP管理者がインストールしたAPであるか否かを示し、AP管理者がインストールしたAPであれば正当であり、AP管理者がインストールしたAPでなければ正当でない。まず、符号aに示すAP開発者は、APのソースコードに定められた鍵情報をハードコーディングし、ハードコーディングした鍵情報に基づく暗号化処理を行うソースコードを作成する。鍵情報は、本実施形態においては共通鍵暗号方式による共通鍵であることとし、コンピュータに発生させた擬似乱数である。そして、作成したソースコードに基づくコンパイルをコンピュータ装置に行わせ、オブジェクトコードであるAPを生成させる。このように生成されたオブジェクトコードからは、その元であるソースコードにハードコーディングされた鍵情報を解読することは非常に困難である。ここで、ソースコードにハードコーディングされた鍵情報を、HCPハードコードパラメータという。APは、例えば社内のデータベースに記憶されている個人情報や顧客情報等の機密情報に、ネットワークを介してアクセスする機能を有するものとする。AP開発者は、HCPと、HCPを埋め込んだAPとを、物理媒体に記憶させること等により、符号bに示すプロジェクト管理者に受け渡す。プロジェクト管理者は、APの運用を管理し、企業内において情報端末300を用いてAPを使用するAP利用者に、APがインストールされた情報端末300を配布する。ここで、プロジェクト管理者のコンピュータ装置は、署名鍵を生成し、情報端末300が備える耐タンパ装置セキュアエレメントに、署名鍵とHCPとを記憶させておく。また、署名鍵に対応する検証鍵とHCPとを、符号cに示すような、信頼できる第三者である認証局の認証サーバ100に記憶させておく。ここでは、プロジェクト管理者のコンピュータ装置が生成する署名鍵は共通鍵暗号方式による鍵情報であるとして説明するため、署名鍵と共通鍵とは同一の鍵情報である。ただし、後述するように、鍵情報としては公開鍵暗号方式の秘密鍵と公開鍵とを用いることもできる。プロジェクト管理者は、情報端末300にAPをインストールし、符号dに示すAP利用者に、情報端末300を配布する。AP利用者は、プロジェクト管理者から配布された情報端末300を利用して、インストールされたAPの起動要求を入力する。情報端末300に記憶されているAPは、認証サーバ100と通信を行ってAPの有効化処理を行う。有効化処理とは、APが認証サーバ100と通信を行って、情報端末300にインストールされたAPが動作することを認証サーバ100との間で共有するための処理である。このような有効化処理により、認証サーバ100によって情報端末300と情報端末300にインストールされたAPとが検証され、検証成功と判定された場合、情報端末300は、ネットワークを介して符号eに示す社内サービスを提供する業務APサーバ200に接続する。ここでは、1台の情報端末300を図示して説明するが、アプリケーション認証システム1は、社内サービスを利用する複数のAP利用者のそれぞれに配布する複数台の情報端末300を備えることができる。図1に戻り、認証サーバ100は、情報端末300と情報端末300に記憶されたAPとの正当性を検証する認証局のコンピュータ装置であり、HCP記憶部101と、検証鍵記憶部102と、CR処理部103と、受信部104と、復号部105と、検証部106と、第2のセッション鍵生成部107と、固有APID生成部108とを備えている。HCP記憶部101には、APを識別するAPID毎に、そのAPに埋め込まれたHCPが対応付けられて予め記憶されている。ここで、HCPは、プロジェクト管理者と認証局との間で適切な方法で共有される。HCPの共有方法としては、例えば、1対面による事前共有、2鍵配布センターによる共有、3公開鍵による共有、などの共有方法がある。1の方法は、認証局がプロジェクト管理者の本人確認を行うものである。2の方法では、事前に鍵配送センターにプロジェクト管理者のコンピュータ装置と認証局のコンピュータ装置との通信路を暗号化するための共通鍵をそれぞれ登録しておく。鍵配布センターは、セッション鍵を生成して、プロジェクト管理者の共通鍵でセッション鍵を暗号化し、プロジェクト管理者のコンピュータ装置に送信する。そして、認証局の共通鍵を用いてセッション鍵を暗号化し、認証局のコンピュータ装置に送信する。プロジェクト管理者のコンピュータ装置と、認証局のコンピュータ装置とは、鍵配布センターから送信されたセッション鍵を用いて暗号化通信を行い、HCPを共有する。3の方法は、ハイブリッドな鍵方式による共有であり、公開鍵証明書を別途用いるようにしても良い。検証鍵記憶部102には、情報端末300の耐タンパ装置320に予め記憶されている署名鍵に対応する検証鍵が記憶されている。このような署名鍵は、プロジェクト管理者のコンピュータ装置によって生成され、上述の1~3の共有方法や、4DHDiffieHellman方式による共有方法によって共有される。4の方法は、プロジェクト管理者と認証局とが秘密の数を作り出し、そこからHCPを作り出す方法である。CRチャレンジアンドレスポンス処理部103は、情報端末300の正当性を検証するためのチャレンジであるメッセージを生成して情報端末に送信し、送信したチャレンジに対する応答であるレスポンスを受信して検証処理を行う。チャレンジ生成には、擬似乱数生成器を用いることができる。このように、本実施形態では、認証サーバ100と情報端末300との間で通信を行う際には、チャレンジレスポンス方式による認証を行うようにしたので、ネットワークを流れるメッセージの内容を毎回異なるものにすることができる。すなわち、メッセージが一度盗聴された場合でも、再度の通信の際には異なる値であるメッセージを利用することができ、盗聴による脅威が軽減される。受信部104は、CR処理部103が情報端末300に送信したチャレンジに応じて、その情報端末300から送信される認証子第2の認証子を受信する。認証子とは、鍵情報と、認証の対象であるメッセージとに基づいて生成される情報である。例えば、認証子としては、メッセージ自体をAESAdvancedEncryptionStandard等のアルゴリズムによって暗号化した結果や、認証の対象であるメッセージと、鍵情報とメッセージとに基づいて生成されるMACMessageAuthenticationCodeとの情報等が適用できる。また、受信部104は、情報端末300から送信される固有鍵を受信し、その情報端末300に記憶されているAPを識別する固有APIDに対応付けて、固有APID生成部108の記憶領域に記憶させる。固有鍵は、複数の情報端末300において動作するAPについて付与される固有の鍵情報であり、固有APIDは、複数の情報端末300のそれぞれにおいて動作するAPの固有の識別情報である。すなわち、同一のAPであっても、記憶されている情報端末300が異なる場合には、異なる固有鍵、異なる固有APIDが付与される。復号部105は、HCP記憶部101に記憶されているHCPを読み出し、読み出したHCPを用いて、情報端末300から送信される暗号化情報を復号する。また、復号部105は、第2のセッション鍵生成部107に記憶されている第2のセッション鍵を読み出し、読み出した第2のセッション鍵を用いて、情報端末300から送信される暗号化情報を復号する。検証部106は、HCP記憶部101に記憶されているHCPを読み出し、読み出したHCPを用いて、情報端末300から送信される認証子を検証する。検証処理は、例えば、送信したチャレンジに対するレスポンスである認証子を復号し、復号した結果が、送信したチャレンジと一致するか否かを判定することによって行う。一致すれば検証成功と判定し、一致しなければ検証失敗と判定する。また、検証部106は、第2のセッション鍵生成部107に記憶されている第2のセッション鍵を読み出し、読み出した第2のセッション鍵を用いて、情報端末300から送信される認証子を検証する。例えば、検証部106は、受信部104が受信した第2の認証子を、HCP記憶部101に記憶されているHCPを用いて検証し、第2の認証子に含まれる第1の認証子を、検証鍵記憶部102に記憶されている検証鍵を用いて検証する。第2のセッション鍵生成部107は、擬似乱数を生成することにより、鍵情報である第2のセッション鍵を生成する。第2のセッション鍵は、認証サーバ100と情報端末300との間で共有されるとともに、情報端末300と業務APサーバ200とが暗号化通信を行うために、業務APサーバ200との間でも共有される。認証サーバ100と業務APサーバ200とがセッション鍵を共有する方法としては、上述の1~3のような方法が適用できる。固有APID生成部108は、検証部106によって検証成功と判定された場合、第2の認証子を送信した情報端末300に記憶されているAPを識別する固有APIDを生成し、自身の記憶領域に記憶させる。また、固有APID生成部108には、このような固有APID毎に、対応するAPIDと、対応する固有鍵とが対応付けられて記憶される。業務APサーバ200は、情報端末300において動作するAPと通信を行うコンピュータ装置である。ここで、業務APサーバ200と情報端末300とは、認証サーバ100によって生成された第2のセッション鍵を用いて暗号化通信を行う。情報端末300は、スマートフォンやタブレットPC等のコンピュータ装置である。情報端末300は、AP記憶部310と、耐タンパ装置320と、制御部330とを備えている。AP記憶部310には、HCPがハードコーディングされたソースコードに基づいてコンパイルされ生成されたAPが記憶される。AP記憶部310に記憶されているAPは、例えば企業内における業務アプリケーション等の機能を備えるとともに、耐タンパ装置320や認証サーバ100と通信を行ってAP認証を行う機能を有する。APは、例えば、情報端末300から送信されるチャレンジを、HCPを用いて暗号化して耐タンパ装置320に入力し、耐タンパ装置320に入力したチャレンジに応じて耐タンパ装置320から出力される第1の認証子レスポンスと、HCPとに基づいて第2の認証子レスポンスを生成し、認証サーバ100に送信する機能を有する。AP記憶部310に記憶されているAPは、制御部330によって読み出され、実行される。耐タンパ装置320は、HCP記憶部321と、署名鍵記憶部322と、暗号処理部323と、有効化フラグ記憶部324と、CR処理部325と、第1のセッション鍵生成部326と、固有鍵生成部327と、有効化フラグ制御部328と、要求送信部329とを備えている。HCP記憶部321には、情報端末300において動作するAPに予めハードコーディングされたHCPが記憶されている。ここでは、プロジェクト管理者が、AP開発者から適切に受け取ったHCPが、プロジェクト管理者のコンピュータ装置を介してHCP記憶部321に予め記憶される。署名鍵記憶部322には、予め定められた署名鍵が記憶されている。署名鍵は、認証サーバ100の検証鍵記憶部102に記憶された検証鍵に対応する鍵情報であり、例えば上述の1~4のいずれかの方法によって共有され、予め記憶される。暗号処理部323は、制御部330において動作するAPから入力される、HCPを用いて暗号化されたチャレンジを、HCP記憶部321に記憶されているHCPを用いて復号する。また、暗号処理部323は、このように復号したチャレンジと、署名鍵記憶部322から読み出した署名鍵とに基づいて、第1の認証子を生成して出力する。有効化フラグ記憶部324には、AP記憶部310に記憶されている複数のAP毎に、そのAPを識別するAPIDと、複数の情報端末300のうちでその情報端末300に固有に付与される固有APIDと、そのAPが有効化されているか否かを示す有効化フラグとが対応付けられて記憶される。有効とは、APが耐タンパ装置320と認証サーバ100とによって検証され、正当なものであると判定されていることをいう。有効化フラグは、例えば有効であればON1の値が、有効でなければOFF0の値が対応付けられる。有効化フラグは、例えば1ビットで表され、ISO/IEC7816-4に規定されるEFエレメンタリファイルに格納される。CR処理部325は、制御部330において動作するAPの正当性を検証するためのチャレンジであるメッセージを生成してAPに出力し、出力したチャレンジに対する応答であるレスポンスを受信して検証処理を行う。第1のセッション鍵生成部326は、擬似乱数を生成することにより、鍵情報である第1のセッション鍵を生成する。第1のセッション鍵は、耐タンパ装置320と制御部330との間で共有される。固有鍵生成部327は、認証サーバ100によって制御部330において動作するAPの正当性が検証され、検証成功と判定された場合、複数の情報端末300に記憶されたAPのうちで一意となる鍵情報である固有鍵を生成する。有効化フラグ制御部328は、制御部330において動作するアプリや認証サーバ100から送信される情報に応じて、有効化フラグ記憶部324に記憶されている有効化フラグの読み出しや更新を行う。要求送信部329は、業務APサーバ200への接続要求コマンドや、AP起動要求コマンドを生成して送信する。制御部330は、AP利用者から入力されるAPの起動要求に応じて、起動要求に対応するAPをAP記憶部310から読み出して動作させる。ここで、制御部330は、AP記憶部310から読み出したAPに基づいて、HCP記憶部331と、認証要求部332と、暗号処理部333と、セッション鍵受信部334と、有効化フラグ確認要求部335と、要求送信部336との機能部を構成する。HCP記憶部331には、APID毎に予め定められたHCPが対応付けられて記憶されている。認証要求部332は、耐タンパ装置320や認証サーバ100に対してCRによる認証要求を行う暗号処理部333は、HCP記憶部331から読み出したHCPや、セッション鍵受信部334から読み出した第1のセッション鍵または第2のセッション鍵による暗号化処理または復号処理を行う。セッション鍵受信部334は、耐タンパ装置320の第1のセッション鍵生成部326によって生成された第1のセッション鍵を受信し、自身の記憶領域に記憶させる。同様に、認証サーバ100の第2のセッション鍵生成部107によって生成された第2のセッション鍵を受信し、自身の記憶領域に記憶させる。有効化フラグ確認要求部335は、APの起動時に、耐タンパ装置320に対して有効化フラグ確認要求を入力する。有効化フラグ確認要求部335が耐タンパ装置320に入力する確認要求には、自身のAPを識別するAPIDが含まれる。要求送信部336は、耐タンパ装置320から送信される各要求を、認証サーバ100に送信する。次に、本実施形態によるアプリケーション認証システム1の動作例を説明する。図3から図7は、アプリケーション認証システム1によるAP有効化処理を示すシーケンス図である。図3に示すように、まず、AP利用者により、情報端末300に起動要求が入力されると、制御部330が、起動要求の入力を受け付けるステップS1。制御部330は、起動要求に対応するAPをAP記憶部310から読み出して展開し、制御部330に含まれる各機能部を構成する。認証要求部332は、自身のAPIDが含まれる認証要求を耐タンパ装置320に入力するステップS2。CR処理部325は、チャレンジを生成しステップS3、制御部330に出力するステップS4。制御部330の暗号処理部333は、HCP記憶部331に記憶されているHCPを読み出し、読み出したHCPと、耐タンパ装置320から出力されたチャレンジとに基づいて認証子を生成するステップS5。暗号処理部333は、生成した認証子を耐タンパ装置320に入力するステップS6。CR処理部325は、HCP記憶部321に記憶されているHCPを読み出し、読み出したHCPを用いて、制御部330から入力された認証子を検証するステップS7。ここで、CR処理部325が、検証失敗と判定すればステップS8:NO、エラーとして処理を終了するステップS9。一方、CR処理部325が、検証成功と判定すればステップS8:YES、第1のセッション鍵生成部326が、第1のセッション鍵を生成して自身の記憶領域に記憶させるステップS10。暗号処理部323は、HCP記憶部321に記憶されたHCPを読み出し、読み出したHCPにより、第1のセッション鍵生成部326が生成した第1のセッション鍵を暗号化するステップS11。暗号処理部323は、暗号化した第1のセッション鍵を出力するステップS12。セッション鍵受信部334は、HCP記憶部331に記憶されているHCPを読み出し、読み出したHCPにより、暗号処理部323が出力した第1のセッション鍵を復号し、自身の記憶領域に記憶させるステップS13。図4に進み、有効化フラグ確認要求部335が、自身のAPIDに対応する有効化フラグの確認要求を耐タンパ装置320に入力するステップS14。有効化フラグの確認要求には、確認要求を入力するAPのAPIDが含まれる。耐タンパ装置320の有効化フラグ制御部328は、有効化フラグ確認要求部335から入力された有効化フラグの確認要求に応じて、確認要求に含まれるAPIDに対応付けられて有効化フラグ記憶部324に記憶されている有効化フラグを読み出すステップS15。有効化フラグ制御部328は、読み出した有効化フラグが、無効を示すと判定するとステップS16:NO、有効化要求コマンドを生成するステップS17。暗号処理部323は、署名鍵記憶部322に記憶されている署名鍵を読み出し、読み出した署名鍵と、有効化フラグ制御部328が生成した有効化要求コマンドに基づいて認証子を生成するステップS18。暗号処理部323は、第1のセッション鍵生成部326が生成した第1のセッション鍵を用いて、生成した認証子を暗号化するステップS19。暗号処理部323は、暗号化した認証子を出力するステップS20。暗号処理部323から、暗号化した認証子が出力されると、要求送信部336は、自身のAPIDが含まれる認証要求を認証サーバ100に送信するステップS21。認証サーバ100が、情報端末300から送信された認証要求を受信すると、CR処理部103は、チャレンジを生成しステップS22、情報端末300に送信するステップS23。情報端末300が、認証サーバ100から送信されたチャレンジを受信すると、暗号処理部333は、HCP記憶部331に記憶されているHCPを読み出し、読み出したHCPを鍵情報として、認証サーバ100から送信されたチャレンジの認証子を生成するステップS24。暗号処理部333は、生成した認証子を認証サーバ100に送信するステップS25。認証サーバ100のCR処理部103は、情報端末300から送信された認証子を受信すると、HCP記憶部101に記憶されているHCPを読み出し、読み出したHCPを用いて認証子を検証するステップS26。図5に進み、CR処理部103が、検証失敗と判定すればステップS27:NO、エラーとして処理を終了するステップS28。一方、CR処理部103が、検証成功と判定すればステップS27:YES、第2のセッション鍵生成部107が、第2のセッション鍵を生成して自身の記憶領域に記憶させるステップS29。辞書データ生成部107は、HCP記憶部101に記憶されているHCPを読み出し、読み出したHCPにより、第2のセッション鍵を暗号化するステップS30。辞書データ生成部107は、暗号化した第2のセッション鍵を情報端末300に送信するステップS31。情報端末300のセッション鍵受信部334は、HCP記憶部331に記憶されているHCPを読み出し、読み出したHCPにより、認証サーバ100から送信された第2のセッション鍵を復号し、自身の記憶領域に記憶させるステップS32。暗号処理部333は、セッション鍵受信部334に記憶された第1のセッション鍵を読み出し、ステップS20において耐タンパ装置320から出力された認証子を、読み出した第1のセッション鍵で復号し、復号した認証子を、セッション鍵受信部334に記憶された第2のセッション鍵を用いて暗号化するステップS33。暗号処理部333は、暗号化した認証子を認証サーバ100に送信するステップS34。認証サーバ100の受信部104は、情報端末300から送信される、暗号化された認証子を受信する。復号部105が、第2のセッション鍵生成部107に記憶されている第2のセッション鍵を用いて、受信部104が受信した認証子を検証する。ここで検証失敗と判定すれば、エラーとして処理を終了する。検証成功と判定すれば、認証子に含まれる有効化要求コマンドを読み出すステップS35。そして、認証サーバ100のCR処理部103が、チャレンジを生成し、情報端末300に送信すると、情報端末300の暗号処理部333が、認証サーバ100から送信されたチャレンジを受信する。暗号処理部333は、HCP記憶部331に記憶されたHCPを読み出し、読み出したHCPによりチャレンジを暗号化するステップS38。暗号処理部333は、暗号化したチャレンジを耐タンパ装置320に入力するステップS39。図6に進み、耐タンパ装置320の暗号処理部323は、HCP記憶部321に記憶されているHCPを読み出し、読み出したHCPにより、制御部330から入力されたチャレンジを復号するステップS40。そして、署名鍵記憶部322に記憶されている署名鍵を読み出し、読み出した署名鍵と、復号したチャレンジとに基づいて認証子を生成するステップS41。暗号処理部323は、生成した認証子を出力するステップS42。制御部330の暗号処理部333は、HCP記憶部331からHCPを読み出し、読み出したHCPと、耐タンパ装置320から出力された認証子とに基づいて第2の認証子を生成するステップS43。暗号処理部333は、生成した第2の認証子を認証サーバ100に送信するステップS44。認証サーバ100の受信部104が、情報端末300から送信された第2の認証子を受信すると、検証部106が、HCP記憶部101に記憶されているHCPを読み出し、第2の認証子を検証するステップS45。ここで検証失敗と判定すれば、エラーとして処理を終了する。検証成功と判定すれば、検証鍵記憶部102に記憶されている検証鍵を読み出し、読み出した検証鍵により、第2の認証子に含まれる認証子を検証するステップS46。ここで検証失敗と判定すれば、エラーとして処理を終了する。検証成功と判定すれば、固有APID生成部108が、情報端末300のAPを識別する固有APIDを生成し、自身の記憶領域に記憶させるステップS47。また、固有APID生成部108は、有効化許可コマンドを生成し、生成した有効化許可コマンドと、固有APIDとを、第2のセッション鍵生成部107から読み出した第2のセッション鍵により暗号化するステップS48。固有APID生成部108は、暗号化した有効許可コマンドと固有APIDとを、情報端末300に送信するステップS49。情報端末300の暗号処理部333は、認証サーバ100から送信された、暗号化された有効化許可コマンドと固有APIDとを、セッション鍵受信部334から読み出した第2のセッション鍵で復号し、セッション鍵受信部334から読み出した第1のセッション鍵により暗号化するステップS50。暗号処理部333は、第1のセッション鍵により暗号化した有効化許可コマンドと固有APIDとを、耐タンパ装置320に入力するステップS51。図7に進み、耐タンパ装置320の暗号処理部323は、暗号化された有効化許可コマンドと固有APIDとを、第1のセッション鍵生成部326から読み出した第1のセッション鍵を用いて復号するステップS52。有効化フラグ制御部328は、暗号処理部323によって復号された有効化許可コマンドを実行し、制御部330のAPIDに対応付けられて有効化フラグ記憶部324に記憶されている有効化フラグをONに更新するステップS53。また、復号した固有APIDを、有効化フラグ記憶部324に記憶させるステップS54。そして、固有鍵生成部327が、固有鍵を生成するステップS55と、暗号処理部323が、第1のセッション鍵生成部326から読み出した第1のセッション鍵を用いて固有鍵を暗号化しステップS56、暗号化した固有鍵を出力するステップS57。制御部330の暗号処理部333は、セッション鍵受信部334から読み出した第1のセッション鍵を用いて、耐タンパ装置320から出力された固有鍵を復号し、セッション鍵受信部334から読み出した第2のセッション鍵を用いて暗号化するステップS58。暗号処理部333は、暗号化した固有鍵を認証サーバ100に送信するステップS59。認証サーバ100の受信部104が、情報端末300から送信された、暗号化された固有鍵を受信すると、固有APID生成部108が、第2のセッション鍵生成部107から読み出した第2のセッション鍵を用いて固有鍵を復号し、ステップS47において生成した固有APIDと対応付けて自身の記憶領域に記憶させるステップS60。そして、ステップS14に戻り、有効化フラグがONになった状態でAPの検証処理を行う。図8から図11は、アプリケーション認証システム1によるAP検証処理を示すシーケンス図である。図4のステップS16において、有効化フラグ制御部328が、読み出した有効化フラグは有効を示すと判定するとステップS16:YES、図8に進み、要求送信部329が、接続要求コマンドとAP起動要求コマンドとを生成するステップS61。暗号処理部323は、固有鍵生成部327に記憶されている固有鍵を読み出し、要求送信部329が生成した接続要求コマンドの認証子を生成する。また、第1のセッション鍵生成部326に記憶されている第1のセッション鍵を読み出し、認証子を暗号化するステップS62。また、暗号処理部323は、要求送信部329が生成したAP起動要求コマンドを、第1のセッション鍵を用いて暗号化するステップS63。暗号処理部323は、暗号化した接続要求コマンドの認証子と、暗号化したAP起動要求コマンドと、固有APIDとを出力するステップS64。制御部330の暗号処理部333は、セッション鍵受信部334に記憶されている第1のセッション鍵を読み出し、暗号処理部323から出力されたAP起動要求コマンドを復号するステップS65。要求送信部336は、復号されたAP起動要求コマンドに応じて、自身の固有APIDが含まれる認証要求を、業務APサーバ200に送信するステップS66。業務APサーバ200は、情報端末300から送信された認証要求を認証サーバ100に転送するステップS67。認証サーバ100の受信部104が、業務APサーバ200から転送された認証要求を受信すると、CR処理部103が、チャレンジを生成しステップS68、業務APサーバ200に送信するステップS69。業務APサーバ200は、認証サーバ100から送信されたチャレンジを情報端末300に転送するステップS70。図9に進み、情報端末300の暗号処理部333は、HCP記憶部331に記憶されているHCPを読み出し、読み出したHCPとチャレンジとに基づいて認証子を生成するステップS71。暗号処理部333は、生成した認証子を業務APサーバ200に送信するステップS72。業務APサーバ200は、情報端末300から送信された認証子を認証サーバ100に転送するステップS73。認証サーバ100の受信部104が、業務APサーバ200から転送された認証子を受信すると、検証部106は、HCP記憶部101に記憶されているHCPを読み出し、認証子を検証するステップS74。検証部106が検証失敗と判定すれば、エラーとして処理を終了し、検証成功と判定すれば、第2のセッション鍵生成部107が、第2のセッション鍵を生成するステップS75。第2のセッション鍵生成部107は、HCP記憶部101に記憶されているHCPを読み出し、読み出したHCPを用いて第2のセッション鍵を暗号化するステップS76。第2のセッション鍵生成部107は、暗号化した第2のセッション鍵を業務APサーバ200に送信するステップS77。業務APサーバ200は、認証サーバ100から転送された第2のセッション鍵を情報端末300に転送するステップS78。制御部330の暗号処理部333は、HCP記憶部331に記憶されているHCPを読み出し、業務APサーバ200から送信された第2のセッション鍵を復号するステップS79。暗号処理部333は、セッション鍵受信部334から読み出した第1のセッション鍵を用いて、ステップS64において出力された接続要求コマンドを復号し、セッション鍵受信部334から読み出した第2のセッション鍵を用いて暗号化するステップS80。そして、暗号処理部333は、暗号化した接続要求コマンドを業務APサーバ200に送信するステップS81。業務APサーバ200は、情報端末300から送信された、暗号化された接続要求コマンドを、認証サーバ100に転送するステップS82。図10に進み、認証サーバ100の受信部104が、業務APサーバ200から転送された、暗号化された接続要求コマンドを受信すると、復号部105が、第2のセッション鍵生成部107から読み出した2のセッション鍵を用いて接続要求コマンドを復号するステップS83。認証サーバ100のCR処理部103は、復号された接続要求コマンドに応じて、チャレンジを生成するステップS84。CR処理部103は、生成したチャレンジを、業務APサーバ200に送信するステップS85。業務APサーバ200は、認証サーバ100から送信されたチャレンジを、情報端末300に転送するステップS86。情報端末300の暗号処理部333は、業務APサーバ200から転送されたチャレンジを受信すると、HCP記憶部331から読み出したHCPを用いて暗号化するステップS87。暗号処理部333は、暗号化したチャレンジを耐タンパ装置320に入力するステップS88。耐タンパ装置320の暗号処理部323は、受信したチャレンジを、HCP記憶部321から読み出したHCPを用いて復号し、復号したチャレンジと、固有鍵生成部327から読み出した固有鍵とに基づいて認証子を生成するステップS89。暗号処理部323は、生成した認証子を出力するステップS90。制御部330の暗号処理部333は、耐タンパ装置320から出力された認証子と、HCP記憶部331から読み出したHCPとに基づいて、第2の認証子を生成するステップS91。暗号処理部333は、生成した第2の認証子を業務APサーバ200に送信するステップS92。業務APサーバ200は、情報端末300から送信された第2の認証子を、認証サーバ100に転送するステップS93。認証サーバ100受信部104が、業務APサーバ200から送信された第2の認証子を受信すると、検証部106が、HCP記憶部101から読み出したHCPを用いて第2の認証子を検証するステップS94。検証部106が、検証失敗と判定すればエラーとして処理を終了し、認証成功と判定すれば、固有APID生成部108に記憶されている固有鍵を読出し、読み出した固有鍵を用いて認証子を検証するステップS95。検証失敗と判定すればエラーとして処理を終了し、認証成功と判定すれば、図11に進み、認証サーバ100が接続許可コマンドを生成して第2のセッション鍵生成部107から読み出した第2のセッション鍵を用いて暗号化しステップS96、業務APサーバ200に送信するステップS97。業務APサーバ200は、認証サーバ100から送信される、暗号化した接続許可コマンドを、情報端末300に転送するステップS98。制御部330の暗号処理部333は、業務APサーバ200から転送された接続許可コマンドを、セッション鍵受信部334から読み出した第2のセッション鍵を用いて復号するステップS99。認証サーバ100は、第2のセッション鍵生成部107に記憶されている第2のセッション鍵を業務APサーバ200に送信するとステップS100、業務APサーバ200は、認証サーバ100から送信された第2のセッション鍵を自身の記憶領域に記憶させる。以降、業務APサーバ200と情報端末300とは、第2のセッション鍵を用いて、暗号化された通信を行うことができるステップS101。以上説明したように、本実施形態によれば、APのソースコードにハードコーディングされた鍵情報であるHCPを用いて、APと、耐タンパ装置320と、認証サーバ100とが通信を行い、耐タンパ装置320とAPとの正当性を、認証サーバ100を加えた三者間で検証するようにした。これにより、プロジェクト管理者ではない第三者が、正当ではなく、予め定められたHCPが含まれないAPを情報端末300にインストールして起動しようとした場合、検証を失敗させ、エラーとすることができる。このため、例えば、正当なAPになりすましたAPがインストールされたような場合に、そのAPが動作し、機密情報等にアクセスすることを防ぐことができる。あるいは、例えば何らかの方法により、プロジェクト管理者の管理対象ではない情報端末に、正当なAPがインストールされたような場合でも、その情報端末の耐タンパ装置に適切なHCPが記憶されていなければ、検証を失敗させ、エラーとすることができる。このように、本実施形態によれば、正当な情報端末300において、正当なAPが動作しているか否かを検証することができる。これにより、例えば個人情報や顧客情報等の機密情報を扱う企業内においてスマートフォンやタブレットPC等の情報端末を利用する場合にも、安全に処理を行うことができる。また、本実施形態によれば、耐タンパ装置320と制御部330において動作するAPとの間、および情報端末300と認証サーバ100との間で情報の送受信を行う際には、チャレンジレスポンスによる一時的な情報か、あるいは鍵を用いて暗号化された情報を送受信するようにした。これにより、万が一、情報が盗聴されたような場合でも、それにより情報の内容が漏れたり、再生攻撃を仕掛けられたりするといった脅威を低減することができる。また、APの有効化処理において、複数の情報端末300に記憶されたAPそれぞれに対応する固有鍵を生成し、この固有鍵を用いて、AP起動の度に認証を行うようにした。これにより、例えば複数の情報端末300において同一のAPが利用されている場合でも、どの情報端末300に記憶されているAPが動作しているか等の情報を管理することができ、柔軟かつ多様なAPの利用管理を行うことができる。このように、本実施形態によれば、情報端末300から業務APサーバ200にアクセスする際に、業務APサーバ200側から情報端末300にインストールされているAPの正当性を確認することができる。また、情報端末300にAPをインストールして配布する際に、情報端末300に記憶させる設定情報を同一なものとすることができる。例えば、複数のAP利用者の複数の情報端末300には、同一の署名鍵、同一のHCPが埋め込まれたAPを、同様にインストールして配布できる。しかし、有効化処理により、それぞれの情報端末300のAPに固有の固有APID、固有鍵が付与されるため、AP利用者が、情報端末300を用いて業務APサーバ200にアクセスする際には、複数の情報端末300のうちで、その情報端末300のAPを識別することができる。上述の例では、APに埋め込むHCP、及び耐タンパ装置320に記憶させる署名鍵として、共通鍵暗号方式の鍵情報を適用する例を示したが、HCP、及び署名鍵としては公開鍵暗号方式の秘密鍵を適用しても良い。この場合、秘密鍵に対応する公開鍵により認証子の検証を行う際には、公開鍵証明書に含まれる公開鍵を用いた認証を行うことができる。公開鍵証明書には、例えば、ITU-TInternationalTelecommunicationUnionTelecommunicationStandardizationSectorによる公開鍵基盤の規格であるX.509に定められる公開鍵証明書を適用することができる。このような公開鍵証明書には、例えば、発行者、所有者、有効期限、公開鍵証明書バージョン、署名アルゴリズム、鍵情報公開鍵などの情報が含まれる。また、公開鍵証明書の拡張領域には、情報端末300のデバイスID、APのハッシュ値、固有APID、AP名称などの情報を含ませることができる。デバイスIDとは、例えば、情報端末300に固有の製造番号等である。APのハッシュ値とは、例えば、情報端末300がAndroid登録商標であれば、.apkファイル自体のハッシュ値である。検証の際には、このような情報を用いて、例えばAP毎に有効期間を設けたり、情報端末300のデバイスID毎に有効無効を制御したりすることにより、より柔軟に、多様な認証を行うことができる。この場合、認証処理は例えば業務APサーバ200が行うようにすることができる。本実施形態においては、情報端末300においてAPに埋め込むHCPと、署名鍵記憶部322に記憶される署名鍵とのいずれか、または双方を公開鍵暗号方式における秘密鍵とし、認証サーバ100においてHCP記憶部101に記憶されるHCPと、検証鍵記憶部102に記憶される検証鍵とのいずれか、または双方を、秘密鍵に対応する公開鍵証明書に置き換えることができる。情報端末300のAPに埋め込んでおくHCPと認証サーバ100のHCP記憶部101に記憶させておくHCPとのペアを、このような秘密鍵と公開鍵証明書とのペアに置き換えた場合には、本実施形態におけるステップS45及びステップS94の検証処理を、公開鍵証明書を用いて行うことができる。署名鍵記憶部322に記憶される署名鍵と検証鍵記憶部102に記憶される検証鍵とのペアを、このような秘密鍵と公開鍵証明書とのペアに置き換えた場合には、本実施形態におけるステップS46及びステップS95の検証処理を、公開鍵証明書を用いて行うことができる。あるいは、有効化フラグ記憶部324に記憶させる有効化フラグとして、公開鍵暗号方式の公開鍵証明書を適用することもできる。この場合、例えば、耐タンパ装置320の署名鍵記憶部322に、公開鍵暗号方式の署名鍵と、この署名鍵に対応する公開鍵証明書を記憶させる。そして、図4に示したステップS15の有効化フラグのチェック処理において、公開鍵証明書に応じた検証を行う。すなわち、本実施形態においては、耐タンパ装置320の有効化フラグ記憶部324に、有効化フラグとしてON1の値、またはOFF0の値のいずれかが記憶されることとしているが、このようなフラグに加え、公開鍵証明書を記憶しておくようにしてもよい。この場合、有効化フラグのチェック処理ステップS15において、公開鍵証明書内に含まれる所有者、有効期限、公開鍵証明書バージョンの情報を追加のチェック情報として用いることができる。具体的には、例えば、ステップS15において、有効化フラグがON1であった場合にも、公開鍵証明書の有効期限が現在の時刻よりも古いものであった場合には、APの有効化フラグが無効であると判定することが可能となる。ここでは、有効化フラグに加えて公開鍵証明書を用いることが可能なことはもちろん、公開鍵証明書の拡張領域に有効化フラグを含めて検証を行うことも可能である。また、本実施形態におけるAPと耐タンパ装置320と認証サーバ100とに、複数のHCPを予め記憶させておき、条件に応じたHCPを選択して利用することにより、さらにセキュリティを高めることができる。例えば、情報端末300のAP記憶部310に記憶されているAPとして、複数のHCPがハードコーディングされたソースコードに基づくAPを記憶させておき、複数のHCPのうち定められた条件に応じたHCPを用いて暗号化処理を行うようにすることができる。この場合、耐タンパ装置320のHCP記憶部321には、同様に複数のHCPが予め記憶され、暗号処理部323は、HCP記憶部321に記憶された複数のHCPのうち、条件に応じたHCPを用いて復号処理を行う。同様に、認証サーバ100のHCP記憶部101には、複数のHCPが記憶され、認証サーバ100の検証部106は、HCP記憶部101に記憶された複数のHCPのうち、条件に応じたHCPを用いて検証処理を行う。ここで、条件とは、例えば、処理実行時間、情報端末300による通信を行うキャリア通信事業者等が適用できる。あるいは、上述のように公開鍵暗号方式の公開鍵証明書を用いた検証を行う場合には、公開鍵証明書に含まれる様々な情報を条件とすることができる。なお、本実施形態では、情報端末300としてスマートフォンやタブレットPCを適用する例を示したが、PC等においても同様のAP検証を行うこともできる。なお、本発明における処理部の機能を実現するためのプログラムをコンピュータ読み取り可能な記録媒体に記録して、この記録媒体に記録されたプログラムをコンピュータシステムに読み込ませ、実行することにより検証処理を行ってもよい。なお、ここでいうコンピュータシステムとは、OSや周辺機器等のハードウェアを含むものとする。また、コンピュータシステムは、ホームページ提供環境あるいは表示環境を備えたWWWシステムも含むものとする。また、コンピュータ読み取り可能な記録媒体とは、フレキシブルディスク、光磁気ディスク、ROM、CD-ROM等の可搬媒体、コンピュータシステムに内蔵されるハードディスク等の記憶装置のことをいう。さらにコンピュータ読み取り可能な記録媒体とは、インターネット等のネットワークや電話回線等の通信回線を介してプログラムが送信された場合のサーバやクライアントとなるコンピュータシステム内部の揮発性メモリRAMのように、一定時間プログラムを保持しているものも含むものとする。また、上記プログラムは、このプログラムを記憶装置等に格納したコンピュータシステムから、伝送媒体を介して、あるいは、伝送媒体中の伝送波により他のコンピュータシステムに伝送されてもよい。ここで、プログラムを伝送する伝送媒体は、インターネット等のネットワーク通信網や電話回線等の通信回線通信線のように情報を伝送する機能を有する媒体のことをいう。また、上記プログラムは、前述した機能の一部を実現するためのものであっても良い。さらに、前述した機能をコンピュータシステムにすでに記録されているプログラムとの組み合わせで実現できるもの、いわゆる差分ファイル差分プログラムであっても良い。