"トークンを利用し、PINを暗号化する暗号化機能が携帯端末に実装されていることを確認するためのシステムであって、前記携帯端末は、PINの入力に利用される入力手段と、所定の暗号鍵を利用して、前記入力手段を利用して入力されたPINを暗号化する暗号演算手段と、公開鍵暗号方式の前記携帯端末の秘密鍵である端末秘密鍵を少なくとも記憶し、前記携帯端末が前記暗号演算手段を有していることを検証する操作がなされると、前記端末秘密鍵と対になる端末公開鍵により暗号化されたパスフレーズの送信を前記トークンに要求し、前記トークンから得られた前記パスフレーズの暗号文を前記暗号演算手段に前記秘密鍵により復号させた後、復号した前記パスフレーズを表示させる主制御手段を備え、前記トークンは、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記公開鍵により暗号化されたパスフレーズを前記携帯端末へ送信する手段を備えていることを特徴とする携帯端末検証システム。前記携帯端末の前記主制御手段は、前記端末公開鍵を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信を前記トークンに要求する際、記憶している前記端末公開鍵を前記トークンに送信し、前記トークンは、前記パスフレーズの平文を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記携帯端末から受信した前記端末公開鍵により前記パスフレーズの平文を暗号化し、前記パスフレーズの平文を暗号化した暗号文を前記携帯端末へ送信することを特徴とする、請求項1に記載の携帯端末検証システム。前記トークンは、前記パスフレーズの暗号文を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記パスフレーズの暗号文を前記携帯端末へ送信することを特徴とする、請求項1に記載の携帯端末検証システム。カードを盗難又は拾得した人物によるなりすましの防止として、PINを暗号化することは有用な手段であるが、携帯端末の外観からは、ユーザがPINを入力する携帯端末がPINを暗号化するPIN暗号化機能を有していることを、ユーザが確認できないため、ユーザがPINを入力する携帯端末がPINを暗号化するPIN暗号化機能を有していることを、ユーザが検証できる仕組みが必要とされていた。そこで、本発明は、スパイウェアを利用したPINの不正取得を防止するために、PINの入力に利用する携帯端末がPINを暗号化する際、PINを入力する携帯端末がPINを暗号化する機能を有していることをユーザが検証できるシステムを提供する。上述した課題を解決する第1の発明は、トークンを利用し、PINを暗号化する暗号化機能が携帯端末に実装されていることを確認するためのシステムであって、前記携帯端末は、PINの入力に利用される入力手段と、所定の暗号鍵を利用して、前記入力手段を利用して入力されたPINを暗号化する暗号演算手段と、公開鍵暗号方式の前記携帯端末の秘密鍵である端末秘密鍵を少なくとも記憶し、前記携帯端末が前記暗号演算手段を有していることを検証する操作がなされると、前記端末秘密鍵と対になる端末公開鍵により暗号化されたパスフレーズの送信を前記トークンに要求し、前記トークンから得られた前記パスフレーズの暗号文を前記暗号演算手段に前記秘密鍵により復号させた後、復号した前記パスフレーズを表示させる主制御手段を備え、前記トークンは、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記公開鍵により暗号化されたパスフレーズを前記携帯端末へ送信する手段を備えていることを特徴とする携帯端末検証システムである。更に、第2の発明は、第1の発明に記載の携帯端末検証システムであって、前記携帯端末の前記主制御手段は、前記端末公開鍵を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信を前記トークンに要求する際、記憶している前記端末公開鍵を前記トークンに送信し、前記トークンは、前記パスフレーズの平文を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記携帯端末から受信した前記端末公開鍵により前記パスフレーズの平文を暗号化し、前記パスフレーズの平文を暗号化した暗号文を前記携帯端末へ送信することを特徴とする。更に、第3の発明は、第1の発明に記載の携帯端末検証システムであって、前記トークンは、前記パスフレーズの暗号文を記憶し、前記端末公開鍵により暗号化されたパスフレーズの送信要求を前記携帯端末から受けると、前記パスフレーズの暗号文を前記携帯端末へ送信することを特徴とする。本発明において、例えば、ユーザの好きなテレビ番組名や好きな雑誌名などのパスフレーズをトークンに記憶しておき、携帯端末が、トークンから受信したパスフレーズの暗号文を復号して表示させることで、携帯端末に表示されたパスフレーズをユーザが見れば、ユーザがPINを入力する携帯端末がPIN暗号化機能を有していることをユーザは検証できる。ここから,本発明の実施形態について,本発明の技術分野に係わる当業者が,発明の内容を理解し,発明を実施できる程度に説明する。なお、これから説明する実施形態は本発明の一実施形態にしか過ぎず、本発明は、これから説明する実施形態に限定されることなく、種々の変形や変更が可能である。図1は、本実施形態に係る携帯端末検証システムを説明する図である。図1で図示した携帯端末検証システムは、携帯電話やスマートフォンなどの携帯端末1と、携帯端末1と協働するトークンここでは、ICカード2とから少なくとも構成され、携帯端末1には、携帯端末1に入力されたPINを暗号化する機能と、ICカード2を利用して、携帯端末1がPINを暗号化する機能を有している正当な端末であることをユーザに検証せさる機能が備えられている。図2は、本実施形態に係る携帯端末1の構成を説明する図である。図2に図示したように、本実施形態に係る携帯端末1は、公開暗号演算を行うコプロセッサなどで構成される演算処理部101とメモリなどで構成される記憶部100を有する暗号演算手段10と、マイクロプロセッサなどで構成される演算処理部111とメモリなどで構成される記憶部110を有し、携帯端末1全体を制御する主制御手段11と、液晶ディスプレイや有機ELディスプレイなどで構成される表示手段14と、表示手段14を駆動させる駆動回路などで構成される表示制御手段15と、キーパッドなどの入力デバイスで構成される入力手段12と、入力手段12からの出力を変換した数値を暗号演算手段10に入力する入力制御手段13と、電話網通信の通信プロトコルに従い通信を制御する電話網制御部160と送受信データの変復調を行う電話網通信変復調部161を有する電話網通信手段16と、そして、ISO1444334やISO18092などの近接型非接触通信の通信プロトコルに従い通信を制御する近接型非接触制御部170と送受信データの変復調を行う近接型非接触通信変復調部171を有する近接型非接触通信手段17を備えている。携帯端末1に入力されたPINの不正取得に利用されるスパイウェアは、携帯端末1の主制御手段11の記憶部110にインストールされて主制御手段11上で動作するため、例え、携帯端末1にスパイウェアが主制御手段11の記憶部110にインストールされていても、携帯端末1に入力されたPINが漏洩することが無いように、携帯端末1においては、携帯端末1の入力制御手段13と主制御手段11の間に暗号演算手段10を配置しているが、本発明はこの構成に限定されない。携帯端末1の暗号演算手段10は、PINの暗号化に利用する手段で、データの暗号化指示を主制御手段11より受けると、入力手段12で入力されたデータここでは、PIN、又は、主制御手段11から入力されたデータを所定の暗号鍵により暗号化して、暗号文を主制御手段11に入力し、また、データの復号指示を主制御手段11より受けると、暗号演算手段10は、主制御手段11から入力された暗号文を復号して、暗号文を復号して得られた平文を主制御手段11に入力するように構成されている。本実施形態において、携帯端末1の暗号演算手段10は公開鍵暗号方式の暗号演算に対応し、携帯端末1の暗号演算手段10が暗号演算に利用する暗号鍵は、主制御手段11から入力された暗号鍵又は暗号演算手段10の記憶部100に記憶されている暗号鍵を利用できる。なお、本実施形態では、携帯端末1がPINを暗号化する機能を有している正当な端末であることをユーザに検証させる処理で利用される暗号鍵として、携帯端末1の公開鍵暗号方式の秘密鍵である端末秘密鍵と、端末秘密鍵と対になる公開鍵である端末公開鍵が暗号演算手段10の記憶部100に記憶されている。図3は、PINの暗号化に利用する暗号演算手段10を携帯端末1が有することをユーザに検証させる際のフロー図である。PINの暗号化に利用する暗号演算手段10を携帯端末1が有することを検証する操作がなされると、携帯端末1の主制御手段11は、ICカード2を携帯端末1へかざすことを促す画面を表示手段14に表示させ、近接型非接触通信手段17がICカード2を検出すると、パスフレーズの暗号文の送信をICカード2に要求しS1、ICカード2はパスフレーズの暗号文を携帯端末1へ送信し、携帯端末1はパスフレーズの暗号文をICカード2から受信するS2。パスフレーズの暗号文をICカード2から受信すると、携帯端末1の主制御手段11は、パスフレーズの暗号文を暗号演算手段10へ送信して、パスフレーズの暗号文の復号を暗号演算手段10に指示しS3、暗号演算手段10は、記憶部100に記憶されている端末秘密鍵によりパスフレーズの暗号文を復号し、復号して得られたパスフレーズを主制御手段11へ送信し、主制御手段11はパスフレーズの平文を暗号演算手段10から取得するS4。そして、携帯端末1の主制御手段11は、暗号演算手段10から受信したパスフレーズの平文を表示手段14へ送信し、表示手段14にパスフレーズの平文を表示させてS5、この手順を終了する。ICカード2に記憶するパスフレーズを、ユーザの好きなテレビ番組名や好きな雑誌名など、ICカード2を所持するユーザが予め設定したデータとすれば、携帯端末1が、トークンから受信したパスフレーズの暗号文を復号して表示させることで、携帯端末1に表示されたパスフレーズをユーザが見れば、携帯端末1がPINを暗号化する機能を有していることをユーザが確認でき、PINを携帯端末1に入力する前に、本当に携帯端末1にPINを入力しても大丈夫なのか、ユーザが躊躇することはなくなる。ここから、図1で図示したPIN入力システムを構成するICカード2について説明する。ICカード2には、携帯端末1に備えられたPIN暗号化機能をユーザが検証できるようにするために、携帯端末1の端末公開鍵により暗号化されたパスフレーズの送信要求を携帯端末1から受けると、端末公開鍵により暗号化されたパスフレーズの暗号文を携帯端末1に送信する仕組みが備えられる。端末公開鍵により暗号化されたパスフレーズの暗号文を送信する仕組みは、図3のS10において、端末公開鍵により暗号化されたパスフレーズの送信をICカードに要求する際、携帯端末1が、暗号演算手段10の記憶部100に記憶された端末公開鍵をICカード2へ送信するようにしておき、ICカード2にパスフレーズの平文を記憶させ、更に、携帯端末1から受信した端末公開鍵によりパスフレーズの平文を暗号化し、パスフレーズの平文を暗号化した暗号文を携帯端末1へ送信するコマンドをICカード2に備えさせることで実現できる。なお、携帯端末1から送信される端末公開鍵に認証局の署名が付けられている場合、ICカード2に該認証局の公開鍵を記憶させておき、携帯端末1から受信した端末公開鍵によりパスフレーズの平文を暗号化する前に、該認証局の公開鍵を用い、端末公開鍵に付けられている署名をICカード2に検証させるようにするとよい。また、端末公開鍵により暗号化されたパスフレーズの暗号文を送信する仕組みは、パスフレーズの暗号文と、パスフレーズの暗号文の読み出すコマンドをICカード2に備えさせることでも実現できる。ここから、携帯端末1が有するPINの暗号化機能について説明を加えておく。携帯端末1の主制御手段11は、PINが携帯端末1に入力される際、暗号演算手段10を利用してPINの暗号化を行い、PINを照合させる装置にPINの暗号文を送信し、該装置にPINを照合させる動作を行う。なお、PINを照合させる装置はICカード2又はネットワーク上のサーバで、PINを照合させる装置がICカード2の場合、携帯端末1の主制御手段11は、近接型非接触通信手段17によりPINの暗号文をICカード2へ送信する。また、PINを照合させる装置がネットワーク上のサーバの場合、電話網通信手段16によりPINの暗号文をネットワーク上のサーバに送信する。PINの暗号化に利用する暗号鍵は、PINを照合させる装置から取得した公開鍵であることが望ましく、PINを照合させる装置をICカード2とする際の処理について説明する。図4は、携帯端末1がPINを暗号化する際のフロー図である。携帯端末1の主制御手段11は、PINの入力を受け付ける前に、近接型非接触通信手段17を利用して、携帯端末1にかざされているICカード2からICカード2の公開鍵を取得するS10。次に、携帯端末1の主制御手段11は、文字入力モードを数字入力モードにする処理を実施した後、PINの入力を促す画面を表示手段14に表示させると共に、入力手段12により入力されたデータここでは、PINの暗号化に利用する暗号鍵をICカード2の公開鍵に指定し、入力手段12により入力されたデータここでは、PINの暗号化を暗号演算手段10に指示し、暗号演算手段10は、入力手段12により入力されたデータここでは、PINの暗号化指示を主制御手段11から受けることになるS11。PINの入力を促す画面が表示手段14に表示された後、入力手段12を用いてPINの一文字が入力されると、押されたキーに対応するキー識別データが入力制御手段13から暗号演算手段10に入力されるS12。図5は、入力手段12等を説明する図である。図5aでは入力手段12の回路を図示し、図4において、入力手段12には、4×4のマトリクス状にキー120が配列され、押されたキー120に対応する行列信号が入力手段12から入力制御手段13に入力される。例えば、B3のキー120が押されると、行列信号R3、C1が入力制御手段13に入力される。入力制御手段13は、行列信号とキー識別データを対応させたテーブルを記憶し、入力手段12から行列信号が入力されると、該テーブルを参照して、行列信号に対応するキー識別データを暗号演算手段10に入力する。図5bは、行列信号とキー識別データを対応させたテーブルを説明する図で、図5bによれば、行列信号R3、C1が入力されると、キー識別データとして32が暗号演算手段10に入力される。暗号演算手段10は、キー識別データと数値を対応させたテーブルを記憶し、キー識別データが入力制御手段13から入力されると、該テーブルを参照して、入力制御手段13から入力されたキー識別データに対応する数値を導き出して記憶部100に保持するS13。図5cは、キー識別データと数値を対応させたテーブルを説明する図で、図5cの上段はキー識別データである。図5cに図示したテーブルによれば、キー識別データとして32が入力された場合、キー識別データ32に対応する数値は1であるため、暗号演算手段10は、キー識別データ32に対応する数値として1を導き出すことになる。そして、暗号演算手段10は、キー識別データに対応する数値がPIN入力の終了を示す値でなければ、図4のS12に戻り、キー識別データに対応する数値がPIN入力の終了を示す値であれば、それまでに記憶部100に記憶された数値を連結することでPINを生成した後S14、主制御手段11から指定した暗号鍵ここでは、ICカード2の公開鍵によりPINを暗号化し、PINの暗号文を主制御手段11に入力してS15、図4の手順は終了する。"