JP2023026017A - 起動検証プログラム、情報処理装置および起動検証方法 - Google Patents

Abstract

【課題】メモリサイズを超えるリセットプログラムに対して、セキュリティ保証をしたうえで実行する。【解決手段】ＲＣＵ１は、ＦＭＥＭ１２０から、第１のリセットプログラム４１の第１ハッシュ値と第２のリセットプログラム４２の第２ハッシュ値と第１のリセットプログラム４１とをＳＲＡＭ３０ａに転送し、ハッシュ関数２４を用いて第１のリセットプログラム４１のハッシュ値を計算し、計算して得られたハッシュ値と第１ハッシュ値とを比較し、比較結果が一致すれば、第１のリセットプログラム４１を実行する。ＲＣＵ１は、ＦＭＥＭ１２０から第２のリセットプログラム４２を、第１のリセットプログラム４１に上書きするようにＳＲＡＭ３０ａに読み込み、ハッシュ関数２４を用いて第２のリセットプログラム４２のハッシュ値を計算し、計算して得られたハッシュ値と第２ハッシュ値とを比較し、比較結果が一致すれば、第２のリセットプログラム４２を実行する。【選択図】図６

Description

本発明は、起動検証プログラムなどに関する。

近年、ＩＯＴ（Internet Of Things）の普及により、ＩＯＴ機器として組込み機器のネットワーク接続が増えている。このため、ファイアウォールなどのネットワークセキュリティの対策の他、ＩＯＴ機器内の組込みソフトウェアを保護する必要がある。すなわち、ＩＯＴ機器内の組込みソフトウェアをブートする前には、当該組込みソフトウェアが改竄されていないことを検証する必要がある。

検証手段として、例えば、電子署名が挙げられる。電子署名は、秘密鍵を使ってメッセージから署名データを作成し、秘密鍵と対になる公開鍵を使って署名データとメッセージの妥当性を検証する。秘密鍵を持つ者が各プログラムのハッシュ値に対して署名データを作成し、署名検証者が署名データの署名確認を行うことで、各プログラムのハッシュ値が改竄されていないことが確認される。さらに、各プログラムのハッシュ値がプログラムごとに計算して得られるハッシュ値と一致することで、各プログラムが改竄されていないことが確認される。

ここで、ＳｏＣ（System on a Chip）の初期化を行う専用のハードウェアとして組込み機器であるＲＣＵ（Reset Control Unit）がある。ＲＣＵは、ＯＴＰ（One-Time-Programmable）メモリとフラッシュメモリ（flash memory）とＳＲＡＭ（Static Random Access Memory）を含んで構成される。組込みソフトウェアとしての初期化プログラムは、ＯＴＰメモリとフラッシュメモリに分かれて書き込まれている。ＯＴＰメモリは、書き換え不可能なメモリであるが、フラッシュメモリは、書き換え可能なメモリである。フラッシュメモリに格納された初期化プログラムは、第三者に改竄される可能性があるため、改竄されるおそれの少ないＳＲＡＭにコピーされ、各プログラムのハッシュ値が改竄されていないことが確認されてから実行される。

特開昭６４－０５９５４８号公報 特開２０１５－２２５２１号公報

しかしながら、メモリの搭載量より大きい初期化プログラムに対して、セキュリティの保証をしたうえで実行することが難しいという問題がある。

かかる問題について説明する。初期化プログラムは、ＳｏＣを初期化するための手順が記載されているプログラムである。ＳｏＣのハードウェアが複雑化、および高機能化し、ＳｏＣの初期化のための手順も増加しているため、初期化プログラムは改竄されるおそれの少ないＳＲＡＭの容量を超える事態が発生している。したがって、初期化プログラムに対して、セキュリティの保証をしたうえで実行することが難しい。

本発明は、１つの側面では、メモリサイズを超える初期化プログラムに対して、セキュリティ保証をしたうえで実行することを目的とする。

１つの態様では、起動検証プログラムは、プロセッサを起動するために必要なプログラムを検証する起動検証プログラムであって、書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送し、外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送し、前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、比較結果が一致すれば、前記第１プログラムを実行し、前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込み、前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、比較結果が一致すれば、前記第２プログラムを実行する、処理をコンピュータに実行させる。

１実施態様によれば、第２メモリのサイズを超えるプログラムに対して、改竄される可能性がある第１メモリ上のデータのセキュリティ保証をしたうえで実行できる。

図１は、実施例に係るＲＣＵの機能構成の一例を示すブロック図である。 図２は、実施例に係るハードウェア構成例を示す図である。 図３は、電子署名の一例を示す図である。 図４は、実施例に係る起動検証処理のフローチャートの一例を示す図である。 図５は、ＳＲＡＭに転送されるデータの遷移を示す図である。 図６は、実施例に係る起動検証処理のシーケンスの一例を示す図である。

以下に、本願の開示する起動検証プログラム、情報処理装置および起動検証方法の実施例を図面に基づいて詳細に説明する。なお、本発明は、実施例により限定されるものではない。

［ＲＣＵの機能構成］
図１は、実施例に係るＲＣＵの機能構成の一例を示すブロック図である。図１に示すＲＣＵ１は、ＳｏＣの初期化を行う専用のハードウェアであり、後述するサーバに組み込む組込み機器である。ＲＣＵ１は、制御部１０、第１の記憶部２０および第２の記憶部３０を有する。また、ＲＣＵ１は、後述するサーバに搭載される第３の記憶部４０と接続される。ＲＣＵ１は、制御部１０と、第１の記憶部２０と、第２の記憶部３０と、第３の記憶部４０とを用いて、ＳｏＣを起動するために必要なリセットプログラムであってＳｏＣの初期化を行うリセットプログラムに対してセキュリティ保証をしたうえで実行する。実施例では、リセットプログラムが、実行する際に展開される第２の記憶部３０の記憶容量より大きい場合であるとする。リセットプログラムは、第２の記憶部３０の記憶容量に合わせて予め２つに分割されるものとする。なお、ＲＣＵ１は、情報処理装置の一例である。第１の記憶部２０は、第１メモリの一例である。第２の記憶部３０は、第２メモリの一例である。第３の記憶部４０は、第３メモリの一例である。

ここで、ＲＣＵ１を含むサーバのハードウェアの構成例を、図２を参照して説明する。図２は、実施例に係るハードウェア構成例を示す図である。図２に示すように、サーバ１００は、ＣＰＵ（Central Processing Unit）１１０、ＦＭＥＭ（flash memory）１２０、通信装置１４０および主記憶部１３０を有する。通信装置１４０は、ネットワークインタフェースカード等であり、他の装置との通信を行う。主記憶部１３０は、サーバ１００のメインメモリである。ＦＭＥＭ１２０は、図１に示した機能を動作させるプログラムやＤＢを記憶する。ＦＭＥＭ１２０は、書き換え可能なメモリであり、図１に示す第３の記憶部４０に対応する。なお、ＦＭＥＭ１２０は、ＳＳＤ（Solid State Drive）としても良いし、ＨＤＤ（Hard Disk Drive）であっても良い。

ＣＰＵ１１０は、ＲＣＵ１とＳｏＣ２とを有する。ＲＣＵ１は、ＳｏＣ２の初期化を行う専用のハードウェアである。ＲＣＵ１は、ＣＰＵ１０ａ、ＯＴＰ２０ａ、ＳＲＡＭ３０ａおよびＩ２Ｃコントローラ５０ａを有する。ＣＰＵ１０ａは、ＯＴＰ２０ａ、ＳＲＡＭ３０ａ、Ｉ２Ｃコントローラ５０ａとバス１５０で接続されるとともに、ＦＭＥＭ１２０、主記憶部１３０および通信装置１４０ともバス１５０で接続される。ＯＴＰ２０ａは、書き換えできないメモリであり、図１に示す第１の記憶部２０に対応する。ＳＲＡＭ３０ａは、書き換え可能なメモリであり、図１で示す第２の記憶部３０に対応する。

ＣＰＵ１０ａは、図１に示した機能を動作させるプログラムを読み出して、ＳＲＡＭ３０ａに展開し、プロセスとして実行する。例えば、書き換える可能性があるプログラム（実施例では、リセットプログラム）は、ＦＭＥＭ１２０に格納され、バージョンアップがあった場合、格納されたプログラムが更新される。ＦＭＥＭ１２０は、第三者に改竄される可能性があるため、リセットプログラムが実行される前に、リセットプログラムが改竄されていないことを確認する必要がある。このため、ＣＰＵ１０ａは、リセットプログラムを、改竄される可能性があるＦＭＥＭ１２０から改竄されるおそれが少ないＳＲＡＭ３０ａにコピーして、改竄されていないことを検証してから実行する起動検証処理のプロセスを実行する。

図１に戻って、第１の記憶部２０は、書き換えできない記憶部であり、図２に示すＯＴＰ２０ａに対応する。第１の記憶部２０は、メインプログラム２１、ブートプログラム２２、電子署名検証プログラム２３およびハッシュ関数２４を有する。

メインプログラム２１は、起動検証プログラムの一例である。すなわち、メインプログラム２１は、ＳｏＣ２の初期化を行うリセットプログラムであって予め分割されたリセットプログラムを順番に、第３の記憶部４０から第２の記憶部３０にコピーして、改竄されていないことを検証してから実行する。

ブートプログラム２２は、ＲＣＵ１を立ち上げるために必要な処理を実行する。例えば、ブートプログラム２２は、第１の記憶部２０のスタックを初期化する。

電子署名検証プログラム２３は、電子署名を検証するプログラムである。

ハッシュ関数２４は、ハッシュ値を算出する関数である。ハッシュ関数２４には、一例として、２５６ビットのハッシュ値を算出するＳＨＡ２５６（Secure Hash Algorithm ２５６－ｂｉｔ）が挙げられる。

第２の記憶部３０は、改竄されるおそれの少ない記憶部であり、第１の記憶部２０や第３の記憶部４０より実行速度（レイテンシー）が速い記憶部である。第２の記憶部３０は、図２に示すＳＲＡＭ３０ａに対応する。

第３の記憶部４０は、第三者に改竄される可能性がある記憶部であり、図２に示すＦＭＥＭ１２０に対応する。第３の記憶部４０は、第１のリセットプログラム４１、第２のリセットプログラム４２および電子署名４３を有する。

第１のリセットプログラム４１は、ＳｏＣの初期化を行うリセットプログラムを第２の記憶部３０の記憶容量に合わせて分割されたリセットプログラムである。すなわち、第１のリセットプログラム４１は、第２の記憶部３０の記憶容量を超えないように、リセットプログラムを分割されたプログラムである。第１のリセットプログラム４１には、初期化ステップが例えば１０段階ある場合には、このうち７段階の初期化ステップが実行されるようにコーディングされている。

第２のリセットプログラム４２は、ＳｏＣの初期化を行うリセットプログラムを第２の記憶部３０の記憶容量に合わせて分割されたプログラムであって第１のリセットプログラム４１とは異なる残りのリセットプログラムである。すなわち、第２のリセットプログラム４２は、第２の記憶部３０の記憶容量を超えないように、リセットプログラムを分割されたプログラムである。第２のリセットプログラム４２には、初期化ステップが例えば１０段階ある場合には、残りの３段階の初期化ステップが実行されるようにコーディングされている。

電子署名４３は、各リセットプログラム４１，４２のハッシュ値を纏めて計算したハッシュ値をメッセージとして秘密鍵を用いて暗号化したものである。電子署名４３は、電子署名検証プログラム２３を用いて検証される。ここで、電子署名４３の一例を、図３を参照して説明する。

図３は、電子署名の一例を示す図である。図３に示すように、電子署名４３は、第１のリセットプログラムのハッシュ値と、第２のリセットプログラムのハッシュ値と、電子署名データとを有する。第１のリセットプログラムのハッシュ値と、第２のリセットプログラムのハッシュ値とは、電子署名データが生成される際に、ハッシュ関数２４を用いて計算される。図３では、ハッシュ関数２４がＳＨＡ２５６である場合とする。すると、第１のリセットプログラムのハッシュ値および第２のリセットプログラムのハッシュ値は、それぞれ３２バイト（２５６ビット）の値である。電子署名データは、メッセージとしての各リセットプログラムのハッシュ値を纏めて計算したハッシュ値を暗号化したものである。電子署名検証プログラム２３は、電子署名データを公開鍵で復号化し、得られたメッセージとしてのハッシュ値と、計算して得られたメッセージとしての各プログラムのハッシュ値を纏めたハッシュ値とを比較して、電子署名４３が正しいことを検証する。言い換えれば、電子署名検証プログラム２３は、第１のリセットプログラムのハッシュ値と、第２のリセットプログラムのハッシュ値とが正しいことを検証する。使用される公開鍵は、第１の記憶部２０に格納されているので、改竄されることはない。なお、暗号には、例えば、ＲＳＡ暗号または楕円曲線暗号が挙げられる。実施例におけるＲＣＵ１では、例えば、演算数が少なくてサイズも小さいＲＳＡ暗号が適用されても良い。

図１に戻って、制御部１０は、ＲＣＵ１全体を司る処理部であり、ブート処理部１１、電子署名検証部１２、第１の検証実行部１３および第２の検証実行部１４を有する。なお、第１の検証実行部１３は、第１の転送部、第２の転送部および第１の検証実行部の一例である。第２の検証実行部１４は、第３の転送部および第２の検証実行部の一例である。

ブート処理部１１は、メインプログラム２１に基づいて、ブートプログラム２２を実行する。ブート処理部１１は、ブートプログラム２２の実行により、ＲＣＵ１を立ち上げるための必要な処理を実行する。例えば、ブート処理部１１は、第２の記憶部３０のスタックを初期化する。

電子署名検証部１２は、メインプログラム２１に基づいて、電子署名検証プログラム２３を実行する。例えば、電子署名検証部１２は、メインプログラム２１に基づいて、第１の記憶部２０に記憶された電子署名検証プログラム２３およびハッシュ関数２４、並びに第３の記憶部４０に記憶された電子署名４３を第２の記憶部３０に転送する。そして、電子署名検証部１２は、第２の記憶部に転送された電子署名検証プログラム２３を実行する。電子署名検証部１２は、電子署名検証プログラム２３の実行により、電子署名４３を検証する。

一例として、電子署名検証部１２は、電子署名４３に含まれる電子署名データを公開鍵で復号化する。電子署名検証部１２は、復号化して得られたメッセージとしてのハッシュ値と、電子署名４３に含まれる第１のリセットプログラムのハッシュ値と第２のリセットプログラムのハッシュ値とを纏めたハッシュ値とを比較する。そして、電子署名検証部１２は、比較結果が一致したか否かにより、電子署名４３が正しいか否かを検証する。言い換えれば、電子署名検証部１２は、電子署名４３に含まれる第１のリセットプログラムのハッシュ値と、第２のリセットプログラムのハッシュ値とが正しいことを検証する。そして、電子署名検証部１２は、電子署名４３が正しいことが検証された場合には、電子署名４３に含まれる第１のリセットプログラムのハッシュ値と第２のリセットプログラムのハッシュ値とを第２の記憶部３０のスタックに保存する。これにより、電子署名検証部１２は、電子署名４３を検証することで、電子署名４３に含まれる第１のリセットプログラム４１のハッシュ値と第２のリセットプログラム４２のハッシュ値とが正しいことを検証できる。

第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１を検証する。例えば、第１の検証実行部１３は、メインプログラム２１に基づいて、第３の記憶部４０に記憶された第１のリセットプログラム４１を第２の記憶部３０に転送する。このとき、第１の検証実行部１３は、第３の記憶部４０から第１のリセットプログラム４１を電子署名検証プログラム２３に上書きするように読み込む。そして、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１のハッシュ値を、ハッシュ関数２４を用いて計算する。そして、第１の検証実行部１３は、計算したハッシュ値と、第２の記憶部３０のスタックに保存された第１のリセットプログラムのハッシュ値とを比較する。第１の検証実行部１３は、比較結果が一致したか否かにより、第１のリセットプログラム４１が正しいか否かを検証する。

また、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１を実行する。例えば、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１が正しいことが検証できれば、第１のリセットプログラム４１を実行する。これにより、第１の検証実行部１３は、第２の記憶部３０を超えるリセットプログラムに対して、改竄される可能性がある第３の記憶部４０上の第１のリセットプログラム４１のセキュリティ保証をしたうえで実行できる。また、第１の検証実行部１３は、実行速度が速い第２の記憶部３０で第１のリセットプログラム４１の検証および実行を行うことで、検証実行の実行時間を上げることができる。

第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２を検証する。例えば、第２の検証実行部１４は、メインプログラム２１に基づいて、第３の記憶部４０に記憶された第２のリセットプログラム４２を第２の記憶部３０に転送する。このとき、第２の検証実行部１４は、第３の記憶部４０から第２のリセットプログラム４２を第１のリセットプログラム４１に上書きするように読み込む。そして、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２のハッシュ値を、ハッシュ関数２４を用いて計算する。そして、第２の検証実行部１４は、計算したハッシュ値と、第２の記憶部３０のスタックに保存された第２のリセットプログラムのハッシュ値とを比較する。第２の検証実行部１４は、比較結果が一致したか否かにより、第２のリセットプログラム４２が正しいか否かを検証する。

また、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２を実行する。例えば、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２が正しいことが検証できれば、第２のリセットプログラム４２を実行する。これにより、第２の検証実行部１４は、第２の記憶部３０を超えるリセットプログラムに対して、改竄される可能性がある第３の記憶部４０上の第２のリセットプログラム４２のセキュリティ保証をしたうえで実行できる。また、第２の検証実行部１４は、実行速度が速い第２の記憶部３０で第２のリセットプログラム４２の検証および実行を行うことで、検証実行の実行時間を上げることができる。

［起動検証処理のフローチャート］
ここで、実施例に係る起動検証処理のフローチャートを、図４を参照して説明する。図４は、実施例に係る起動検証処理のフローチャートの一例を示す図である。図４に示すフローチャートでは、第１の記憶部２０をＯＴＰ２０ａ、第２の記憶部３０をＳＲＡＭ３０ａ、第３の記憶部４０をＦＭＥＭ１２０として説明する。また、図４に示すフローチャートを説明しながら、適宜、図５に示す、ＳＲＡＭ３０ａ上のデータの遷移について説明する。

図５の第１段目には、メインプログラム２１の実行要求前のＯＴＰ２０ａ（第１の記憶部２０）、ＳＲＡＭ３０ａ（第２の記憶部３０）、ＦＭＥＭ１２０（第３の記憶部４０）が表わされている。ＯＴＰ２０ａには、ブートプログラム２２、電子署名検証プログラム２３、ハッシュ関数２４が記憶されている。ＦＭＥＭ１２０には、第１のリセットプログラム４１、第２のリセットプログラム４２および電子署名４３が記憶されている。ＳＲＡＭ３０ａには、何も記憶されていない空の状態である。

このような状況の下、ＯＴＰ２０ａでは、メインプログラム２１の実行要求があると、ブート処理部１１は、メインプログラム２１に基づいて、ブート処理を実行する（ステップＳ１１）。そして、電子署名検証部１２は、メインプログラム２１に基づいて、電子署名検証プログラム２３とハッシュ関数２４をＯＴＰ２０ａからＳＲＡＭ３０ａへ転送する（ステップＳ１２）。加えて、電子署名検証部１２は、メインプログラム２１に基づいて、電子署名４３をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する。図５の第２段目では、ＳＲＡＭ３０ａには、ブート処理によってスタックが初期化されている。また、電子署名検証プログラム２３、電子署名４３およびハッシュ関数２４が記憶されている。

次に、電子署名検証部１２は、メインプログラム２１に基づいて、ＳＲＡＭ３０ａにおいて、電子署名検証プログラム２３を用いて電子署名４３を検証する（ステップＳ１３）。例えば、電子署名検証プログラム２３は、電子署名４３に含まれる電子署名データを公開鍵で復号化する。電子署名検証プログラム２３は、復号化して得られたメッセージとしてのハッシュ値と、電子署名４３に含まれる第１のリセットプログラムのハッシュ値と第２のリセットプログラムのハッシュ値とを纏めたハッシュ値とを比較する。そして、電子署名検証プログラム２３は、比較結果が一致したか否かにより、電子署名４３を検証する。そして、電子署名検証プログラム２３は、電子署名４３が正しいことが検証された場合には、電子署名４３に含まれる第１のリセットプログラムのハッシュ値と第２のリセットプログラムのハッシュ値とをＳＲＡＭ３０ａのスタックに保存する。

電子署名４３が正しいことを検証した後、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する（ステップＳ１４）。第１の検証実行部１３は、第１のリセットプログラム４１をＳＲＡＭ３０ａへ書き込む際、電子署名検証プログラム２３上に上書きして入れ換えする。図５の第３段目では、ＳＲＡＭ３０ａには、電子署名検証プログラム２３に入れ換わって、第１のリセットプログラム４１が記憶されている。

そして、第１の検証実行部１３は、メインプログラム２１に基づいて、ＳＲＡＭ３０ａにおいて、ハッシュ関数２４を用いて、第１のリセットプログラム４１のハッシュ値を計算する（ステップＳ１５）。そして、第１の検証実行部１３は、メインプログラム２１に基づいて、計算したハッシュ値と電子署名４３から得られたハッシュ値（スタックに保存されたハッシュ値）を比較し、合っていることを確認する（ステップＳ１６）。

合っていることを確認した後、第１の検証実行部１３は、メインプログラム２１に基づいて、ＳＲＡＭ３０ａにおいて、第１のリセットプログラム４１を実行する（ステップＳ１７）。

実行後、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する（ステップＳ１８）。第２の検証実行部１４は、第２のリセットプログラム４２をＳＲＡＭ３０ａへ書き込む際、第１のリセットプログラム４１上に上書きして入れ換えする。図５の第４段目では、ＳＲＡＭ３０ａには、第１のリセットプログラム４１に入れ換わって、第２のリセットプログラム４２が記憶されている。

そして、第２の検証実行部１４は、メインプログラム２１に基づいて、ＳＲＡＭ３０ａにおいて、ハッシュ関数２４を用いて、第２のリセットプログラム４２のハッシュ値を計算する（ステップＳ１９）。そして、第２の検証実行部１４は、メインプログラム２１に基づいて、計算したハッシュ値と電子署名４３から得られたハッシュ値（スタックに保存されたハッシュ値）を比較し、合っていることを確認する（ステップＳ２０）。

合っていることを確認した後、第２の検証実行部１４は、メインプログラム２１に基づいて、ＳＲＡＭ３０ａにおいて、第２のリセットプログラム４２を実行する（ステップＳ２１）。そして、起動検証処理が終了した後に、制御部１０は、例えばメインプログラム２１に基づいて、ＳｏＣ２を起動する。

［起動検証処理のシーケンス］
ここで、実施例に係る起動検証処理のシーケンスを、図６を参照して説明する。図６は、実施例に係る起動検証処理のシーケンスの一例を示す図である。図６に示すシーケンスでは、第１の記憶部２０をＯＴＰ２０ａ、第２の記憶部３０をＳＲＡＭ３０ａ、第３の記憶部４０をＦＭＥＭ１２０として説明する。なお、図６では、白抜き矢印は、データの遷移を意味するものとする。

ＯＴＰ２０ａでは、ブート処理部１１は、メインプログラム２１に基づいて、ブート処理を実行する（Ｓ３１）。そして、電子署名検証部１２は、メインプログラム２１に基づいて、電子署名検証プログラム２３をＯＴＰ２０ａからＳＲＡＭ３０ａへ転送する（Ｓ３２）。そして、電子署名検証部１２は、メインプログラム２１に基づいて、ハッシュ関数２４をＯＴＰ２０ａからＳＲＡＭ３０ａへ転送する（Ｓ３３）。加えて、電子署名検証部１２は、メインプログラム２１に基づいて、電子署名４３をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する（Ｓ３４）。

そして、電子署名検証部１２は、メインプログラム２１に基づいて、電子署名検証プログラム２３を呼び出す（Ｓ３５）。電子署名検証部１２は、ＳＲＡＭ３０ａにおいて、電子署名検証プログラム２３を実行する（Ｓ３６）。電子署名検証プログラム２３は、電子署名４３を検証する。そして、電子署名検証プログラム２３は、電子署名４３が正しいことが検証された場合には、電子署名４３に含まれる、第１のリセットプログラムのハッシュ値および第２のリセットプログラムのハッシュ値をＳＲＡＭ３０ａのスタックに保存する。

電子署名４３が正しいことを検証した後、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する（Ｓ３７）。そして、第１の検証実行部１３は、メインプログラム２１に基づいて、ハッシュ関数２４を呼び出す（Ｓ３７Ａ）。第１の検証実行部１３は、ＳＲＡＭ３０ａにおいて、ハッシュ関数２４を実行して、第１のリセットプログラム４１のハッシュ値を算出する（Ｓ３８）。

そして、第１の検証実行部１３は、メインプログラム２１に基づいて、ハッシュ値を用いて第１のリセットプログラム４１を検証する（Ｓ３９）。例えば、第１の検証実行部１３は、計算したハッシュ値と電子署名４３から得られたハッシュ値（スタックに保存されたハッシュ値）を比較し、合っていることを確認する。

合っていることを確認した後、第１の検証実行部１３は、メインプログラム２１に基づいて、第１のリセットプログラム４１を呼び出す（Ｓ４０）。第１の検証実行部１３は、ＳＲＡＭ３０ａにおいて、第１のリセットプログラム４１を実行する（Ｓ４１）。

実行後、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２をＦＭＥＭ１２０からＳＲＡＭ３０ａへ転送する（Ｓ４２）。そして、第２の検証実行部１４は、メインプログラム２１に基づいて、ハッシュ関数２４を呼び出す（Ｓ４２Ａ）。第２の検証実行部１４は、ＳＲＡＭ３０ａにおいて、ハッシュ関数２４を実行して、第２のリセットプログラム４２のハッシュ値を算出する（Ｓ４３）。

そして、第２の検証実行部１４は、メインプログラム２１に基づいて、ハッシュ値を用いて第２のリセットプログラム４２を検証する（Ｓ４４）。例えば、第２の検証実行部１４は、計算したハッシュ値と電子署名４３から得られたハッシュ値（スタックに保存されたハッシュ値）を比較し、合っていることを確認する。

合っていることを確認した後、第２の検証実行部１４は、メインプログラム２１に基づいて、第２のリセットプログラム４２を呼び出す（Ｓ４５）。第２の検証実行部１４は、ＳＲＡＭ３０ａにおいて、第２のリセットプログラム４２を実行する（Ｓ４６）。そして、起動検証処理が終了した後に、制御部１０は、例えばメインプログラム２１に基づいて、ＳｏＣ２を起動する。

［実施例の効果］
上記実施例では、ＲＣＵ１は、ＳｏＣ２を起動するために必要なプログラムを検証する。ＲＣＵ１は、書き換えできないＯＴＰ２０ａから所定のハッシュ関数を、外部から書き込みできないＳＲＡＭ３０ａに転送する。ＲＣＵ１は、外部から書き込みできるＦＭＥＭ１２０から、プログラムをＳＲＡＭ３０ａのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、第１プログラムとを第２メモリに転送する。ＲＣＵ１は、ハッシュ関数を用いて第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と第１ハッシュ値とを比較する。ＲＣＵ１は、比較結果が一致すれば、第１プログラムを実行する。ＲＣＵ１は、ＦＭＥＭ１２０から第２プログラムを、ＳＲＡＭ３０ａに記憶された第１プログラムに上書きするように、ＳＲＡＭ３０ａに読み込む。ＲＣＵ１は、ハッシュ関数を用いて第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と第２ハッシュ値とを比較する。ＲＣＵ１は、比較結果が一致すれば、第２プログラムを実行する。かかる構成によれば、ＲＣＵ１は、ＳＲＡＭ３０ａのサイズを超えるプログラムに対して、改竄される可能性があるＦＭＥＭ１２０上のプログラムのセキュリティ保証をしたうえで実行できる。

また、上記実施例によれば、ＲＣＵ１は、所定のハッシュ関数に加えて、電子署名を検証する電子署名検証プログラム２３をＯＴＰ２０ａからＳＲＡＭ３０ａに転送する。ＲＣＵ１は、第１ハッシュ値と第２ハッシュ値に加えて、電子署名４３をＦＭＥＭ１２０からＳＲＡＭ３０ａに転送する。ＲＣＵ１は、電子署名検証プログラム２３を用いて、電子署名４３を検証する。そして、ＲＣＵ１は、検証した結果が正常であれば、ＦＭＥＭ１２０から第１プログラムを、ＳＲＡＭ３０ａに記憶された電子署名検証プログラム２３に上書きするように、ＳＲＡＭ３０ａに読み込む。かかる構成によれば、ＲＣＵ１は、ＳＲＡＭ３０ａのサイズが小さい場合であっても、第１プログラムを電子署名検証プログラム２３上に上書きすることで、第１プログラムのセキュリティ保証をしたうえで実行できる。

また、ＳＲＡＭ３０ａは、ＯＴＰ２０ａおよびＦＭＥＭ１２０よりも実行速度が速い。これにより、ＲＣＵ１は、ＳＲＡＭ３０ａでプログラムの検証および実行をすることで、検証および実行の実行時間を上げることができる。

［その他］
なお、リセットプログラムは、第２の記憶部３０の記憶容量に合わせて予め２つに分割されると説明した。しかしながら、リセットプログラムを分割する数は、２つに限定されず、３つであっても良く、第２の記憶部３０の記憶容量を超えない大きさで分割される数であれば良い。

また、図示したＲＣＵ１に含まれる制御部１０の各構成要素は、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、各装置の分散・統合の具体的態様は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。例えば、第１の検証実行部１３を、第１の検証部と、第１の実行部とに分散しても良い。第２の検証実行部１４を、第２の検証部と、第２の実行部とに分散しても良い。

以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。

（付記１）プロセッサを起動するために必要なプログラムを検証する起動検証プログラムであって、
書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送し、
外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送し、
前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、
比較結果が一致すれば、前記第１プログラムを実行し、
前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込み、
前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、
比較結果が一致すれば、前記第２プログラムを実行する
処理をコンピュータに実行させる起動検証プログラム。

（付記２）前記第１メモリから前記第２メモリに転送する処理は、前記所定のハッシュ関数に加えて、電子署名を検証する検証プログラムを前記第２メモリに転送し、
前記第３メモリから前記第２メモリに転送する処理は、前記第１ハッシュ値と前記第２ハッシュ値に加えて、前記電子署名を転送し、
前記検証プログラムを用いて、前記電子署名を検証し、
検証した結果が正常であれば、前記第３メモリから前記第１プログラムを、前記第２メモリに記憶された前記検証プログラムに上書きするように、前記第２メモリに読み込む
ことを特徴とする付記１に記載の起動検証プログラム。

（付記３）前記第２メモリは、前記第１メモリおよび前記第３メモリよりも実行速度が速い
ことを特徴とする付記１または付記２に記載の起動検証プログラム。

（付記４）前記所定のハッシュ関数は、ＳＨＡ２５６（Secure Hash Algorithm ２５６－ｂｉｔ）である
ことを特徴とする付記１に記載の起動検証プログラム。

（付記５）プロセッサを起動するために必要なプログラムを検証する情報処理装置であって、
書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送する第１の転送部と、
外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送する第２の転送部と、
前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、比較結果が一致すれば、前記第１プログラムを実行する第１の検証実行部と、
前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込む第３の転送部と、
前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、比較結果が一致すれば、前記第２プログラムを実行する第２の検証実行部と、
を有することを特徴とする情報処理装置。

（付記６）プロセッサを起動するために必要なプログラムを検証する起動検証方法であって、
書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送し、
外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送し、
前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、
比較結果が一致すれば、前記第１プログラムを実行し、
前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込み、
前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、
比較結果が一致すれば、前記第２プログラムを実行する
処理をコンピュータが実行する起動検証方法。

１ ＲＣＵ
２ ＳｏＣ
１０ 制御部
１１ ブート処理部
１２ 電子署名検証部
１３ 第１の検証実行部
１４ 第２の検証実行部
２０ 第１の記憶部
２１ メインプログラム
２２ ブートプログラム
２３ 電子署名検証プログラム
２４ ハッシュ関数
３０ 第２の記憶部
４０ 第３の記憶部
４１ 第１のリセットプログラム
４２ 第２のリセットプログラム
４３ 電子署名
１０ａ ＣＰＵ
２０ａ ＯＴＰ
３０ａ ＳＲＡＭ
５０ａ Ｉ２Ｃコントローラ
１００ サーバ
１２０ ＦＭＥＭ
１３０ 主記憶部
１４０ 通信装置

Claims (5)

1. プロセッサを起動するために必要なプログラムを検証する起動検証プログラムであって、
   書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送し、
   外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送し、
   前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、
   比較結果が一致すれば、前記第１プログラムを実行し、
   前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込み、
   前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、
   比較結果が一致すれば、前記第２プログラムを実行する
   処理をコンピュータに実行させる起動検証プログラム。
2. 前記第１メモリから前記第２メモリに転送する処理は、前記所定のハッシュ関数に加えて、電子署名を検証する検証プログラムを前記第２メモリに転送し、
   前記第３メモリから前記第２メモリに転送する処理は、前記第１ハッシュ値と前記第２ハッシュ値に加えて、前記電子署名を転送し、
   前記検証プログラムを用いて、前記電子署名を検証し、
   検証した結果が正常であれば、前記第３メモリから前記第１プログラムを、前記第２メモリに記憶された前記検証プログラムに上書きするように、前記第２メモリに読み込む
   ことを特徴とする請求項１に記載の起動検証プログラム。
3. 前記第２メモリは、前記第１メモリおよび前記第３メモリよりも実行速度が速い
   ことを特徴とする請求項１または請求項２に記載の起動検証プログラム。
4. プロセッサを起動するために必要なプログラムを検証する情報処理装置であって、
   書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送する第１の転送部と、
   外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送する第２の転送部と、
   前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、比較結果が一致すれば、前記第１プログラムを実行する第１の検証実行部と、
   前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込む第３の転送部と、
   前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、比較結果が一致すれば、前記第２プログラムを実行する第２の検証実行部と、
   を有することを特徴とする情報処理装置。
5. プロセッサを起動するために必要なプログラムを検証する起動検証方法であって、
   書き換えできない第１メモリから所定のハッシュ関数を、外部から書き込みできない第２メモリに転送し、
   外部から書き込みできる第３メモリから、前記プログラムを前記第２メモリのサイズに合わせて分割された一方の第１プログラムに対応する第１ハッシュ値と、他方の第２プログラムに対応する第２ハッシュ値と、前記第１プログラムとを前記第２メモリに転送し、
   前記ハッシュ関数を用いて前記第１プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第１ハッシュ値とを比較し、
   比較結果が一致すれば、前記第１プログラムを実行し、
   前記第３メモリから前記第２プログラムを、前記第２メモリに記憶された前記第１プログラムに上書きするように、前記第２メモリに読み込み、
   前記ハッシュ関数を用いて前記第２プログラムのハッシュ値を計算し、計算して得られたハッシュ値と前記第２ハッシュ値とを比較し、
   比較結果が一致すれば、前記第２プログラムを実行する
   処理をコンピュータが実行する起動検証方法。

Images