正当性検証の対象となる被検証データが格納された補助記憶装置と、前記正当性検証のためのプログラムが格納されたプログラムメモリと、第1のRAMRandomAccessMemoryと、第2のRAMと、前記正当性検証のためのプログラムに従って前記正当性検証を実行する実行手段と、を備え、前記正当性検証を実行する際に、前記被検証データが前記補助記憶装置から前記第1のRAMにコピーされ、前記実行手段が、前記第2のRAMを作業領域とし、前記第1のRAMに格納された前記被検証データに対して前記正当性検証を実行することを特徴とする、情報処理装置。請求項1に記載の情報処理装置であって、前記正当性検証を実行する際に、前記正当性検証のためのプログラムの少なくとも一部が前記第2のRAMに展開される、情報処理装置。請求項1又は2に記載の情報処理装置であって、前記第1のRAMと前記第2のRAMは、異なる入出力ポートを有する別体のRAMである、情報処理装置。請求項1ないし3のいずれか1項に記載の情報処理装置であって、前記実行手段は、前記第1のRAMに格納された前記被検証データに対して暗号計算を行う暗号計算手段を含み、前記正当性検証を実行する際に、前記暗号計算に用いられる鍵データの少なくとも一部が、前記補助記憶装置から前記第2のRAMにコピーされて用いられる、情報処理装置。請求項1ないし3のいずれか1項に記載の情報処理装置であって、前記実行手段は、CPUCentralProcessingUnitと、該CPUとは別体の暗号計算手段を含み、前記暗号計算手段は、前記CPUからの指示により前記補助記憶装置から前記第1のRAMにコピーされた前記被検証データに対して暗号計算を行い、該暗号計算が終了したときに前記CPUに対して割り込み通知を行う手段である、情報処理装置。請求項1ないし3のいずれか1項に記載の情報処理装置であって、前記補助記憶装置に格納された被検証データは暗号化されており、前記補助記憶装置から第3のRAMにコピーされ、復号手段によって復号された後に前記第1のRAMにコピーされる、情報処理装置。請求項6に記載の情報処理装置であって、前記実行手段は、前記第1のRAMに格納された前記被検証データに対して暗号計算を行う暗号計算手段を含み、前記暗号計算に用いられる鍵データの少なくとも一部は暗号化されて前記補助記憶装置に格納されており、前記補助記憶装置から第4のRAMにコピーされ、復号手段によって復号された後に前記暗号計算に用いられる、情報処理装置。請求項1ないし7のいずれか1項に記載の情報処理装置であって、少なくとも前記補助記憶装置と前記第1のRAM間のデータ転送を制御するDMAコントローラを備え、該DMAコントローラの制御によって前記被検証データが前記補助記憶装置から前記第1のRAMにコピーされる、情報処理装置。請求項1ないし8のいずれか1項に記載の情報処理装置であって、前記プログラムメモリはROMであり、前記プログラムメモリ、前記第1のRAM、前記第2のRAM、前記実行手段は、SoCSystemonaChip又はASICApplicationSpecificIntegratedCircuitとして構成される、情報処理装置。情報処理装置が、補助記憶装置に格納された被検証データに対して正当性検証を実行する正当性検証方法であって、前記被検証データを前記補助記憶装置から第1のRAMにコピーするステップと、前記第1のRAMに格納された前記被検証データに対して、第2のRAMを作業領域として暗号計算を行う、又は暗号計算手段に行わせるステップと、前記暗号計算の結果を予め格納された比較データと比較するステップと、を備える正当性検証方法。情報処理装置に、補助記憶装置に格納された被検証データに対して正当性検証を実行させるための情報処理装置によって読み取り可能な正当性検証プログラムであって、前記被検証データを前記補助記憶装置から第1のRAMにコピーするステップと、前記第1のRAMに格納された前記被検証データに対して、第2のRAMを作業領域として暗号計算を行う、又は暗号計算手段に行わせるステップと、前記暗号計算の結果を予め格納された比較データと比較するステップと、を前記情報処理装置に実行させる正当性検証プログラム。しかしながら、従来の情報処理装置においては、被検証データをコピーする際図1における矢印A、正当性検証用のプログラムを展開する際図1における矢印B、計算対象として被検証データを読み込む際図1における矢印C、作業領域として種々のパラメータを書き込む際図1における矢印D等にそれぞれRAMへのアクセスが発生するため、これらが干渉して処理遅延が生じる場合がある。また、RAMにおける被検証データのコピー領域と、暗号計算のためのプログラムの作業領域を事前に区別しておく必要があり、正当性検証の後にRAM上でデータの再配置を行う必要が生じる場合もある。データの再配置を行う場合、情報処理装置の起動が遅くなってしまう。本発明はこのような課題を解決するためのものであり、より迅速に正当性検証を行うことが可能な情報処理装置等を提供することを、主たる目的とする。上記目的を達成するための本発明の一態様は、正当性検証の対象となる被検証データが格納された補助記憶装置と、前記正当性検証のためのプログラムが格納されたプログラムメモリと、第1のRAMRandomAccessMemoryと、第2のRAMと、前記正当性検証のためのプログラムに従って前記正当性検証を実行する実行手段と、を備え、前記正当性検証を実行する際に、前記被検証データが前記補助記憶装置から前記第1のRAMにコピーされ、前記実行手段が、前記第2のRAMを作業領域とし、前記第1のRAMに格納された前記被検証データに対して前記正当性検証を実行することを特徴とする、情報処理装置である。本発明によれば、より迅速に正当性検証を行うことが可能な情報処理装置等を提供することができる。以下、本発明を実施するための形態について、添付図面を参照しながら実施例を挙げて説明する。<第1実施例>以下、図面を参照し、本発明の第1実施例に係る情報処理装置1について説明する。[構成]図2は、本発明の第1実施例に係る情報処理装置1のシステム構成例である。情報処理装置1は、主要な構成として、CPU10と、ブートデバイス11と、補助記憶装置12と、暗号計算エンジン13と、RAM141、142と、DMADirectMemoryAccessコントローラ15と、がバス16によって接続された構成となっている。これらの構成要素のうち、CPU10、ブートデバイス11、暗号計算エンジン13、RAM141、142、DAMコントローラ15は、SoCSystemonaChip17として構成されると好適である。これによって、全体のチップ面積並びに情報処理装置1のサイズを小さくすることが可能となる。特に、情報処理装置1が電子機器や電動機器に組み込まれた組込コンピュータである場合に、サイズダウンの要求は高いものであり、係る効果は顕著なものとなる。なお、SoCに代えてASICApplicationSpecificIntegratedCircuitが採用されてもよい。なお、この他、一般的な情報処理装置が備える構成、例えば表示装置やスピーカ、マウス、キーボード、タッチパッド、ネットワーク接続のためのインターフェース等を備えてもよい後述する第2実施例以下も同様である。CPU10は、プログラムカウンタや命令デコーダ、各種演算器、LSULoadStoreUnit、汎用レジスタ等を有するプロセッサである。ブートデバイス11は、例えばマスクROMであり、BIOS11A、正当性検証プログラム11B、秘密鍵11C、比較データ11D等が格納されている。これらのプログラムやデータは、ブートデバイス11が書き換え不能な記憶装置であるために、被検証データから除外している。秘密鍵11Cや比較データ11Dの格納箇所は、ブートデバイス11と別体のROM等であってもよい。補助記憶装置12は、例えばHDD、フラッシュメモリ、EEPROM等の不揮発性記憶装置である。補助記憶装置12には、オペレーティングシステム12B、アプリケーションプログラム12C等を含む被検証データ12A、正当性検証用署名鍵12D等が格納されている。正当性検証用署名鍵12Dの格納箇所は、他の記憶装置であってもよい。暗号計算エンジン13は、RSA暗号演算やハッシュ演算等の暗号計算を行うための演算器ユニットである。暗号計算エンジン13による暗号計算は、秘密鍵11C及び正当性検証用署名鍵12Dを用いて行われる。RAM141、142は、異なる入出力ポートを有する別体のRAMである。RAM141には、正当性検証を行う際に、被検証データ12Aがコピーされる図2における矢印1。また、RAM142には、正当性検証を行う際に、正当性検証プログラム11Bの一部又は全部が展開され図2における矢印2、正当性検証のための作業領域として用いられる図2における矢印3。このように、被検証データ12AがコピーされるRAM141と、正当性検証プログラム11Bの一部又は全部が展開され、作業領域として使用されるRAM142を使い分けることにより、正当性検証を行う際のアクセス干渉の発生を低減することができる。この結果、より迅速に正当性検証を行うことができる。DMAコントローラ15は、CPU10からの指示に従い、バス16に接続された機器間のデータ転送を制御する。[正当性検証の手順等]本実施例に係る情報処理装置1は、起動時電源投入時、再起動時等において、被検証データ12Aが改竄破壊等されていないかどうかを検証するための正当性検証を行う。正当性検証を行うタイミングについては特段の制約はなく、任意に定めてよい。以下、その手順等について説明する。図3は、情報処理装置1の起動時における処理の流れを示すフローチャートである。情報処理装置1が起動すると、まずBIOS11Aが起動するS100。次に、正当性検証プログラム11Bが起動するS102。正当性検証プログラム11Bは、例えば冒頭部分がブートデバイス11上で実行され、残りの部分は、RAM142に展開された上で実行される。正当性検証プログラム11BをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。正当性検証プログラム11Bは、被検証データ12AをRAM141にコピーするように、DMAコントローラ15に指示するS104。DMAコントローラ15は、RAM141の予め定められた領域に被検証データ12Aをコピーする。次に、正当性検証プログラム11Bは、秘密鍵11Cと正当性検証用署名鍵12Dを読み込みS106これらを組み合わせて暗号計算の設定等を行いS108、係る設定に従って被検証データ12Aに対するハッシュ値等を計算するように、暗号計算エンジン13に指示するS110。ここで、正当性検証用署名鍵12Dは、例えば300バイト未満の小さいデータであることが好ましく、この場合、補助記憶装置12から読み込むための時間は軽微である。暗号計算エンジン13は、正当性検証プログラム11Bの指示に従い、RAM141に格納された被検証データ12Aを読み込んで図2における矢印4暗号計算を行う。正当性検証プログラム11Bは、ハッシュ値等の計算を指示すると、係る計算が終了したかどうかを定期的にチェックする処理を開始するS112。そして、暗号計算エンジン13によるハッシュ値等の計算が終了するとS114、暗号計算エンジン13の計算結果と比較データ11Dが一致したか否かを判定するS116。暗号計算エンジン13の計算結果と比較データ11Dが一致した場合は、情報処理装置1が通常作動状態に移行するS118。この際に、RAM141に展開された被検証データ12Aは、元々補助記憶装置12に格納されたものがそっくりコピーされたものであり、更に、正当性検証において他のプログラムやデータがRAM141に書き込まれないように制御されている。この結果、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cについては、データの再配置等を行うことなく、そのままRAM141上で実行することができる。これによって、情報処理装置1の起動時間を短縮することができる。また、RAM142に残存する正当性検証プログラムや作業領域のデータ等については、通常作動状態に移行した後は不要であるため、自由に上書きすることができる。このため、RAM142についてもデータの再配置等の処理は不要であり、情報処理装置1の起動時間を更に短縮することができる。一方、暗号計算エンジン13の計算結果と比較データ11Dが一致しなかった場合は、所定のエラー処理を実行するS120。エラー処理には、例えばリカバリプログラムリストを表示してユーザに選択させる等の処理が含まれ得るが、本発明の適用上、如何なる処理を行ってもよい。これによって、被検証データ12Aが改竄破壊等された可能性がある場合には通常作動状態に移行するのを妨げ、情報処理装置1が不正な動作をするのを防止することができる。[まとめ]以上説明した本実施例の情報処理装置1によれば、被検証データ12AがコピーされるRAM141と、正当性検証プログラム11Bの一部又は全部が展開され、作業領域として使用されるRAM142を使い分けているため、正当性検証を行う際のアクセス干渉の発生を低減することができ、より迅速に正当性検証を行うことができる。また、RAM141は専ら被検証データ12Aのコピー領域として使用されるため、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cを、そのままRAM141上で実行することができる。これによって、情報処理装置1の起動時間を短縮することができる。<第2実施例>以下、図面を参照し、本発明の第2実施例に係る情報処理装置2について説明する。[構成]図4は、本発明の第2実施例に係る情報処理装置2のシステム構成例である。情報処理装置2は、構成要素について第1実施例と共通するため、各構成について同一の符号を付し、それぞれの機能等についての説明は省略する。本実施例に係る情報処理装置2は、正当性検証用署名鍵12DをRAM142にコピーし図4における矢印5、暗号計算の際にはRAM142から正当性検証用署名鍵12Dを読み込みて用いる点で、第1実施例と相違する。これによって、正当性検証用署名鍵12Dのデータサイズが比較的大きい場合に、更に迅速に正当性検証を行うことができる。[正当性検証の手順等]図5は、情報処理装置2の起動時における処理の流れを示すフローチャートである。情報処理装置2が起動すると、まずBIOS11Aが起動するS200。次に、正当性検証プログラム11Bが起動するS202。正当性検証プログラム11Bは、例えば冒頭部分がブートデバイス11上で実行され、残りの部分は、RAM142に展開された上で実行される。正当性検証プログラム11BをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。正当性検証プログラム11Bは、被検証データ12AをRAM141にコピーするように、DMAコントローラ15に指示するS204。続いて、正当性検証プログラム11Bは、正当性検証用署名鍵12DをRAM142にコピーするように、DMAコントローラ15に指示するS205。なお、S204とS205は、いずれが先に行われてもよい。DMAコントローラ15は、RAM141の予め定められた領域に被検証データ12Aをコピーする。また、RAM142の予め定められた領域に正当性検証用署名鍵12Dをコピーする。次に、正当性検証プログラム11Bは、秘密鍵11Cと正当性検証用署名鍵12Dを読み込みS206これらを組み合わせて暗号計算の設定等を行いS208、係る設定に従って被検証データ12Aに対するハッシュ値等を計算するように、暗号計算エンジン13に指示するS210。ここで、正当性検証用署名鍵12Dは、例えば300バイト未満の小さいデータであることが好ましく、この場合、補助記憶装置12から読み込むための時間は軽微である。正当性検証プログラム11Bは、ハッシュ値等の計算を指示すると、係る計算が終了したかどうかを定期的にチェックする処理を開始するS212。そして、暗号計算エンジン13によるハッシュ値等の計算が終了するとS214、暗号計算エンジン13の計算結果と比較データ11Dが一致したか否かを判定するS216。暗号計算エンジン13の計算結果と比較データ11Dが一致した場合は、情報処理装置2が通常作動状態に移行するS218。この際に、RAM141に展開された被検証データ12Aは、元々補助記憶装置12に格納されたものがそっくりコピーされたものであり、更に、正当性検証において他のプログラムやデータがRAM141に書き込まれないように制御されている。この結果、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cについては、データの再配置等を行うことなく、そのままRAM141上で実行することができる。これによって、情報処理装置2の起動時間を短縮することができる。また、RAM142に残存する正当性検証プログラムや作業領域のデータ等については、通常作動状態に移行した後は不要であるため、自由に上書きすることができる。このため、RAM142についてもデータの再配置等の処理は不要であり、情報処理装置2の起動時間を更に短縮することができる。一方、暗号計算エンジン13の計算結果と比較データ11Dが一致しなかった場合は、所定のエラー処理を実行するS220。エラー処理には、例えばリカバリプログラムリストを表示してユーザに選択させる等の処理が含まれ得るが、本発明の適用上、如何なる処理を行ってもよい。これによって、被検証データ12Aが改竄破壊等された可能性がある場合には通常作動状態に移行するのを妨げ、情報処理装置2が不正な動作をするのを防止することができる。[まとめ]以上説明した本実施例の情報処理装置2によれば、第1実施例の情報処理装置1と同様の効果を奏するのに加え、正当性検証用署名鍵12Dのデータサイズが比較的大きい場合に、更に迅速に正当性検証を行うことができる。なお、上記では正当性検証用署名鍵12DをRAM122にコピーすることのみ言及したが、秘密鍵11C、比較データ11Dについても、図5のS205のタイミング等でRAM122にコピーしてもよい。<第3実施例>以下、図面を参照し、本発明の第3実施例に係る情報処理装置3について説明する。[構成]図6は、本発明の第3実施例に係る情報処理装置3のシステム構成例である。情報処理装置3における第1実施例と共通する構成要素については、第1実施例と同一の符号を付し、それぞれの機能等についての説明は省略する。本実施例に係る情報処理装置3は、ブートデバイス11が並行実施プログラム11Eを格納している補助記憶装置12に格納しても構わない点で、第1実施例と相違する。並行実施プログラム11Eとは、例えばハードウエアデバイスの初期化等を行うためのプログラムであり、情報処理装置3の起動時に実行する必要があるものである。また、本実施例に係る暗号計算エンジン13は、割り込み通知を行う機能を有しており、計算が終了した際に、CPU10に対してソフトウエア上は正当性検証プログラム11Bに対して、計算が終了した旨を通知することができる図6における矢印6。これによって、CPU10は、暗号計算エンジン13に計算指示を行ってから暗号計算エンジン13が計算を終了するまでの間に、並行実施プログラム11Eを実行することができる。この結果、更に迅速に正当性検証を行うことができる。[正当性検証の手順等]図7は、情報処理装置3の起動時における処理の流れを示すフローチャートである。情報処理装置3が起動すると、まずBIOS11Aが起動するS300。次に、正当性検証プログラム11Bが起動するS302。正当性検証プログラム11Bは、例えば冒頭部分がブートデバイス11上で実行され、残りの部分は、RAM142に展開された上で実行される。正当性検証プログラム11BをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。正当性検証プログラム11Bは、被検証データ12AをRAM141にコピーするように、DMAコントローラ15に指示するS304。DMAコントローラ15は、RAM141の予め定められた領域に被検証データ12Aをコピーする。次に、正当性検証プログラム11Bは、秘密鍵11Cと正当性検証用署名鍵12Dを読み込みS306これらを組み合わせて暗号計算の設定等を行いS308、係る設定に従って被検証データ12Aに対するハッシュ値等を計算するように、暗号計算エンジン13に指示するS310。ここで、正当性検証用署名鍵12Dは、例えば300バイト未満の小さいデータであることが好ましく、この場合、補助記憶装置12から読み込むための時間は軽微である。上記のように暗号計算エンジン13に指示すると、CPU10は、並行実施プログラム11Eを実行するS312。並行実施プログラムの開始トリガは、正当性検証プログラム11Bに記述されていてもよいし、より上位のプログラムに記述されてもよい。また、並行実施プログラム11EをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。そして、暗号計算エンジン13によるハッシュ値等の計算が終了した旨の通知を受けるとS314、暗号計算エンジン13の計算結果と比較データ11Dが一致したか否かを判定するS316。暗号計算エンジン13の計算結果と比較データ11Dが一致した場合は、情報処理装置3が通常作動状態に移行するS318。この際に、RAM141に展開された被検証データ12Aは、元々補助記憶装置12に格納されたものがそっくりコピーされたものであり、更に、正当性検証において他のプログラムやデータがRAM141に書き込まれないように制御されている。この結果、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cについては、データの再配置等を行うことなく、そのままRAM141上で実行することができる。これによって、情報処理装置3の起動時間を短縮することができる。また、RAM142に残存する正当性検証プログラムや作業領域のデータ等については、通常作動状態に移行した後は不要であるため、自由に上書きすることができる。このため、RAM142についてもデータの再配置等の処理は不要であり、情報処理装置3の起動時間を更に短縮することができる。一方、暗号計算エンジン13の計算結果と比較データ11Dが一致しなかった場合は、所定のエラー処理を実行するS320。エラー処理には、例えばリカバリプログラムリストを表示してユーザに選択させる等の処理が含まれ得るが、本発明の適用上、如何なる処理を行ってもよい。これによって、被検証データ12Aが改竄破壊等された可能性がある場合には通常作動状態に移行するのを妨げ、情報処理装置3が不正な動作をするのを防止することができる。[まとめ]以上説明した本実施例の情報処理装置3によれば、第1実施例の情報処理装置1と同様の効果を奏するのに加え、暗号計算エンジン13に計算指示を行ってから暗号計算エンジン13が計算を終了するまでの間に、並行実施プログラム11Eを実行可能であるため、更に迅速に正当性検証を行うことができる。<第4実施例>以下、図面を参照し、本発明の第4実施例に係る情報処理装置4について説明する。[構成]図8は、本発明の第4実施例に係る情報処理装置4のシステム構成例である。情報処理装置4における第1実施例と共通する構成要素については、第1実施例と同一の符号を付し、それぞれの機能等についての説明は省略する。本実施例に係る情報処理装置4は、RAM143を備える点で、第1実施例と相違する。また、本実施例に係る情報処理装置4は、補助記憶装置12が復号用署名鍵12Eを格納している点で、第1実施例と相違する。補助記憶装置12に格納された被検証データ12Aは、復号用署名鍵12Eを用いて復号可能な態様で暗号化されている以下、が、暗号化されていることを示すものとする。RAM143には、暗号化された被検証データ12Aがコピーされる図8における矢印7。暗号化された被検証データ12Aの復号は、例えば暗号計算エンジン13によって行われ、復号された被検証データ12AがRAM141に格納される図8における矢印8。これによって、悪意のあるソフトウエア等による被検証データ12Aの改竄破壊が困難となり、情報処理装置4のセキュリティ性を高めることができる。[正当性検証の手順等]図9は、情報処理装置4の起動時における処理の流れを示すフローチャートである。情報処理装置4が起動すると、まずBIOS11Aが起動するS400。次に、正当性検証プログラム11Bが起動するS402。正当性検証プログラム11Bは、例えば冒頭部分がブートデバイス11上で実行され、残りの部分は、RAM142に展開された上で実行される。正当性検証プログラム11BをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。正当性検証プログラム11Bは、被検証データ12AをRAM143にコピーするように、DMAコントローラ15に指示するS404。DMAコントローラ15は、RAM143の予め定められた領域に被検証データ12Aをコピーする。続いて、正当性検証プログラム11Bは、復号用署名鍵12Eを用いて被検証データ12Aを復号するように、暗号計算エンジン13に指示するS405。暗号計算エンジン13により復号された被検証データ12Aは、RAM141に格納される。次に、正当性検証プログラム11Bは、秘密鍵11Cと正当性検証用署名鍵12Dを読み込みS406これらを組み合わせて暗号計算の設定等を行いS408、係る設定に従って被検証データ12Aに対するハッシュ値等を計算するように、暗号計算エンジン13に指示するS410。ここで、正当性検証用署名鍵12Dは、例えば300バイト未満の小さいデータであることが好ましく、この場合、補助記憶装置12から読み込むための時間は軽微である。正当性検証プログラム11Bは、ハッシュ値等の計算を指示すると、係る計算が終了したかどうかを定期的にチェックする処理を開始するS412。そして、暗号計算エンジン13によるハッシュ値等の計算が終了するとS414、暗号計算エンジン13の計算結果と比較データ11Dが一致したか否かを判定するS416。暗号計算エンジン13の計算結果と比較データ11Dが一致した場合は、情報処理装置4が通常作動状態に移行するS418。この際に、RAM141に展開された被検証データ12Aは、元々補助記憶装置12に格納されたものがそっくりコピーされた上で復号されたものであり、更に、正当性検証において他のプログラムやデータがRAM141に書き込まれないように制御されている。この結果、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cについては、データの再配置等を行うことなく、そのままRAM141上で実行することができる。これによって、情報処理装置4の起動時間を短縮することができる。また、RAM142に残存する正当性検証プログラムや作業領域のデータ等については、通常作動状態に移行した後は不要であるため、自由に上書きすることができる。このため、RAM142についてもデータの再配置等の処理は不要であり、情報処理装置4の起動時間を更に短縮することができる。一方、暗号計算エンジン13の計算結果と比較データ11Dが一致しなかった場合は、所定のエラー処理を実行するS420。エラー処理には、例えばリカバリプログラムリストを表示してユーザに選択させる等の処理が含まれ得るが、本発明の適用上、如何なる処理を行ってもよい。これによって、被検証データ12Aが改竄破壊等された可能性がある場合には通常作動状態に移行するのを妨げ、情報処理装置4が不正な動作をするのを防止することができる。[まとめ]以上説明した本実施例の情報処理装置4によれば、第1実施例の情報処理装置1と同様の効果を奏するのに加え、補助記憶装置12に格納された被検証データ12Aが暗号化されていることにより、情報処理装置4としてのセキュリティ性を高めることができる。なお、本実施例の情報処理装置4において、RAM142とRAM143は同一のRAMにおける分離された領域であっても構わない。<第5実施例>以下、図面を参照し、本発明の第5実施例に係る情報処理装置5について説明する。[構成]図10は、本発明の第5実施例に係る情報処理装置5のシステム構成例である。情報処理装置5における第4実施例と共通する構成要素については、第4実施例と同一の符号を付し、それぞれの機能等についての説明は省略する。本実施例に係る情報処理装置5は、RAM144を備える点で、第4実施例と相違する。また、本実施例に係る情報処理装置5は、補助記憶装置12に格納された被検証データ12Aに加えて、正当性検証用署名鍵12Dが、復号用署名鍵12Eを用いて復号可能な態様で暗号化されている。RAM144には、暗号化された正当性検証用署名鍵12Dがコピーされる図8における矢印9。暗号化された正当性検証用署名鍵12Dの復号は、例えば暗号計算エンジン13によって行われ、復号された正当性検証用署名鍵12DがRAM144の上記コピーされた領域とは別の領域に格納される図8における矢印10。これによって、悪意のあるソフトウエア等による被検証データ12Aの改竄破壊が困難となり、情報処理装置5のセキュリティ性を更に高めることができる。[正当性検証の手順等]図11は、情報処理装置5の起動時における処理の流れを示すフローチャートである。情報処理装置5が起動すると、まずBIOS11Aが起動するS500。次に、正当性検証プログラム11Bが起動するS502。正当性検証プログラム11Bは、例えば冒頭部分がブートデバイス11上で実行され、残りの部分は、RAM142に展開された上で実行される。正当性検証プログラム11BをRAM142に展開する処理は、DMAコントローラ15によって行われてもよいし、CPU10によって行われてもよい。正当性検証プログラム11Bは、被検証データ12AをRAM143にコピーするように、DMAコントローラ15に指示しS504_1、更に、正当性検証用署名鍵12DをRAM144にコピーするように、DMAコントローラ15に指示するS504_2。DMAコントローラ15は、RAM143の予め定められた領域に被検証データ12Aをコピーし、RAM144の予め定められた領域に正当性検証用署名鍵12Dをコピーする。続いて、正当性検証プログラム11Bは、復号用署名鍵12Eを用いて被検証データ12A及び正当性検証用署名鍵12Dを復号するように、暗号計算エンジン13に指示するS505。暗号計算エンジン13により復号された被検証データ12Aは、RAM141に格納され、暗号計算エンジン13により復号された正当性検証用署名鍵12Dは、RAM142に格納される。次に、正当性検証プログラム11Bは、秘密鍵11Cと正当性検証用署名鍵12Dを読み込みS506これらを組み合わせて暗号計算の設定等を行いS508、係る設定に従って被検証データ12Aに対するハッシュ値等を計算するように、暗号計算エンジン13に指示するS510。ここで、正当性検証用署名鍵12Dは、例えば300バイト未満の小さいデータであることが好ましく、この場合、補助記憶装置12から読み込むための時間は軽微である。正当性検証プログラム11Bは、ハッシュ値等の計算を指示すると、係る計算が終了したかどうかを定期的にチェックする処理を開始するS512。そして、暗号計算エンジン13によるハッシュ値等の計算が終了するとS514、暗号計算エンジン13の計算結果と比較データ11Dが一致したか否かを判定するS516。暗号計算エンジン13の計算結果と比較データ11Dが一致した場合は、情報処理装置5が通常作動状態に移行するS518。この際に、RAM141に展開された被検証データ12Aは、元々補助記憶装置12に格納されたものがそっくりコピーされた上で復号されたものであり、更に、正当性検証において他のプログラムやデータがRAM141に書き込まれないように制御されている。この結果、被検証データ12Aに含まれるオペレーティングシステム12Bやアプリケーションプログラム12Cについては、データの再配置等を行うことなく、そのままRAM141上で実行することができる。これによって、情報処理装置5の起動時間を短縮することができる。また、RAM142に残存する正当性検証プログラムや作業領域のデータ等については、通常作動状態に移行した後は不要であるため、自由に上書きすることができる。このため、RAM142についてもデータの再配置等の処理は不要であり、情報処理装置5の起動時間を更に短縮することができる。一方、暗号計算エンジン13の計算結果と比較データ11Dが一致しなかった場合は、所定のエラー処理を実行するS420。エラー処理には、例えばリカバリプログラムリストを表示してユーザに選択させる等の処理が含まれ得るが、本発明の適用上、如何なる処理を行ってもよい。これによって、被検証データ12Aが改竄破壊等された可能性がある場合には通常作動状態に移行するのを妨げ、情報処理装置5が不正な動作をするのを防止することができる。[まとめ]以上説明した本実施例の情報処理装置5によれば、第1実施例の情報処理装置1と同様の効果を奏するのに加え、補助記憶装置12に格納された被検証データ12Aや正当性検証用署名鍵12Dが暗号化されていることにより、情報処理装置5としてのセキュリティ性を高めることができる。なお、本実施例の情報処理装置5において、RAM142、143、144は同一のRAMにおける分離された領域であっても構わない。<変形等>以上、本発明を実施するための最良の形態について実施例を用いて説明したが、本発明はこうした実施例に何等限定されるものではなく、本発明の要旨を逸脱しない範囲内において種々の変形及び置換を加えることができる。例えば、各実施例の処理構成は排他的なものではなく、例えば第4実施例の情報処理装置4が、第3実施例のように、暗号計算エンジン13から割り込み通知を受ける態様であってもよい。このように、各実施例の処理構成は、適宜組み合わせることが可能である。また、RAM141とRAM142は、異なる入出力ポートを有する別体のRAMであるものとしたが、複数の入出力ポートを有することにより、分離した領域への並行アクセスが可能なRAMであっても構わない。また、第3実施例を除き、暗号計算エンジン13を省略し、CPU10が暗号計算を実行する態様であってもよい。また、DMAコントローラ15を省略し、CPU10がアキュムレータ等を介してデータのコピー処理を実行する態様であってもよい。