JP2018519752A - 秘密データのセキュアプログラミング - Google Patents

Abstract

秘密データのセキュアプログラミングのための方法に関する発明である。本方法は、第１暗号鍵を含む不揮発性メモリに結合されたセキュアエレメントを備えるデバイスを提供することを備える。前記セキュアエレメントは、前記第１暗号鍵を用いて前記第１秘密データを復号し、及び、認証し、第２秘密データを形成し、前記第１暗号鍵の真の値を不可読にする。

Description

本発明は、秘密データのセキュアプログラミングの提供に関する。本発明は、システムオンチップ（System-on-chip）デバイスの製造時又は最終的なプログラミング時の秘密データのプログラミングに特に適しているが、これに限られるものではない。

システムオンチップのようなデバイスが製造される場合、秘密データ、例えば、暗号鍵、パスワード及び／又は他の機密データを用いてパーソナライズされてもよい。典型的には、デバイスの製造元は、ウエハ作成時又はデバイスをパッケージングする直前に秘密データを埋め込む。そのため、秘密データは、製造者に提供されなくてはならず、このことは、セキュリティ侵害や悪意ある行為によってデータにアクセスすべきではない当事者にデータが流出する可能性があるというセキュリティ上の懸念を生じさせる原因となる。このリスクを緩和する１つの方法は、秘密データの提供者により事前に暗号化された秘密データを復号できるブラックボックスを製造者に提供し、製造者のプログラミングシステムと通信して秘密データが埋め込むための適切な時に解放されるようにすることである。

このようなブラックボックスは、維持及び運用するにはコストの掛かるシステムである。ブラックボックスを使用しないで処理を進める１つの方法は、暗号化された秘密データを最終的なパッケージング時に問題のデバイス上で直接解読することである。これは、セキュアエレメントであってもよい装置上に実装された特定のモジュールにより達成することができる。このセキュアエレメントは、カスタムアルゴリズムの知識、及び、秘密データ提供者のみが知る当該秘密データを解読するための１又は複数の特定の暗号鍵／復号鍵を有する。さらに、プログラミングされる各デバイスに対して別個のセットを供給することはあまりにもコストが高く実用的ではないので、汎用アルゴリズム及び鍵のセットのみを利用することも可能である。セキュアエレメントは、ネットリストの形で秘密データ提供者により製造者へと送付されてもよい。当該ネットリストは、設計装置に組み込まれる。

このような秘密データ配信及びデバイスプログラミングスキームは、機密保持されているネットリストに依存する。もし、このネットリストが権限のない者に利用可能な状態となると、このアルゴリズム及び秘密暗号鍵／復号鍵は、当該秘密データを復号するために使用されうる。故に、ネットリストは、単一の障害点、したがって、セキュリティリスクとなる。

したがって、より高いセキュリティを有する秘密データの代替プログラミングを提供することが望ましい。

請求項１に明示されているように、一態様によれば、方法が提供される。したがって、不揮発性メモリに結合されたセキュアエレメント、を備えるデバイスであって、前記不揮発性メモリは、第１暗号鍵を格納する、デバイスを提供するステップと、前記セキュアエレメントが、第１秘密データを、前記第１暗号鍵を用いて、復号及び認証し、第２秘密データを形成し、前記第１暗号鍵の真の値を不可読の状態にするステップと、を備える方法が提供される。

任意で、前記方法は、前記セキュアエレメントが、前記セキュアエレメントのみが知る第２暗号鍵を用いて前記第２秘密データを暗号化及び署名し、第３秘密データを形成するステップと、前記不揮発性メモリに前記第３秘密データを格納するステップと、をさらに備える。

任意で、前記方法は、前記セキュアエレメントが、前記セキュアエレメントに組み込まれているキーを用いて暗号鍵データを復号及び認証することにより、前記第１暗号鍵を取得するステップ、をさらに備える方法である。

任意で、前記方法は、前記セキュアエレメントが、前記第１暗号鍵を前記不揮発性メモリに書き込むステップ、をさらに備える方法である。

任意で、前記方法は、復号及び認証より前に、前記不揮発性メモリに前記第１秘密データを格納するステップ、をさらに備える方法である。

任意で、前記方法は、前記セキュアエレメントが、前記不揮発性メモリに格納された前記第１データの少なくとも一部を、不可逆的に変更することにより前記第１秘密データの真の値を不可読な状態にするステップ、をさらに備える方法である。

任意で、前記方法は、前記セキュアエレメントが、前記セキュアエレメントに含まれる物理的に複製不可能な機能（ＰＵＦ：physically unclonable function）から前記第２暗号鍵を提供するステップ、をさらに備える方法である。

任意で、前記方法は、前記セキュアエレメントが、前記第１暗号鍵の少なくとも１ビットの状態を変更することによって前記第１暗号鍵の少なくとも一部を不可逆的に変更し、その後、格納された前記第１暗号鍵をロックしてさらなる変更を防ぐことにより、前記第１暗号鍵を不可読な状態にするステップ、をさらに備える方法である。

任意で、前記方法は、前記セキュアエレメントが、前記第２暗号鍵を用いて前記第３秘密データを復号し、認証するステップ、をさらに備える方法である。

任意で、前記方法は、前記不揮発性メモリが、ワンタイムのプログラム可能なメモリを備える方法である。

任意で、前記方法は、前記不揮発性メモリが、前記セキュアエレメントのみによりアクセス可能である方法である。

任意で、前記方法は、前記デバイスが、ＳｏＣデバイスである方法である。

請求項１０に明示されているように、第二の態様によれば、デバイスが提供される。したがって、第１暗号鍵を格納して保持するようにされた不揮発性メモリ、に結合されたセキュアエレメントであって、前記第１暗号鍵を用いて第１秘密データを復号し、認証して、第２秘密データを形成し、前記第１暗号鍵の真の値を不可読の状態にするようなセキュアエレメントを備えるデバイスが提供される。

任意で、前記デバイスは、前記セキュアエレメントが、前記セキュアエレメントのみが知る第２暗号鍵を用いて前記第２秘密データを暗号化及び署名し、前記セキュアエレメントが、第３秘密データを形成し、前記不揮発性メモリに前記第３秘密データを格納するように構成されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記セキュアエレメントに組み込まれているキーを用いて暗号鍵データを復号及び認証することにより、前記第１暗号鍵を取得するように構成されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記第１暗号鍵を前記不揮発性メモリに書き込むように構成されるデバイスである。

任意で、前記デバイスは、復号及び認証より前に、前記第１秘密データが前記不揮発性メモリに格納されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記不揮発性メモリに格納された前記第１データの少なくとも一部を、不可逆的に変更することにより前記第１秘密データの真の値を不可読な状態にするように構成されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記セキュアエレメントに含まれる物理的に複製不可能な機能（ＰＵＦ：physically unclonable function）から前記第２暗号鍵を提供するように構成されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記第１暗号鍵の少なくとも１ビットの状態を変更することによって前記第１暗号鍵の少なくとも一部を不可逆的に変更し、その後、格納された前記第１暗号鍵をロックしてさらなる変更を防ぐことにより、前記第１暗号鍵を不可読な状態にするように構成されるデバイスである。

任意で、前記デバイスは、前記セキュアエレメントがさらに、前記第２暗号鍵を用いて前記第３秘密データを復号し、認証するように構成されるデバイスである。

任意で、前記デバイスは、前記不揮発性メモリが、ワンタイムのプログラム可能なメモリを備えるデバイスである。

任意で、前記デバイスは、前記不揮発性メモリが、前記セキュアエレメントのみによりアクセス可能であるデバイスである。

任意で、前記デバイスは、ＳｏＣデバイスである。

第三の態様によれば、請求項１４に明示されるコンピュータ可読媒体が提供される。

したがって、提供されたコンピュータ可読媒体は、実行された場合に、プロセッサに上記で開示された方法のいずれかを実行させる命令を備える。

全ての態様において、望ましく、任意である特徴は、従属している請求項により明示される。

実施形態は、単なる例として、下記の図面を参照して説明される。
図１は、一実施形態に係るセキュアデバイスを示す。 図２は、一実施形態に係る方法を示す。 これらの図において、全体を通じ、同様の要素は、同様の符号で示される。

（概要）
本明細書で開示されるデバイス１０は、秘密データでプログラムすることができる任意の装置であり得る不揮発性メモリ、例えば、ＰＬＤ（Programmable Logic Device：プログラマブルロジックデバイス）、ＦＰＧＡ（Field Programmable Gate Array：フィールドプログラマブルゲートアレイ）、又は、ＳｏＣ（System-on-chip：システムオンチップ）を備える。秘密データは、秘密データ提要者によりプロバイダ鍵により暗号化されて提供される。秘密データは、ａ）プロバイダ鍵及び秘密データは、暗号化されていない状態で決して外部に利用可能にされず、ｂ）一度秘密データがインストールされると、プロバイダ鍵は、読み取りが不可能となり、デバイスに対する悪意のある攻撃がこの鍵を発見不可能になるようにデバイス上で復号される。

秘密データは、プロバイダ鍵を用い、初期配送状態から復号され、そのデバイス暗号鍵が一意的であり、かつ、デバイスのみにより知られているデバイス暗号化形式でデバイス内にローカルに格納される。

開示されたデバイス及び方法により、秘密データを復号するためにデバイスネットリスト及びプロバイダ鍵の両方が利用可能でなければならないという点において、単一の障害点が除去される。さらに、デバイスに対して一意的であるデバイス暗号鍵を用いることにより、たとえ悪意ある者がデバイスネットリストにアクセスし、デバイス暗号化データを読み取ることができたとしても、都度必要となるデバイス内部で作成されたデバイス暗号鍵を検出する方法はない。さらに、たとえ悪意あるものによりプロバイダ鍵が発見されたとしても、セキュリティ違反が最小限に抑えられるように、デバイスの将来の生産を行うために変更することが可能である。

（詳細な説明）
図１に戻り、デバイス１０は、セキュアエレメント１２と、不揮発性メモリ１４と、を備える。不揮発性メモリは、ワンタイムのプログラム可能なメモリであってもよく、第１暗号鍵を保持するように構成されていてもよい。デバイスはまた、ＣＰＵ１６と、ＲＯＭ１８及び外部ＲＡＭ（図示されていない）のうち一方又は双方と、を備えていてもよい。デバイス１０の様々な構成部分は、図示するように、バス構造を介して互いに通信してもよい。セキュアエレメント１２は、不揮発性メモリ１４と通信可能であるただ１つの部分であってもよい。

秘密データを安全に提供し、秘密データを安全に復号する方法を以下に説明する。

図２を参照すると、ステップ２５において、（秘密データ提供者により提供される）第１暗号鍵を備える第１秘密データプロバイダレコードが不揮発性メモリ１４にロードされる。図２に示すように、第１暗号鍵は、２つの方法のうち１つで（第１秘密データプロバイダレコードを介して）不揮発性メモリにロードされてもよい。ステップ２１及びステップ２２に示されるようにいくつかの実施形態において、セキュアエレメント１２が、第１暗号鍵を不揮発性メモリにロードし、ステップ２３及びステップ２４に示される、また別の実施形態においては、デバイス製造者又は他の当事者が、セキュアエレメント１２の関与なしに、第１暗号鍵を不揮発性メモリにロードする。

デバイス製造において、セキュアエレメント１２のネットリストは、ハードワイヤードの暗号鍵及び任意のハードワイヤードのカスタム復号／暗号化アルゴリズムを備えてもよい。本文脈において、ハードワイヤードとは、問題のデータが変更不能であることを指す。

ステップ２１において、ハードワイヤード暗号鍵及び任意の復号／暗号化アルゴリズムは、セキュアエレメント１２が第１暗号鍵を備える第１秘密データプロバイダレコードを復号し、認証するために使用されてもよい。ステップ２１は、デバイスが最初に電源を入れられた時に実行されてもよい。第１暗号鍵を備える第１秘密データプロバイダレコードが無事に復号され、認証されたとすると、ステップ２２において、第１秘密データプロバイダレコードは、セキュアエレメント１２により暗号化された形式で不揮発性メモリ１４に格納される。

代替のステップ２３及びステップ２４では、ステップ２３において、デバイス製造者は、セキュアエレメント１２の関与なしに、第１暗号鍵を備える第１秘密データプロバイダレコードを暗号化された状態で不揮発性メモリ１４にロードする。

この復号は、ハードワイヤード暗号鍵により行われてもよい。ステップ２４において、デバイス製造者は、第１秘密データを備える一時的な第２秘密データプロバイダレコードもまた不揮発性メモリ１４にロードする。第２秘密データプロバイダレコードは、第１秘密データプロバイダレコードの第１暗号鍵を用いて暗号化され、署名される。ステップ２３及びステップ２４のいずれか又は双方において、デバイス製造者は、専用のハードウェアプログラミングパス（図１に図示しない）を使用してもよい。データのローディング要求が実行された後、ハードウェアプログラミングパスは、不揮発性メモリにビットをプログラミングすることによって関連するヒューズ及び／又はソフトウェア手段を飛ばすことによりパスを非活性化する等のハードウェア手段によって、恒久的に使用不能としてもよく、もはや、デバイス外部の不揮発性メモリへアクセスすることを不可能とするようにしてもよい。

ステップ２１及びステップ２２、又は、ステップ２３及びステップ２４、のいずれかに続き、ステップ２５において、第１暗号鍵を備える第１秘密データプロバイダレコードは、暗号化された状態で不揮発性メモリ１４に存在している。

代わりに、ステップ２１の後に、ステップ２２Ａにおいて、第１暗号鍵を備える第１秘密データプロバイダレコードがうまく復号され、認証された場合、セキュアエレメントは、第１暗号鍵のコピーを保持してもよく、次に、ステップ２６が、不揮発性メモリ１４に格納されている第１暗号鍵（第１秘密データプロバイダレコード内に備えられる）を用いずに実行される。第１暗号鍵のコピーは、ローカルな一時的なコピーであってもよい。

デバイスのリセット後に発生する可能性があるステップ２６において、セキュアエレメント１２は、第１暗号鍵（復号された形式である）を用いて第１秘密データを復号し、認証して、第２秘密データを形成する。第１秘密データは、任意のステップ２４（既に利用可能である一時的な第２秘密データプロバイダレコードから）により不揮発性メモリ内に存在していてもよいし、又は、第２秘密データプロバイダレコードは、任意のステップ２７において、秘密データプロバイダにより別個に提供されるものであってもよい。

ステップ２８において、第２秘密データを形成するための第１秘密データの復号及び認証が成功した場合、セキュアエレメント１２は、第２秘密データを暗号化し、署名して、第３秘密データを形成するために、セキュアエレメントのみに知られている第２暗号鍵を使用する。セキュアエレメントは、それから、第３秘密データを不揮発性メモリ１４へと格納する。第３秘密データを形成するための第２暗号鍵とともに使用されるアルゴリズムは、セキュアエレメントに存在するアルゴリズムであって、ステップ２１において第１データプロバイダレコードを復号するために使用されるアルゴリズムとは異なるものであってもよい。

セキュアエレメント１２のみに知られている第２暗号鍵は、デバイス内に存在するＰＵＦ（Physically Unclonable Function）によって生成されてもよい。ＰＵＦは、セキュアエレメントに存在する暗号化アルゴリズムに利用可能であってもよく、ＰＵＦを読み込むことができないセキュアエレメントを有するアルゴリズムにのみ知られていてもよい。ＰＵＦがどのように動くかのメカニズムの詳細は、米国特許出願公開第２０１４／０３７６７１７号明細書及び欧州特許出願公開第２８１６７５７号明細書、「物理的に複製不可能な機能を有する方法及び独自の暗号装置」に見ることができ、その内容は参照により本明細書に組み込まれる。理解されるように、物理的に複製不可能な機能は、それが存在する特定の装置に固有であり、顕微鏡、又は、他の検査手段による装置検査の手段によっても複製することが不可能な第２暗号鍵を生成する。これは、第２暗号鍵を生成するために使用されるわずかな製造上の差異が再現可能ではなく、かつ、予測可能ではないためである。製造プロセスが完璧ではないことから、デバイス内の構成要素の不本意な個性化が発生し、固有の識別子を生成するために使用され得る有用な情報に変換されることが可能となる。したがって、ＰＵＦは、例えば、理解されるように、疑似乱数ビット列がわずかな差から導出される情報を表現することが可能である点で提供される。これは、次に、固有の暗号鍵を作成するために使用されてもよい。

ステップ２９において、第１暗号鍵を備える第１秘密データプロバイダレコードが不揮発性メモリ上に存在するのであれば、第１暗号鍵は不揮発性メモリから読み込み不能となる。これは、第１暗号鍵の真の値が隠されるように、第１暗号鍵の少なくとも一部を消去し、ロックすることにより達成してもよい。例えば、第１暗号鍵の特定のビットは、不揮発性メモリにプログラムされ、かつ、ロックされた状態であり、そして、他のビットはロックされていない状態であってもよい。そして、ロックされていないビットは、ロックされ、全てのビットがロックされる。そのような消去操作の後、第１暗号鍵の真の値は、その時点から読み取ることができないことが明らかであろう。一例として、全てのロックされていない「１」のビットは、「０」に書き換えられてもよく、全てのロックされていない「０」のビットは「１」に書き換えられてもよい。

ステップ２９の結果として、第１秘密データは、要求された鍵（第１暗号鍵）が読み込み不可であることから、もはや復号及び認証することができない。

ステップ２８及びステップ２９は、その順番を入れ替えてもよい。

ステップ３０において、不揮発性メモリ１４が任意のステップ２４の手段による一時的な第２秘密データプロバイダレコードを備えるとすると、セキュアエレメントは、ステップ２９における第１秘密データプロバイダレコード又は第１鍵と同じメカニズムにより、この一時的な第２秘密データプロバイダレコードの真の値を読み込み不可であるようにする。

ステップ３１及びその後の動作において、セキュアエレメント１２は、要求に応じて、第２暗号鍵を使用して不揮発性メモリ１４から第３秘密データ（第１秘密データのデバイスに特有の暗号化されたコピー）を復号し、認証することが可能である。したがって、第１秘密データ（元々は、第２秘密データプロバイダレコードに含まれていた）は、実行時に利用可能であり、実行中のアプリケーションにより要求されると使用されてもよい。

ステップ３１は、デバイスのリセット後に発生してもよい。デバイスは、ステップ２１、２２、２２Ａ及び２５から３０のプログラミングモードではなく、通常のランモードにおいて動作しているとみなしてもよい。その後、デバイスのリセットの後に、デバイスは、第１秘密データがセキュアな方法で不揮発性メモリ１４に送信されると、ステップ３１からランモードで動作を開始してもよい。ステップ３１から動作を開始するかどうかは、ステップ２９により第１秘密データが以前に消去され、かつ、ロックされているかどうかを決定するセキュアエレメント１２により決定されてもよい。

見て分かるように、ステップ３１（安全でないユーザ、すなわち、消費者に利用可能にされた場合のデバイスの状態）から、第２秘密データプロバイダレコード（又は一時的な第２秘密データプロバイダレコード）の秘密データは、暗号化された状態において不揮発性メモリ内でのみ利用可能であり、それによって、使用される暗号化は、データを暗号化したセキュアエレメントによってのみ復号可能である。秘密データが暗号化されていない（オープンな）形式でデバイスの外部で利用可能となった時点はなく、また、第１秘密データを復号し、認証するための第１暗号鍵も、装置内のどこにおいても利用可能ではない。

したがって、秘密データのセキュアなプログラミングは、単一の障害点なしに提供されている。悪意のある当事者は、セキュアエレメントを含むデバイスを製造するために、第１暗号鍵と同様にネットリストを取得するために、製造業者の敷地内の第１秘密データにアクセスする必要があるであろう。

もう一つのシナリオでは、悪意のある当事者がフィールド内のデバイスの不揮発性メモリから第３データを読み取ることが可能であり、デバイスのネットリストを有していたとしても、まだ、第２暗号鍵（ＰＵＦから生成された）を取得する方法がないので、秘密データは暗号化されたままであり、したがって、安全である。

さらに、第１暗号鍵が発見されてしまったとしても、将来のデバイスの製造のため、第１暗号鍵は変更されることが可能であり、したがって、セキュリティの侵害を緩和する。さらにセキュリティを確保するために、デバイスを製造する（又は、プログラミングする）製造業者とは異なる製造業者により製造されることにより、第１秘密データは、送信され（ステップ２７）、又は、プログラミングされ（ステップ２４）うる。

記載された方法の一部又は全ては、コンピュータプログラムにより実装されてもよい。コンピュータプログラムは、装置１０などのプロセッサに、説明した方法の１又は複数の機能を実行させるように、命令し又は実行させる、コンピュータが実行可能な命令又はコードを備える。コンピュータプログラムは、デバイス１０のような装置に、コンピュータ可読媒体又はコンピュータプログラム製品上で提供されてもよい。コンピュータ可読媒体又はコンピュータプログラム製品は、半導体又はソリッドステートメモリといった非一時的な媒体、磁気テープ、着脱可能なコンピュータメモリスティック又はディスケット、ランダムアクセスメモリ（ＲＡＭ）、リードオンリーメモリ（ＲＯＭ）、磁気ディスク、及び、ＣＤ−ＲＯＭ、ＣＤ−Ｒ／Ｗ、ＤＶＤ又はブルーレイといった光学ディスクを備えていてもよい。コンピュータ化独媒体又はコンピュータプログラム製品は、例えば、インターネットを介してコンピュータプログラムをダウンロードするためのデータ転送用の伝送信号又は媒体を備えていてもよい。

Claims (14)

1. 不揮発性メモリに結合されたセキュアエレメント、を備えるデバイスであって、前記不揮発性メモリは、第１暗号鍵を格納する、デバイスを提供するステップと、
   前記セキュアエレメントが、第１秘密データを、前記第１暗号鍵を用いて復号及び認証して第２秘密データを形成し、前記第１暗号鍵の真の値を不可読の状態にするステップと、
   を備える方法。
2. 前記セキュアエレメントが、前記セキュアエレメントのみに知られる第２暗号鍵を用いて前記第２秘密データを暗号化及び署名し、第３秘密データを形成するステップと、
   前記不揮発性メモリに前記第３秘密データを格納するステップと、
   をさらに備える請求項１に記載の方法。
3. 前記セキュアエレメントが、前記セキュアエレメントに組み込まれているキーを用いて暗号鍵データを復号及び認証することにより、前記第１暗号鍵を取得するステップ、をさらに備える請求項１又は請求項２に記載の方法。
4. 前記セキュアエレメントが、前記第１暗号鍵を前記不揮発性メモリに書き込むステップ、をさらに備える請求項３に記載の方法。
5. 復号及び認証より前に、前記不揮発性メモリに前記第１秘密データを格納するステップ、をさらに備える請求項１乃至請求項４のいずれかに記載の方法。
6. 前記セキュアエレメントが、前記不揮発性メモリに格納された前記第１データの少なくとも一部を、不可逆的に変更することにより前記第１秘密データの真の値を不可読な状態にするステップ、をさらに備える請求項５に記載の方法。
7. 前記セキュアエレメントが、前記セキュアエレメントに含まれるＰＵＦ（physically unclonable function）から前記第２暗号鍵を提供するステップ、をさらに備える請求項２乃至請求項６のいずれかに記載の方法。
8. 前記セキュアエレメントが、前記第１暗号鍵の少なくとも１ビットの状態を変更することによって前記第１暗号鍵の少なくとも一部を不可逆的に変更し、その後、格納された前記第１暗号鍵をロックしてさらなる変更を防ぐことにより、前記第１暗号鍵を不可読な状態にするステップ、をさらに備える請求項１乃至請求項７のいずれかに記載の方法。
9. 前記セキュアエレメントが、前記第２暗号鍵を用いて前記第３秘密データを復号し、認証するステップ、をさらに備える請求項２乃至請求項８のいずれかに記載の方法。
10. 第１暗号鍵を格納して保持するようにされた不揮発性メモリに結合されたセキュアエレメントであって、請求項１乃至請求項９のいずれかに記載の方法を実装するように構成されるセキュアエレメント、を備えるデバイス。
11. 前記不揮発性メモリは、ワンタイムのプログラム可能なメモリを備える、請求項１０に記載のデバイス。
12. 前記不揮発性メモリは、前記セキュアエレメントのみによりアクセス可能である、請求項１０又は請求項１１に記載のデバイス。
13. 前記デバイスは、ＳｏＣデバイスである、請求項１０乃至請求項１２のいずれかに記載のデバイス。
14. 実行された場合にプロセッサに請求項１乃至請求項９のいずれかに記載の方法を実行させる命令、を備えるコンピュータ可読媒体。

Images