JP7459899B2 - 電子情報記憶媒体、検証方法、およびプログラム - Google Patents

Description

本発明は、電子情報記憶媒体、検証方法、およびプログラムの技術分野に関する。

ＩＣカードは、内部にフラッシュメモリなどの書き換え可能なメモリを備え、実行コードをロードする際に、正しく実行コードがロードされたことを確認するために、実行コードの一部又は全部を所定の関数で処理して出力した「チェックコード」が使用される。例えば、特許文献１には、端末からの供給される電文を受信した際に、携帯可能記録媒体の記憶領域に電文に基づいた処理を行うと共に、最初に受信した電文又は電文と携帯可能記録媒体に保存されている最新の媒体側チェックコードに基づき媒体側チェックコードを生成し保存する手段とを有し、最後に端末から供給される電文を用いて生成されるチェックコードについて照合し一致しなかった場合にエラー処理を行う手段、または照合結果を受信する手段、とを有することを特徴とする携帯可能記録媒体が開示されている。

特開２０１３－２４６６７２号公報

しかし、複数のインターフェースを備えるＩＣカード等の電子情報記憶媒体が増えているが、スタートアップ処理等の処理において、接続した所定の外部装置から取得した実行コードが、完全性を検証してロードされた場合、あるインターフェースでは規格で示される所定の時間内に、処理が完了するが、別のインターフェースの規格で示される所定の時間内に処理が完了できない場合が起こるという問題があった。

そこで、本発明は、上記問題等に鑑みてなされたものであり、外部装置から取得した実行コードによる処理を所定の時間内に完了できるように、実行コードの完全性を、所定の時間内に検証できる電子情報記憶媒体、検証方法、およびプログラムを提供することを目的とする。

上記の課題を解決するために、請求項１に記載の発明は、外部装置と接続して取得する実行可能な実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得手段と、前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出手段と、前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証手段と、を備え、前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とする.

請求項２に記載の発明は、請求項１に記載の電子情報記憶媒体において、誤り検出符号算出手段が、前記誤り検出符号の算出アルゴリズムと前記算出アルゴリズムにより前記実行コードのうち前記誤り検出符号を算出する部分とに従って、前記実行コードの誤り検出符号を算出することを特徴とする。

請求項３に記載の発明は、請求項１または請求項２に記載の電子情報記憶媒体において、前記外部装置との接続の規格と前記算出アルゴリズムとを関連付けた算出アルゴリズム記憶手段を更に備え、前記算出アルゴリズム記憶手段から、前記外部装置との接続の規格に基づき、前記算出アルゴリズムを取得する算出アルゴリズム取得手段を更に備えることを特徴とする。

請求項４に記載の発明は、請求項１または請求項２に記載の電子情報記憶媒体において、前記外部装置と接続して取得した実行可能な実行コードを記憶する実行コード記憶手段を更に備え、前記実行コード・誤り検出符号取得手段が、前記実行コード記憶手段から、前記実行コードと前記誤り検出符号とを取得することを特徴とする。

また、請求項５に記載の発明は、請求項１または請求項２に記載の電子情報記憶媒体において、前記接続の規格が、前記外部装置と接続の通信方式に従った規格であることを特徴とする。

また、請求項６に記載の発明は、実行コード・誤り検出符号取得手段が、外部装置と接続して取得する実行可能な実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得ステップと、誤り検出符号算出手段が、前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出ステップと、誤り検出符号比較手段が、前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証ステップと、を含み、前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とする。

また、請求項７に記載の発明は、外部装置と接続して取得する実行可能な実行コードを実行する電子情報記憶媒体に含まれるコンピュータを、前記実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得手段、前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出手段、前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証手段として機能させ、前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とする。

本発明によれば、外部装置と接続して取得する実行可能な実行コードと、実行コードに付随した誤り検出符号とを取得し、外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、実行コードの誤り検出符号を算出し、取得した誤り検出符号と、算出した誤り検出符号と、を比較して実行コードの検証を行うことにより、外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、実行コードの誤り検出符号を算出することによって、規格により要求される時間に合わせて、誤り検出符号の算出時間を調節できるので、所定の時間内に実行コードによる処理を完了できるように、実行コードの完全性を検証できる。

本実施形態に係る実行コード検証システムの概要構成例を示す図である。 ＩＣカードの概要構成例を示す図である。 ＩＣカードのデータベースの一例を示す図である。 外部装置の概要構成例を示す図である。 他の外部装置の概要構成例を示す図である。 ＩＣカードの動作の一例を示すフローチャートである。 ＩＣカードの実行コード検証のサブルーチンの一例を示すフローチャートである。 図３のＩＣカードのデータベースの変形例を示す図である。

以下、図面を参照して本発明の実施形態について詳細に説明する。以下に説明する実施形態は、電子情報記憶媒体の一例であるＩＣチップを含むＩＣカードに対して本発明を適用した場合の実施の形態である。

［１．実行コード検証システムＳの概要構成］
まず、図１等を参照して、本実施形態に係る実行コード検証システムＳの概要構成について説明する。図１は、本実施形態に係る実行コード検証システムＳの概要構成例を示す図である。

図１に示すように、実行コード検証システムＳは、複数種類のインターフェースを有するＩＣカード１０と、ＩＣカード１０と接触式により接続する外部装置２０、ＩＣカード１０と非接触式により接続する外部装置３０等を含んで構成される。

ＩＣカード１０は、外部装置２０と接続する接点端子１０ａと、外部装置３０と無線接続するためのアンテナ１０ｂと、を有する。

ＩＣカード１０は、電子情報記憶媒体の一例であるＩＣチップ１０ｃを含んでいる。ＩＣチップは、例えば、耐タンパー性を有するＩＣチップである。ＩＣチップの形態には、ｅＳＥ（embedded Secure Element）の形態や、ＳＩＭカード（Subscriber Identity Module Card）の形態等がある。

ＩＣカード１０は、例えば、クレジットカード、キャッシュカード、ＥＴＣカード、デジタルルームキー、車両のデジタルキー、身分証明用のカード、パスポート等である。ＩＣカード１０は、ＩＣタグ、スマートフォンなどのモバイルデバイスでもよい。

また、電子情報記憶媒体の一例であるＩＣチップ１０ｃは、ＥＣＵ（Electronic Control Unit）等の制御装置、または、スマートフォンなどのモバイルデバイスに搭載されるケースでもよい。

外部装置２０は、ＩＣカード１０に対して有線のリーダライタの機能を有する。外部装置２０は、ＩＣカード１０を挿入するスロットを有する。外部装置２０は、例えば、ＡＴＭ（Automatic Teller Machine）、ＥＴＣ（Electronic Toll Collection System）車載器、券売機等である。外部装置２０は、接点端子１０ａを介して、接触型でＩＣカード１０と接続できる装置ならばよい。

外部装置３０は、ＩＣカード１０に対して無線のリーダライタの機能を有する。外部装置３０は、例えば、鉄道の自動改札機、自動販売機、ＩＣタグのリーダライタ、非接触型のＡＴＭ等である。外部装置３０は、アンテナ１０ｂを介して、非接触型でＩＣカード１０と無線接続できる装置ならばよい。

ＩＣカード１０は、外部装置３０との間で近距離無線通信可能になっている。近距離無線通信には、例えば、ＮＦＣ（Near Field Communication）、Bluetooth（登録商標）、またはＵＷＢ（Ultra Wide Band）等の技術が用いられる。

ＩＣカード１０は、外部装置２０、外部装置３０等の外部装置と接続して、実行可能な実行コードを取得して、実行コードを実行する。

次に、ＩＣカード１０の概要構成例を、図を用いて説明する。

図２は、ＩＣカード１０の概要構成例を示す図である。図２に示すように、ＩＣカード１０は、複数の通信部１１、記憶部１２、および制御部１３等を備えて構成される。

接触型の通信部１１は、接点端子１０ａを備える。ＩＣカード１０が外部装置２０に挿入された際、接点端子１０ａを介して外部装置２０との間で通信を行う。

非接触型の通信部１１は、コイル型のアンテナ１０ｂを備え、近距離無線通信可能な範囲内で外部装置３０との間で近距離無線通信を行う。ここで、接触型および非接触型は、外部装置との接続のインターフェースのタイプの一例である。

接触型の通信部１１は、接点端子１０ａ以外の接触型のインターフェースを有してよい。また、非接触型の通信部１１は、アンテナ１０ｂとは異なる種類のアンテナを備えてもよい。また、通信部１１は、異なる通信方式毎に設置されてもよい。通信部１１は、外部装置２０、外部装置３０の様々な外部装置や様々なインターフェースの通信の規格（外部装置との接続の規格の一例）に応じた、複数種類の通信機能を有してもよい。ここで、外部装置との接続の規格の一例として、接触型のインターフェースに対して課されている規格、非接触型のインターフェース対して課されている規格等が挙げられる。また、外部装置との接続の規格の一例として、非接触型のインターフェースにおける“タイプＡ”、“タイプＢ”、Felica（登録商標）といった、通信方式の規格でもよい。また、インターフェースの種類として、パラレルインターフェース、ＵＳＢのインターフェース等における規格でもよい。

記憶部１２は、例えば、不揮発性メモリ（ＮＶＭ（Nonvolatile Memory））である。記憶部１２には、オペレーティングシステム（ＯＳ）およびアプリケーションが記憶される。アプリケーションには、相互認証処理プログラム等が含まれる。記憶部１２は、ＩＣカード１０を特定するための固有ＩＤを記憶している。固有ＩＤとして、ＩＣカード１０のデバイスアドレス、ＭＡＣアドレス（Media Access Control address）、チップＩＤ等が挙げられる。

記憶部１２は、外部装置と接続して取得した実行可能な実行コードを記憶する実行コード記憶手段の一例として、外部装置２０、３０から取得した実行コードを記憶する。

さらに、記憶部１２には、図３に示すように、外部装置との接続の規格の一例である接触型、非接触型のインターフェース毎に、実行コードのチェックコードを算出するためのチェックコード算出方法等が関連付けられたデータベースが構築されている。記憶部１２は、外部装置との接続の規格と算出アルゴリズムとを関連付けた算出アルゴリズム記憶手段の一例として機能する。

ここで、誤り検出符号の一例であるチェックコードは、実行コードの一部または全部を、所定の関数で処理して出力したコードまたは値である。チェックコード算出方法は、算出アルゴリズムと、実行コードの範囲とに規定される。チェックコードの算出アルゴリズムは、誤り検出符号の計算に用いられるアルゴリズムならばよく、例えば、ＭＤ５（Message Digest5）、ＳＨＡ（Secure Hash Algorithm）等のハッシュ関数、ＣＲＣ（Cyclic Redundancy Check）で使用する関数、チェックサムに用いる関数、パリティチェックの関数等が挙げられる。ＳＨＡの場合、ＳＨＡ-１、ＳＨＡ-２５６、ＳＨＡ-５１２等が挙げられる。狭義のチェックサムの値として、単純にデータを足し算した値でもよい。実行コードの範囲として、実行コードの全体、実行コードの一部が挙げられる。さらに、実行コードの一部として、実行コードの始めの１００バイト、実行コードの最後の１０バイト、ページサイズ毎に１バイト等が挙げられる。

チェックコード算出方法等が関連付けられたデータベースは、外部装置との接続の規格のうち、外部装置から取得した実行コードによる処理を所定の時間内に完了する必要があるという、時間に関する制約に基づき、外部装置との接続の規格と、算出アルゴリズムおよび実行コードの範囲との対応関係が決定される。規格で決められた所定の時間が、短い場合、演算時間が少ない算出アルゴリズムや、より狭い実行コードの範囲が規定される。

記憶部１２には、算出アルゴリズム毎の平均計算時間の情報、算出アルゴリズムと実行コードの長さとの組み合わせに応じた平均計算時間の情報のデータベースが構築されていてもよい。

制御部１３のＩＣチップ１０ｃは、ＣＰＵ（Central Processing Unit）、ＲＡＭ（Random Access Memory）、およびＲＯＭ（Read Only Memory）等を備えて構成される。制御部１３は、外部装置２０または外部装置３０と接続して、実行可能な実行コードを取得する。制御部１３は、取得した実行コードのチェックコードを算出して、実行コードの完全性を検証してから、実行コードに従った処理を行う。

なお、ＩＣカード１０は、デュアルインターフェースカードであって、デュアルＩＣチップ方式、接触／非接触コンビＩＣチップ方式、クロスアクセスＩＣチップ方式でもよい。

次に、外部装置２０の概要構成例について、図４を用いて説明する。図４は、外部装置２０の概要構成例を示す図である。

図４に示すように、外部装置２０は、通信部２１、記憶部２２、および制御部２３等を備えて構成される。

通信部２１は、ＩＣカード１０の接点端子１０ａと接続可能な端子を有する。

記憶部２２は、ＲＡＭ、ＮＶＭ等を備えて構成される。記憶部２２には、オペレーティングシステムおよびアプリケーションが記憶される。アプリケーションには、相互認証処理プログラム等が含まれる。さらに、記憶部２２には、ＩＣカード１０の固有ＩＤに関連付けて、修正の実行コード（パッチ）、実行コードのバージョン情報等が記憶されている。記憶部２２には、外部装置２０が、接続するＩＣカード１０の種類等に応じて、算出アルゴリズムおよびチェックコードを算出する実行コードの範囲等のチェックコード算出方法のデータベースが構築されている。

制御部２３は、ＣＰＵ、ＲＡＭ、およびＲＯＭ等を備えて構成される。制御部２３は、外部装置２０全体の制御、ＩＣカード１０との通信等を制御する。制御部２３は、ＩＣカード１０用のチェックコード算出方法に従い、ＩＣカード１０に送信する実行コードのチェックコードを算出する。

次に、外部装置３０の概要構成例について、図５を用いて説明する。図５は、外部装置３０の概要構成例を示す図である。

図５に示すように、外部装置３０は、通信部３１、記憶部３２、および制御部３３等を備えて構成される。

通信部３１は、アンテナを備え、近距離無線通信可能な範囲内でＩＣカード１０との間で近距離無線通信を行う。なお、ＩＣカード１０と外部装置３０との間の近距離無線通信のプロトコルは例えばＮＦＣのプロトコル(例えば、ISO14443で規定されたプロトコル）であるとよい。

記憶部３２は、ＲＡＭ、ＮＶＭ等を備えて構成される。記憶部３２には、オペレーティングシステムおよびアプリケーションが記憶される。アプリケーションには、相互認証処理プログラム等が含まれる。さらに、記憶部３２には、ＩＣカード１０の固有ＩＤに関連付けて、修正の実行コード、実行コードのバージョン情報等が記憶されている。記憶部３２には、外部装置３０が、接続するＩＣカード１０の種類等に応じて、算出アルゴリズムおよびチェックコードを算出する実行コードの範囲等のチェックコード算出方法のデータベースが構築されている。

制御部３３は、ＣＰＵ、ＲＡＭ、およびＲＯＭ等を備えて構成される。制御部３３は、外部装置３０全体の制御、ＩＣカード１０との通信等を制御する。

［２．実行コード検証システムＳの動作］
次に、実行コード検証システムＳの動作について図６を用いて説明する。図６はＩＣカード１０の動作の一例を示すフローチャートである。

まず、ＩＣカード１０は、外部装置２０または外部装置３０に接続する。外部装置２０に接続する場合は、外部装置２０のスロットにＩＣカード１０が挿入される。外部装置３０に接続する場合、無線通信が可能な所定の距離までＩＣカード１０を、外部装置３０に近づける。

ＩＣカード１０は、相互認証等を行い、外部装置２０、外部装置３０等の接続した外部装置との通信路を確保する。

スタートアップ処理において、外部装置２０、外部装置３０等の外部装置が、ＩＣカード１０の固有ＩＤに基づき、ＩＣカード１０の修正または追加の実行コードを送信するべきか判定する。送信すべき実行コードがある場合、接続した外部装置が、ＩＣカード１０に実行コードと、実行コードのチェックコードとを送信する。なお、外部装置２０、外部装置３０等の外部装置は、データベースを参照して、接続したＩＣカード１０の種類等に応じたチェックコード算出方法に従い、ＩＣカード１０に送信する実行コードから、実行コードのチェックコードを算出する。

図６に示すように、ＩＣカード１０は、実行コードを取得する（ステップＳ１）。具体的には、外部装置２０と接続した場合、制御部１３は、接点端子１０ａを備える接触型の通信部１１を介して、実行コードと実行コードのチェックコードとを取得する。外部装置３０と接続した場合、制御部１３は、アンテナ１０ｂを備える非接触型の通信部１１を介して、実行コードと実行コードのチェックコードとを取得する。制御部１３は、取得した実行コードとチェックコードとを、記憶部１２の不揮発性メモリに記憶する。このように、ＩＣカード１０は、外部装置と接続して取得する実行可能な実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得手段の一例として機能する。

次に、ＩＣカード１０は、実行コードを検証する（ステップＳ２）。具体的には、制御部１３は、記憶部１２の不揮発性メモリから、制御部１３のメモリに実行コードをロードする。制御部１３は、後述の実行コード検証のサブルーチンに従って、ロードした実行コードから計算されるチェックコードと、外部装置から取得して記憶部１２に記憶しておいたチェックコードとを比較することによる、実行コードの検証結果を、制御部１３のＯＳ側として受け取る。

次に、ＩＣカード１０は、チェックコードが一致しているか否かを判定する（ステップＳ３）。具体的には、制御部１３は、実行コード検証のサブルーチンによる実行コードの検証結果に基づき、算出したチェックコードと外部装置から取得したチェックコードとが一致しているか否かを判定する。このように、ＩＣカード１０は、取得した誤り検出符号と、算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証手段の一例として機能する。

チェックコードが一致している場合（ステップＳ３：ＹＥＳ）、ＩＣカード１０は、実行コードを実行する（ステップＳ４）。具体的には、制御部１３は、記憶部１２からロードした実行コードを実行する。

チェックコードが一致していない場合（ステップＳ３：ＮＯ）、ＩＣカード１０は、エラーコード不一致の処理を行う（ステップＳ５）。具体的には、制御部１３は、スタートアップ処理のプログラムを止める。なお、制御部１３は、接続している外部装置に、実行コードの実行が不能との通知を行ってもよい。制御部１３は、接続している外部装置に、再度、実行コードを送信する要求してもよい。

（２．２ 実行コード検証のサブルーチン）
次に、図７を用いて実行コード検証のサブルーチンについて説明する。図７は、ＩＣカード１０の実行コード検証のサブルーチンの一例を示すフローチャートである。

図７に示すように、ＩＣカード１０は、インターフェース（ＩＦ）とチェックコード算出方法の対応表を参照し、算出アルゴリズムと、実行コード範囲を選択する（ステップＳ１０）。具体的には、制御部１３は、外部装置２０、外部装置３０等のうち、どの外部装置と接続しているかを示す接続している外部装置の情報、どの通信部１１を介して、接続しているか等のインターフェース情報を取得する。制御部１３は、インターフェース情報等に基づき、記憶部１２のデータベースを参照して、チェックコード算出方法の算出アルゴリズム、および、算出アルゴリズムを適用する実行コード範囲の情報を取得する。このように、ＩＣカード１０は、算出アルゴリズム記憶手段から、外部装置との接続の規格に基づき、算出アルゴリズムを取得する前記算出アルゴリズム取得手段の一例として機能する。

なお、接続した外部装置からＩＣカード１０に送信された、算出アルゴリズムおよび実行コード範囲等のチェックコード算出方法の情報に基づき、ＩＣカード１０が、算出アルゴリズムと、実行コード範囲とを選択してもよい。制御部１３のＣＰＵの処理速度に応じて、算出アルゴリズムおよび実行コード範囲等のチェックコード算出方法が選択されてもよい。

次に、ＩＣカード１０は、チェックコードを算出する（ステップＳ１１）。具体的には、制御部１３は、選択された算出アルゴリズムに従い、ロードした実行コードのうち、選択された範囲から、チェックコードを算出する。より具体的には、接触型のインターフェースの場合、制御部１３は、実行コードの全部に対して、算出アルゴリズムＳＨＡ-２５６で、チェックコードを算出する。非接触型のインターフェースの場合、制御部１３は、実行コードの一部に対して、算出アルゴリズムチェックサムで、チェックコードを算出する。

このように、ＩＣカード１０は、外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、実行コードの誤り検出符号を算出する誤り検出符号算出手段の一例として機能する。ＩＣカード１０は、誤り検出符号の算出アルゴリズムと前記算出アルゴリズムにより前記実行コードのうち前記誤り検出符号を算出する部分とに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出手段の一例として機能する。

次に、ＩＣカード１０は、チェックコードが一致しているか否かを判定する（ステップＳ１２）。具体的には、制御部１３は、ロードした実行コードから算出したチェックコードと、外部装置から取得して記憶部１２に記憶しておいたチェックコードとを比較することにより、判定する。

チェックコードが一致している場合（ステップＳ１２：ＹＥＳ）、ＩＣカード１０は、実行コードのチェックコードが一致している旨を通知する（ステップＳ１３）。具体的には、制御部１３は、チェックコードが一致している旨を制御部１３のＯＳ側に通知する。

チェックコードが一致していない場合（ステップＳ１２：ＮＯ）、ＩＣカード１０は、実行コードのチェックコードが不一致である旨を通知する（ステップＳ１４）。具体的には、制御部１３は、チェックコードが不一致である旨を制御部１３のＯＳ側に通知する。

制御部１３は、実行コード検証のサブルーチンが終了したら、ステップＳ３の処理に進む。

以上説明したように、上記実施形態によれば、外部装置２０、３０と接続して取得する実行可能な実行コードと、実行コードに付随したチェックコードとを取得し、外部装置２０、３０との接続の規格に応じたチェックコードの算出アルゴリズムに従って、実行コードのチェックコードを算出し、取得したチェックコードと、算出したチェックコードと、を比較して実行コードの検証を行うことにより、外部装置２０、３０との接続の規格に応じたチェックコードの算出アルゴリズムに従って、実行コードのチェックコードを算出することによって、規格により要求される時間に合わせて、チェックコードの算出時間を調節できるので、所定の時間内に実行コードによる処理を完了できるように、実行コードの完全性を検証できる。

誤り検出符号の一例であるチェックコードの算出アルゴリズムと算出アルゴリズムにより実行コードのうちチェックコードを算出する部分とに従って、実行コードのチェックコードを算出する場合、実行コードのうちチェックコードを算出する部分にも従って、実行コードのチェックコードを算出することにより、規格により要求される時間に合わせて、チェックコードの算出時間を、より調節できやすくなるので、所定の時間内に実行コードによる処理を完了できるように、実行コードの完全性を検証できる。

外部装置２０、３０との接続の規格と算出アルゴリズムとを関連付けた算出アルゴリズム記憶手段も一例のデータベースを備え、前記算出アルゴリズムのデータベースから、外部装置２０、３０との接続の規格に基づき、算出アルゴリズムを取得する場合、外部装置２０、３０から、外部装置２０、３０との接続の規格に基づいた算出アルゴリズムの情報を取得する必要がない。

外部装置２０、３０と接続して取得した実行可能な実行コードを記憶する実行コード記憶手段の一例のデータベースを不揮発性メモリに備え、この不揮発性メモリから、実行コードとチェックコードとを取得する場合、不揮発性メモリ内のデータベースの情報の破損があっても対処できる。

接続の規格が、外部装置２０、３０との接続のインターフェースのタイプに従った規格である場合、接触型のインターフェース、非接触型のインターフェースといった接続のインターフェースのタイプに従った算出アルゴリズムを適用できる。

（変形例）
次に、認証の動作の変形例について図８を用いて説明する。図８は、ＩＣカード１０のデータベースの変形例を示す図である。

図８に示すように、記憶部１２には、非接触型および接触型のインターフェースそれぞれに対する通信方式毎に、算出アルゴリズムと、実行コードの範囲とが関連付けられたデータベースが構築されている。例えば、非接触型のインターフェースで、通信方式“方式Ａ”の場合、算出アルゴリズム“アルゴリズムＡ”、実行コードの範囲“全体”が対応し、非接触型のインターフェースで、通信方式“方式Ｂ”の場合、算出アルゴリズム“アルゴリズムＢ”、実行コードの範囲“部分Ｉ”が対応し、接触型のインターフェースで、通信方式“方式Ｃ”の場合、算出アルゴリズム“アルゴリズムＣ”、実行コードの範囲“全体”が対応し、接触型のインターフェースで、通信方式“方式Ｄ”の場合、算出アルゴリズム“アルゴリズムＤ”、実行コードの範囲“部分ＩＩ”が対応する。実行コードの範囲“部分Ｉ”と実行コードの範囲“部分ＩＩ”とでは、範囲が異なり、短い時間での処理が必要な場合、範囲がより狭くなる。

ここで、非接触型の通信方式として、“タイプＡ”、“タイプＢ”等のＮＦＣの規格による通信、Bluetooth（登録商標）の規格による通信、ＵＷＢの規格による通信等が挙げられる。
通信方式は、通信の規格でもよい。また、接触型の通信方式として、ISO/IEC7816、SWP(Single Wire Protocol)、I2C(Inter-Integrated Circuit)等が挙げられる。

ＩＣカード１０は、ステップＳ１０において、このデータベースの対応表を参照し、インターフェースが非接触型か接触型か、さらに通信方式に従って、算出アルゴリズムと、実行コード範囲を選択する。

次に、ＩＣカード１０は、ステップＳ１１において、選択された算出アルゴリズムと実行コード範囲とから、チェックコードを算出する。ＩＣカード１０は、ステップＳ１２において、算出したチェックコードと、外部装置から取得して記憶部１２に記憶しておいたチェックコードとを比較する。

接続の規格が、外部装置と接続の通信方式に従った規格である場合、外部装置と接続の通信方式に従った算出アルゴリズムを適用できる。

なお、ＣＰＵの性能に応じて、算出アルゴリズムや実行コードの範囲を変えてもよい。ＣＰＵの性能が低ければ、所定の時間内に処理が完了できるように、計算量が少ない算出アルゴリズムや、実行コードの範囲を狭くしたチェックコードが使用される。

また、ＩＣカード１０が、外部装置から実行コードを受信し、受信した実行コードを記憶部１２に記憶する際に、上記ステップＳ１０からＳ１４の処理を行って、外部装置との接続の規格に応じたチェックコードの算出アルゴリズムに従って、実行コードのチェックコードを算出し、受信したチェックコードと比較することで、実行コードの検証を行ってもよい。

１０ ＩＣカード
１０ｃ ＩＣチップ（電子情報記憶媒体）
１３ 制御部
２０、３０ 外部装置

Claims (7)

1. 外部装置と接続して取得する実行可能な実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得手段と、
   前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出手段と、
   前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証手段と、
   を備え、
   前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とする電子情報記憶媒体。
2. 請求項１に記載の電子情報記憶媒体において、
   誤り検出符号算出手段が、前記誤り検出符号の算出アルゴリズムと前記算出アルゴリズムにより前記実行コードのうち前記誤り検出符号を算出する部分とに従って、前記実行コードの誤り検出符号を算出することを特徴とする電子情報記憶媒体。
3. 請求項１または請求項２に記載の電子情報記憶媒体において、
   前記外部装置との接続の規格と前記算出アルゴリズムとを関連付けた算出アルゴリズム記憶手段を更に備え、
   前記算出アルゴリズム記憶手段から、前記外部装置との接続の規格に基づき、前記算出アルゴリズムを取得する算出アルゴリズム取得手段を更に備えることを特徴とする電子情報記憶媒体。
4. 請求項１または請求項２に記載の電子情報記憶媒体において、
   前記外部装置と接続して取得した実行可能な実行コードを記憶する実行コード記憶手段を更に備え、
   前記実行コード・誤り検出符号取得手段が、前記実行コード記憶手段から、前記実行コードと前記誤り検出符号とを取得することを特徴とする電子情報記憶媒体。
5. 請求項１または請求項２に記載の電子情報記憶媒体において、
   前記接続の規格が、前記外部装置と接続の通信方式に従った規格であることを特徴とする電子情報記憶媒体。
6. 実行コード・誤り検出符号取得手段が、外部装置と接続して取得する実行可能な実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得ステップと、
   誤り検出符号算出手段が、前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出ステップと、
   誤り検出符号比較手段が、前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証ステップと、
   を含み、
   前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とする検証方法。
7. 外部装置と接続して取得する実行可能な実行コードを実行する電子情報記憶媒体に含まれるコンピュータを、
   前記実行コードと、前記実行コードに付随した誤り検出符号とを取得する実行コード・誤り検出符号取得手段、
   前記外部装置との接続の規格に応じた誤り検出符号の算出アルゴリズムに従って、前記実行コードの誤り検出符号を算出する誤り検出符号算出手段、
   前記取得した誤り検出符号と、前記算出した誤り検出符号と、を比較して前記実行コードの検証を行う検証手段として機能させ、
   前記接続の規格が、前記外部装置との接続のインターフェースのタイプに従った規格であることを特徴とするプログラム。

Images