JP2004318564A - Ｉｃカード及びｉｃカードプログラム - Google Patents

Abstract

【課題】価値情報の提供にかかる負担を軽減し、価値情報にかかる知的財産を保護することが可能であるとともに、提供した価値情報の無効化にかかる諸問題に対処するなどの応用性及び利便性の高いＩＣカード及びＩＣカードプログラムを提供することである。
【解決手段】発行用秘密鍵ＳＫａｄで署名を付した発行証明書と、カウンタ値とを合わせてユーザ秘密鍵ＰＫａｄで暗号化してユーザＩＣカード２０が生成した、対象アプリケーションを削除したことを証明する削除証明書を受信し、公開鍵証明書ＰＫＣｉｃから抽出したユーザ公開鍵ＰＫｉｃ、記憶している発行用公開鍵ＰＫａｄで署名の検証、発行証明書の内容の検証、カウンタ値の照合などを行い、削除証明書が正当であると判定した場合に、ライセンス情報の対象アプリケーションの提供可能回数をインクリメントする発行管理ＩＣカード１０。
【選択図】 図３

Description

【０００１】
【発明の属する技術分野】
本発明は、アプリケーションの発行などの価値情報の提供を管理するＩＣカード及びＩＣカードプログラムに関するものである。
【０００２】
【従来の技術】
近年、ＭＥＬ（Ｍｕｌｔｏｓ Ｅｘｅｃｕｔａｂｌｅ Ｌａｎｇｕａｇｅ）言語、Ｊａｖａ言語（「ＪＡＶＡ」は登録商標）などで記述され、基本的にどのようなプラットフォーム（オペレーティングシステムの種類や環境、設定など、以下、「オペレーティングシステム」を「ＯＳ」という。）上でも動作可能なアプリケーションを複数搭載することが可能なＭＵＬＴＯＳカードやＪａｖａＣａｒｄなど、複数のアプリケーションを搭載することが可能なプラットフォーム型ＩＣカードが登場している（例えば、特許文献１参照。）。なお、搭載とは、実行可能なように記憶することである。
このプラットフォーム型ＩＣカードは、カードの発行と管理の業務を行う事業主体者であるカード発行者によって発行される。また、アプリケーションは、アプリケーションの実行に必要なカード使用者情報、暗号鍵などの、各ＩＣカードに応じて異なる情報であるカード個別情報を予めアプリケーションに書き込み、初期設定を行う必要があるため、カード個別情報のもとである顧客情報などを有し、アプリケーションにかかるサービスをカード使用者に提供するアプリケーションサービス提供者（以下、「サービス提供者」という。）によって発行される。なお、アプリケーションの発行とは、アプリケーションを使用する情報処理装置などのアプリケーション使用装置にアプリケーションを搭載し、アプリケーションを実行（使用）可能な状態とすることである。
また、ＩＣカードとは、その基材を問わず、ＳＩＭカード、ＩＣタグなどの少なくともＣＰＵと、外部との通信手段と、情報を記憶する記憶手段とを備え、使用者が直接的にコマンドを入力するマン・マシンインターフェイスであるキーボード、マウスなどの入力装置を備えていない機密性の高い携帯型の情報処理装置をいう。
【０００３】
【特許文献１】
特開２００２−５６３６０号公報（第４−５頁、図８）
【０００４】
【発明が解決しようとする課題】
しかし、このアプリケーションがカード発行者などのサービス提供者以外の者によって開発された場合には、アプリケーションのコードをサービス提供者が入手するため、リバースエンジニアリングによりプログラムで使用されている技術ノウハウが知られる可能性があった。また、カード発行者及びサービス提供者が機密保持契約を結んだ場合であっても、サービス提供者によって契約違反が行われたときには、カード発行者がその事実を認識すること、また、証明することが困難であるという問題があった。
更に、例えば、カード発行者がサービス提供者にアプリケーションを複製して１００枚のＩＣカードに搭載することを許諾する契約を結び、サービス提供者が１００枚以上のＩＣカードにこのアプリケーションを搭載した場合であっても、この事実をカード発行者が認識、また、証明することができず、著作権などのアプリケーションにかかる権利がないがしろにされるおそれがあった。
一方、技術ノウハウの流出を防止するため、暗号化やデジタル署名を施したアプリケーションをサービス提供者へ供給し、ＩＣカード内部で復号する場合には、カード個別情報をアプリケーションに書き込み、初期設定を行うことができないという問題があった。
また、実行に暗号鍵を必要とするアプリケーションである場合には、暗号鍵を生成し、アプリケーションへ書き込み、初期設定を行う必要があるため、サービス提供者が機密情報を保護するための高度なセキュリティ設備が必要となり、アプリケーションの発行を行うサービス提供者に負担がかかるおそれがあった。
更に、技術ノウハウの流出の問題及びアプリケーションにかかる権利の問題は、カード発行者及びサービス提供者間だけでなく、データベース、音楽データ、画像データなどの権利対象となる情報、技術ノウハウなどの機密事項を含有する情報などの価値を有するひとまとまりのデータ、プログラムである価値情報（知的財産）を他者へ提供する場合には、生じうる問題である。
本出願人は、これらの問題を解決する「ＩＣカード及びＩＣカードプログラム」の発明について先行出願を行っている（特願２００３−００８６２１）。
【０００５】
ここで、先行出願にかかるＩＣカード及びＩＣカードプログラムについて説明する。なお、後述する本発明の実施形態の説明の便宜上、先行出願の内容を適宜調整したものを以下に記述する。
図７は、先行出願にかかるＩＣカードの使用形態を説明するための図である。なお、先行出願にかかるＩＣカードは、発行管理ＩＣカード１０−３である。
図７に示すように、アプリケーション発行管理システム１−３は、発行管理ＩＣカード１０−３と、ユーザＩＣカード２０−３と、発行管理ＩＣカード１０−３及びユーザＩＣカード２０−３のそれぞれがリーダライタ（以下、「リーダライタ」を「Ｒ／Ｗ」という。）４０Ａ，４０Ｂを介して接続されている外部装置３０とを備えている。
アプリケーション発行管理システム１−３は、外部装置３０が発行管理ＩＣカード１０−３から提供される価値情報であるアプリケーション（以下、提供の対象となるアプリケーションを「対象アプリケーション」という。）を、この対象アプリケーションを実行し、使用する所定の価値情報使用装置である複数のユーザＩＣカード２０−３（２０Ａ−３，２０Ｂ−３，２０Ｃ−３，・・・）へ個々に書き込み、対象アプリケーションの発行（アプリケーション発行処理）を行うシステムである。
【０００６】
外部装置３０は、キーボードなどの入力手段、ディスプレイなどの出力手段、Ｒ／Ｗ４０Ａ，４０Ｂと通信を行う入出力インターフェイスなどの通信手段、ＣＰＵなどの制御手段、プログラム、カード個別情報ＤＢなどのデータを記憶する記憶手段などを備え、サービス提供者が管理するコンピュータであって、Ｒ／Ｗ４０Ａを介して発行管理ＩＣカード１０−３と、Ｒ／Ｗ４０Ｂを介してユーザＩＣカード２０−３と通信を行う。カード個別情報ＤＢは、各ユーザＩＣカード２０−３に応じたカード個別情報を格納している。外部装置３０は、所定のコマンドを送信することによって、発行管理ＩＣカード１０−３から情報を読み出し、この読み出した情報をユーザＩＣカード２０−３へ書き込み、同様に、ユーザＩＣカード２０−３から読み出した情報を発行管理ＩＣカード１０−３へ書き込むなど、発行管理ＩＣカード１０−３及びユーザＩＣカード２０−３間の情報の授受を実現させる。
【０００７】
図８は、先行出願にかかるＩＣカードの実施形態を示すブロック図である。
図８に示すように、発行管理ＩＣカード１０−３は、通信部１１と、ＣＰＵ１２−３と、３つのメモリ１３，１４，１５−３とを備え、アプリケーションを提供するカード発行者によって初期設定が行われ、発行される。通信部１１及びメモリ１３，１４，１５−３は、ＣＰＵ１２−３に接続されている。
通信部１１は、Ｒ／Ｗ４０Ａの接触端子と接触して電気的導通を行う複数の端子などを備え、Ｒ／Ｗ４０Ａに挿入され、接続されることによって、電源、クロックの供給を受け、Ｒ／Ｗ４０Ａと情報の送受信、つまり、Ｒ／Ｗ４０Ａからの情報の入力及びＲ／Ｗ４０Ａへの情報の出力を行う入出力手段であり、Ｒ／Ｗ４０Ａとともに、ＣＰＵ１２−３及び外部装置３０間の通信を媒介する。
【０００８】
３つのメモリは、ＲＡＭ１３、ＲＯＭ１４及び不揮発性メモリ１５−３であり、プログラム、データなどのＣＰＵ１２−３の処理に必要な情報を記憶するための記憶手段である。ＲＡＭ１３は、揮発性メモリであり、ＣＰＵ１２−３が処理を行う作業領域として使用される。ＲＯＭ１４は、不揮発性の読み出し専用メモリであって、ＯＳなどの基本ソフトウェア、実行環境などのプログラム、パラメータなどのハードウェアを管理し、アプリケーションがこれを利用できるようにするプログラム及びデータを格納している。
【０００９】
不揮発性メモリ１５−３は、ＥＥＰＲＯＭ、フラッシュメモリ、ＦＲＡＭなどの随時書き換え可能な不揮発性のメモリであり、通常ユーザのワークエリア、プログラムエリアなどとして使用され、複数のアプリケーションを記憶することが可能である。また、不揮発性メモリ１５−３は、対象アプリケーション、ライセンス情報、アプリケーション発行用公開鍵（以下、「発行用公開鍵」という。）ＰＫａｄ、発行情報などを記憶している。
【００１０】
図９は、先行出願にかかる発行管理ＩＣカード及びユーザＩＣカードの不揮発性メモリが記憶している情報を説明するための図である。
図９に示すように、対象アプリケーション、ライセンス情報、発行用公開鍵ＰＫａｄ及び発行情報は、発行管理ＩＣカード１０−３の初期設定を行う発行段階において不揮発性メモリ１５−３に書き込まれる。対象アプリケーションは、プログラムコードを格納するコード部と、このプログラムコードの実行に必要なデータを格納するデータ部とを備え、不揮発性メモリ１５−３に機密保持状態で記憶されている。対象アプリケーションのデータ部は、カード個別情報を含んでいない状態である。
【００１１】
ライセンス情報は、対象アプリケーションの複製、外部への出力などを制限し、ユーザＩＣカード２０−３へ対象アプリケーションを提供する回数を制限するための提供回数制限情報であって、本実施形態においては、ＣＰＵ１２−３の提供許否判定部１２４が暗号化部１２１による対象アプリケーションの暗号化（後述する図１０参照）を許可するか否かを判定するにあたり、基とする情報であって、発行管理ＩＣカード１０−３が暗号化アプリケーションを生成することができる回数（１００回）を示し、暗号化アプリケーションを生成するたびに回数が減少する。従って、発行管理ＩＣカード１０−３は、この回数だけ対象アプリケーションを暗号化し、暗号化アプリケーションを生成すること、つまり、複製することができる。カード発行者は、発行管理ＩＣカード１０−３の生成過程において、サービス提供者に許諾した、対象アプリケーションを複製し、発行できる回数（提供可能回数）をこのライセンス情報に設定する。ライセンス情報の読み出しは、所定の読み出しコマンドで行うことができるが、書き込み及び書き換えは、認証などの所定の条件を満たすことが必要である。発行用秘密鍵ＳＫａｄ及び発行用公開鍵ＰＫａｄは、公開鍵暗号方式で使用されるペアの暗号鍵であって、カード発行者によって所有、管理される。特に発行用秘密鍵ＳＫａｄは、他の者に漏洩することのないように機密保持状態で、つまり、セキュアに管理されている。発行情報は、対象アプリケーションの提供元、つまり、カード発行者（発行管理ＩＣカード１０−３）の識別情報と、対象アプリケーションの種類、バージョン、ＩＤ番号などのアプリケーションの属性情報などとを含んでいる。
【００１２】
図８に示すように、ＣＰＵ１２−３は、ＲＯＭ１４、不揮発性メモリ１５−３などに格納されているＯＳ、アプリケーションなどのプログラムを実行することによって、発行管理ＩＣカード１０−３を統括制御し、Ｒ／Ｗ４０Ａから受信するコマンドに応じた処理を行い、暗号化部１２１、復号部１２２、使用正当性判定部１２３、提供許否判定部１２４、書込／書換部１２５、発行証明生成部１２６などを実現し、処理結果をレスポンスとしてＲ／Ｗ４０Ａへ送信する。各部の機能については、図１０を用いて後述する。
【００１３】
ユーザＩＣカード２０−３は、通信部２１と、ＣＰＵ２２−３と、３つのメモリ２３，２４，２５などとを備え、事業主体者であるカード発行者によって発行される。通信部２１及びメモリ２３，２４，２５は、ＣＰＵ２２−３に接続されている。
通信部２１は、発行管理ＩＣカード１０−３の通信部１１と同様の機能を備え、Ｒ／Ｗ４０Ｂとともに、ＣＰＵ２２−３及び外部装置３０間の通信を媒介する。
３つのメモリは、ＲＡＭ２３、ＲＯＭ２４及び不揮発性メモリ２５であり、発行管理ＩＣカード１０−３のＲＡＭ１３、ＲＯＭ１４及び不揮発性メモリ１５−３と同様の機能を備えている。不揮発性メモリ２５は、ＲＳＡなどの公開鍵暗号方式で使用される、ユーザＩＣカード２０−３に固有のユーザ秘密鍵ＳＫｉｃ、公開鍵証明書ＰＫＣｉｃ、カード情報などを記憶している。
【００１４】
図９に示すように、公開鍵証明書ＰＫＣｉｃ、ユーザ秘密鍵ＳＫｉｃ、カード情報は、ユーザＩＣカード２０−３の発行段階において不揮発性メモリ２５に書き込まれ、特にユーザ秘密鍵ＳＫｉｃは、不揮発性メモリ２５に機密保持状態で記憶されている。ユーザ秘密鍵ＳＫｉｃ及びユーザ公開鍵ＰＫｉｃは、公開鍵暗号方式で使用されるユーザＩＣカードに固有のペアの暗号鍵であって、カード発行者によって所有及び管理される。カード発行者は、ユーザＩＣカード２０−３毎に異なる暗号鍵ペアを準備する。カード情報は、ユーザＩＣカード２０−３の識別情報、カード発行者の識別情報などのユーザＩＣカード２０−３の属性情報などを含んでいる。
【００１５】
公開鍵証明書ＰＫＣｉｃは、公開鍵証明書ＰＫＣｉｃに含まれるユーザ公開鍵ＰＫｉｃがユーザＩＣカード２０−３の公開鍵であることを示す情報を、発行用秘密鍵ＳＫａｄで暗号化し、デジタル署名を付したものである。デジタル署名とは、署名が付される情報の作成者を証明し、その情報が改竄されていないことを保証するとともに、署名者がその情報を作成したことを否認することができないようにする電子署名の一種であって、情報の正当性を保証するために付される暗号化された署名情報である。署名者は、自身の秘密鍵を用いて暗号化した署名を情報に付して送る。受取人は、署名者の公開鍵を用いて署名を復号し、正当性の認証を行う。従って、公開鍵証明書ＰＫＣｉｃは、発行用秘密鍵ＳＫａｄの管理者であり、対象アプリケーションにかかる権利を有するカード発行者が、ユーザＩＣカード２０−３における対象アプリケーションの使用を許諾したことを証明するための情報であって、ユーザＩＣカード２０−３が対象アプリケーションを正当に使用できることを認証するための正当使用認証情報である。
【００１６】
図８に示すように、ＣＰＵ２２−３は、ＲＯＭ２４、不揮発性メモリ２５などに格納されているＯＳ、アプリケーションなどのプログラムを実行することによって、ユーザＩＣカード２０−３を統括制御し、コマンドに応じた処理を行い、復号部２２１、書込／書換部２２２、受領証明生成部２２３などを実現し、処理結果をレスポンスとしてＲ／Ｗ４０Ｂへ送信する。各部の機能については、図１０を用いて後述する。
【００１７】
図１０及び図１１は、先行出願にかかるＩＣカードの実施形態における動作及び先行出願にかかるＩＣカードプログラムの実施形態を示す図であって、アプリケーション発行処理を示している。図１０は、フローチャートであり、図１１は、発行管理ＩＣカード及びユーザＩＣカードにおける情報の入出力を説明するための図である。なお、発行管理ＩＣカード１０−３、ユーザＩＣカード２０−３及び外部装置３０の処理を中心に説明し、外部装置３０を図示しない。
図１０に示すように、ステップ７００及びステップ８００（以下、「ステップ」を「Ｓ」という。）において、発行管理ＩＣカード１０−３は、Ｒ／Ｗ４０Ａに、ユーザＩＣカード２０−３は、Ｒ／Ｗ４０Ｂにそれぞれ挿入され、電源などの供給を受け、活性化されている。
Ｓ７０１において、発行管理ＩＣカード１０−３は、カード個別情報を含み、カード個別情報の書き込みを要求するコマンドを外部装置３０から受信し、書込／書換部１２５は、不揮発性メモリ１５−３に記憶されている対象アプリケーションのデータ部にカード個別情報を書き込み、正常終了のレスポンスを外部装置３０へ送信する（図１１の＃４１０）。
【００１８】
Ｓ８０１において、ユーザＩＣカード２０−３は、公開鍵証明書ＰＫＣｉｃの読み出しを要求するコマンドを外部装置３０から受信し、レスポンスとして公開鍵証明書ＰＫＣｉｃを外部装置３０へ送信する（Ｓ８０２、＃４２０）。また、ユーザＩＣカード２０−３は、同様にカード情報の読み出しを要求するコマンドを受信し（Ｓ８０３）、カード情報を外部装置３０へ送信する（Ｓ８０４、＃４３０）
Ｓ７０２において、発行管理ＩＣカード１０−３は、公開鍵証明書ＰＫＣｉｃを含み、暗号化アプリケーションの生成を要求するコマンドを受信する（＃４４０）。また、このコマンドは、対象アプリケーションを提供するために、対象アプリケーションの暗号化を要求する、つまり、対象アプリケーションの提供にかかる処理を行うことを要求するアプリケーション提供要求である。Ｓ７０３において、提供許否判定部１２４は、不揮発性メモリ１５−３に記憶されているライセンス情報に基づいて、対象アプリケーションの暗号化を許可するか否かを判定する。具体的には、提供許否判定部１２４は、ライセンス情報が１回以上であるか否かを判定し、０回である場合には、否と判定し、その旨を示すエラーのレスポンスを外部装置３０へ送信し（Ｓ７１３）、処理を終了する（Ｓ７１４）。
【００１９】
ライセンス情報が１回以上である場合には、復号部１２２は、公開鍵証明書ＰＫＣｉｃを発行用公開鍵ＰＫａｄで復号する（Ｓ７０４）。使用正当性判定部１２３は、復号部１２２が復号できるか否かに基づいて、デジタル署名の正当性を検証、つまり、ユーザＩＣカード２０−３による対象アプリケーションの使用が正当であるか否かを判定する（Ｓ７０５、＃４５０）。復号できず、使用正当性判定部１２３が否と判定した場合には、その旨を示すエラーのレスポンスを外部装置３０へ送信し（Ｓ７１３）、処理を終了する（Ｓ７１４）。
【００２０】
一方、使用正当性判定部１２３が肯と判定した場合には、ＣＰＵ１２−３は、ライセンス情報を１回減らし（Ｓ７０６、＃４６０）、暗号化部１２１は、個別情報の書き込まれている対象アプリケーションをカード発行者が使用を許可したユーザＩＣカード２０−３でのみ復号可能なように暗号化する（Ｓ７０７、＃４７０）。つまり、ユーザＩＣカード２０−３に記憶されているユーザ秘密鍵ＳＫｉｃに対応する公開鍵証明書ＰＫＣｉｃから抽出したユーザ公開鍵ＰＫｉｃで対象アプリケーションを暗号化し、暗号化アプリケーションを生成する。発行管理ＩＣカード１０−３は、正常終了のレスポンスを外部装置３０へ送信し（Ｓ７０８）、ユーザＩＣカード２０−３のカード情報を含み、暗号化アプリケーションの読み出し及び発行証明書の生成を要求するコマンドを外部装置３０から受信する（Ｓ７０９、＃４８０）。Ｓ７１０において、発行証明生成部１２６は、発行証明書を生成する（＃４９０）。発行証明書は、対応する対象アプリケーションを発行管理ＩＣカード１０−３からユーザＩＣカード２０−３へ提供したこと、つまり、対象アプリケーションの提供経路を、対象アプリケーションの提供を管理するカード発行者が証明する情報である。発行証明生成部１２６は、対象アプリケーションの提供先であるユーザＩＣカード２０−３を識別する提供先カード識別情報、対象アプリケーションの提供元である発行管理ＩＣカード１０−３を識別する提供元カード識別情報、対象アプリケーションの属性情報などを含む発行情報及びカード情報を、発行用秘密鍵ＳＫａｄで暗号化し、デジタル署名を付して発行証明書を生成する。発行管理ＩＣカード１０−３は、暗号化アプリケーション及び発行証明書を含むレスポンスを送信する（Ｓ７１１、＃５００）。
【００２１】
ユーザＩＣカード２０−３は、暗号化アプリケーション及び発行証明書を含み、対象アプリケーション及び発行証明書の書込を要求するコマンドを外部装置３０から受信し（Ｓ８０５、＃５１０）、復号部２２１は、ユーザ秘密鍵ＳＫｉｃを用いて暗号化アプリケーションを復号し（Ｓ８０６、＃５２０）、書込／書換部２２２は、復号された対象アプリケーションを不揮発性メモリ２５へ書き込む（Ｓ８０７、＃５３０）。受領証明生成部２２３は、対象アプリケーションの書込が完了したＩＣカード、つまり、ユーザＩＣカード２０−３の識別情報と、対象アプリケーションの提供元である発行管理ＩＣカード１０−３の識別情報、対象アプリケーションの属性情報などを含む情報を、ユーザ秘密鍵ＳＫｉｃで暗号化し、受領証明書を生成する（Ｓ８０８）。ユーザＩＣカード２０−３は、この受領証明書を含む正常終了のレスポンスを外部装置３０へ送信し（Ｓ８０９）、処理を終了する（Ｓ８１０）。不揮発性メモリ２５は、書き込まれた対象アプリケーションを機密保持状態で記憶する。発行管理ＩＣカード１０は、この受領証明書を受信し、不揮発性メモリ２５へ書き込み（Ｓ７１２）、処理を終了する（Ｓ７１４）。
なお、複数のユーザＩＣカード２０−３に対象アプリケーションを提供する場合には、Ｒ／Ｗ４０Ｂに挿入されているユーザＩＣカード２０−３を入れ替え、同様の処理を繰り返す。なお、この場合には、Ｓ７０１において、発行管理ＩＣカード１０−３の書込／書換部１２５は、不揮発性メモリ１５−３に記憶されている対象アプリケーションのカード個別情報を書き換える。
【００２２】
しかし、以上説明した先願にかかる発明においては、婚姻によるカード使用者の名義変更などによって、発行済みの対象アプリケーションを搭載したユーザＩＣカード２０−３の券面上の情報が有効性を失った場合には、券面上の情報を変更した新たなユーザＩＣカード２０−３を再発行する必要があり、この新たなユーザＩＣカード２０−３に再び対象アプリケーションを発行したときには、新たなライセンス情報が消費される（図１０のＳ７０６）。つまり、同一のカード使用者に対して同一の対象アプリケーションを発行する場合であっても、ライセンス情報が消費されることとなり、対象アプリケーションの使用許諾という概念にそぐわず、利便性に欠けるおそれがあった。
また、対象アプリケーションがバージョンアップし、ユーザＩＣカード２０−３から旧バージョンの対象アプリケーションを削除するなど、発行済みの対象アプリケーションを以後使用できない状態とする対象アプリケーションの無効化と引き換えに新バーションの対象アプリケーションの使用を許諾（発行）する場合には、旧バージョンの対象アプリケーションが無効化されたか否かを確実に確認できず、実現性に欠けるという問題があった。
【００２３】
本発明の課題は、価値情報の提供にかかる負担を軽減し、価値情報にかかる知的財産を保護することが可能であるとともに、提供した価値情報の無効化にかかる上記諸問題に対処するなどの応用性及び利便性の高いＩＣカード及びＩＣカードプログラムを提供することである。
【００２４】
【課題を解決するための手段】
本発明は、以下のような解決手段により、前記課題を解決する。なお、理解を容易にするために、本発明の実施形態に対応する符号を付して説明するが、これに限定されるものではない。すなわち、請求項１の発明は、ひとまとまりのデータ及び／又はプログラムである価値情報を使用する価値情報使用装置（２０）へ提供するための前記価値情報を記憶する価値情報記憶手段（１５，１５−２）と、前記価値情報の複製及び／又は外部への出力を行うことができる回数である提供可能回数を含む提供回数制限情報を記憶する提供回数制限情報記憶手段（１５，１５−２）とを備えるＩＣカードであって、外部から無効化証明情報を入力する無効化証明情報入力手段（１１）と、前記無効化証明情報入力手段によって入力される無効化証明情報が正当なものであるか否かを判定する無効化証明判定手段（１２７，１２７−２）と、前記無効化証明判定手段によって肯と判定された場合に、前記提供可能回数を増加させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換える前記提供回数制限情報書き換え手段（１２５）とを備えること、を特徴とするＩＣカード（１０，１０−２）である。
【００２５】
請求項２の発明は、請求項１に記載のＩＣカードにおいて、所定の前記価値情報使用装置でのみ復号可能なように、前記価値情報記憶手段によって記憶されている価値情報を暗号化し、暗号化価値情報を生成する暗号化手段（１２１）と、前記暗号化手段によって生成される暗号化価値情報を外部へ出力する価値情報出力手段（１１）とを備え、前記提供回数制限情報書き換え手段は、前記暗号化手段による前記価値情報の暗号化、及び／又は、前記価値情報出力手段による前記暗号化価値情報の外部への出力に応じて、前記提供可能回数を減少させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換えること、を特徴とするＩＣカード（１０，１０−２）である。
【００２６】
請求項３の発明は、請求項１又は請求項２に記載のＩＣカードにおいて、前記価値情報記憶手段は、前記価値情報使用装置へ提供する一又は複数のアプリケーションを記憶すること、を特徴とするＩＣカード（１０，１０−２）である。
【００２７】
請求項４の発明は、請求項１から請求項３までのいずれか１項に記載のＩＣカードにおいて、前記無効化証明判定手段は、前記無効化証明情報が所定の前記価値情報使用装置において所定の価値情報が無効とされたことを証明するか否かを判定する無効化過程判定手段（１２７）を有し、前記無効化過程判定手段によって否と判定された場合に、否と判定すること、を特徴とするＩＣカード（１０，１０−２）である。
【００２８】
請求項５の発明は、請求項４に記載のＩＣカードにおいて、前記無効化過程判定手段は、前記無効化証明情報に所定の電子署名が付されているか否かに基づいて、前記所定の価値情報使用装置において価値情報が無効とされたか否かを判定する装置正当性判定手段（１２７，Ｓ５１０，Ｓ５２０）を有し、前記装置正当性判定手段によって否と判定された場合に、否と判定すること、を特徴とするＩＣカード（１０，１０−２）である。
【００２９】
請求項６の発明は、請求項４又は請求項５に記載のＩＣカードにおいて、前記無効化過程判定手段は、前記価値情報の属性情報、前記価値情報の提供元の識別情報又は前記価値情報の提供先の識別情報のうちの少なくとも一を含む、前記無効化証明情報に含まれる提供経路情報に基づいて、前記所定の価値情報が無効とされたか否かを判定する価値情報正当性判定手段（１２７，Ｓ５５０，Ｓ５６０）を有し、前記価値情報正当性判定手段によって否と判定された場合に、否と判定すること、を特徴とするＩＣカード（１０，１０−２）である。
【００３０】
請求項７の発明は、請求項６に記載のＩＣカードにおいて、前記価値情報正当性判定手段は、前記提供経路情報に所定の電子署名が付されているか否かに基づいて、前記提供経路情報が正当なものであるか否かを判定する提供経路正当性判定手段（１２７，Ｓ５３０，Ｓ５４０）を有し、前記提供経路正当性判定手段によって否と判定された場合に、否と判定すること、を特徴とするＩＣカード（１０，１０−２）である。
【００３１】
請求項８の発明は、請求項１から請求項７までのいずれか１項に記載のＩＣカードにおいて、前記無効化証明判定手段は、前記無効化証明情報入力手段によって入力された無効化証明情報と同一の無効化証明情報が以前に入力されていたか否かを判定する重複入力判定手段（１２７，Ｓ５７０，Ｓ５８０）を有し、前記重複入力判定手段によって肯と判定された場合に、否と判定すること、を特徴とするＩＣカード（１０，１０−２）である。
【００３２】
請求項９の発明は、請求項８に記載のＩＣカードにおいて、処理段階の進行に応じて書き換えられる処理段階の識別情報である処理段階情報を記憶する処理段階情報記憶手段（１５，１５−２）と、所定の要求があった場合に、前記処理段階情報記憶手段によって記憶されている処理段階情報を出力する処理段階情報出力手段（１１）とを備え、前記重複入力判定手段は、前記無効化証明情報入力手段によって入力された無効化証明情報に含まれる、前記処理段階情報出力手段によって出力された処理段階情報と、前記処理段階情報記憶手段によって記憶されている処理段階情報とを照合し、判定を行うこと、を特徴とするＩＣカード（１０，１０−２）である。
【００３３】
請求項１０の発明は、ひとまとまりのデータ及び／又はプログラムである価値情報を使用する価値情報使用装置へ提供するための前記価値情報を記憶する価値情報記憶手段（１５，１５−２）と、前記価値情報の複製及び／又は外部への出力を行うことができる回数である提供可能回数を含む提供回数制限情報を記憶する提供回数制限情報記憶手段（１５，１５−２）とを備えるＩＣカード（１０，１０−２）のＣＰＵ（１２，１２−２）に実行させるＩＣカードプログラムであって、所定の要求があった場合に、外部から入力した無効化証明情報が正当なものであるか否かを判定する無効化証明判定ステップ（Ｓ１４０，Ｓ１６０）と、前記無効化証明判定ステップにおいて肯と判定された場合に、前記提供可能回数を一増加させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換える提供回数制限情報書き換えステップ（Ｓ１８０）とを備えること、を特徴とするＩＣカードプログラムである。
【００３４】
請求項１１の発明は、請求項１０に記載のＩＣカードプログラムにおいて、前記無効化証明判定ステップは、前記無効化証明情報が所定の前記価値情報使用装置において所定の価値情報が無効とされたことを証明するか否かを判定する無効化過程判定ステップ（Ｓ１４０，Ｓ５１０〜Ｓ５７０）を有し、前記無効化過程判定ステップにおいて否と判定した場合に、否と判定すること、を特徴とするＩＣカードプログラムである。
【００３５】
請求項１２の発明は、請求項１１に記載のＩＣカードプログラムにおいて、前記無効化過程判定ステップは、前記無効化証明情報に所定の電子署名が付されているか否かに基づいて、前記所定の価値情報使用装置において価値情報が無効とされたか否かを判定する装置正当性判定ステップ（Ｓ５１０，Ｓ５２０）を有し、前記装置正当性判定ステップにおいて否と判定した場合に、否と判定すること、を特徴とするＩＣカードプログラムである。
【００３６】
請求項１３の発明は、請求項１１又は請求項１２に記載のＩＣカードプログラムにおいて、前記無効化過程判定ステップは、前記価値情報の属性情報、前記価値情報の提供元の識別情報又は前記価値情報の提供先の識別情報のうちの少なくとも一を含む、前記無効化証明情報に含まれる提供経路情報に基づいて、前記所定の価値情報が無効とされたか否かを判定する価値情報正当性判定ステップ（Ｓ５５０，Ｓ５６０）を有し、前記価値情報正当性判定ステップにおいて否と判定した場合に、否と判定すること、を特徴とするＩＣカードプログラムである。
【００３７】
請求項１４の発明は、請求項１３に記載のＩＣカードプログラムにおいて、前記価値情報正当性判定ステップは、前記提供経路情報に所定の電子署名が付されているか否かに基づいて、前記提供経路情報が正当なものであるか否かを判定する提供経路正当性判定ステップ（Ｓ５３０，Ｓ５４０）を有し、前記提供経路正当性判定ステップにおいて否と判定した場合に、否と判定すること、を特徴とするＩＣカードプログラムである。
【００３８】
請求項１５の発明は、請求項１０から請求項１４までのいずれか１項に記載のＩＣカードプログラムにおいて、前記無効化証明判定ステップは、前記外部から入力した無効化証明情報を以前に入力していたか否かを判定する重複入力判定ステップ（Ｓ５７０，Ｓ５８０）を有し、前記重複入力判定ステップにおいて肯と判定した場合に、否と判定すること、を特徴とするＩＣカードプログラムである。
【００３９】
請求項１６の発明は、請求項１５に記載のＩＣカードプログラムにおいて、所定の要求があった場合に、処理段階の進行に応じて書き換えられる処理段階の識別情報である処理段階情報を出力する処理段階情報出力ステップ（Ｓ１１０）を備え、前記重複入力判定ステップは、前記外部から入力した無効化証明情報に含まれる、前記処理段階情報出力ステップにおいて出力された処理段階情報に基づいて判定を行うこと、を特徴とするＩＣカードプログラムである。
【００４０】
【発明の実施の形態】
以下、図面などを参照しながら、本発明の実施の形態について、更に詳しく説明する。
（第１実施形態）
図１は、本発明によるＩＣカードの第１実施形態を示すブロック図である。
なお、前述した実施形態と同様の機能を果たす部分には、同一の符号を付して、重複する説明を適宜省略する。また、本発明によるＩＣカードは、発行管理ＩＣカード１０である。
図１に示すように、アプリケーション発行管理システム１は、発行管理ＩＣカード１０と、ユーザＩＣカード２０と、発行管理ＩＣカード１０及びユーザＩＣカード２０のそれぞれがＲ／Ｗ４０Ａ，４０Ｂを介して接続されている外部装置３０とを備え、アプリケーション発行処理、発行管理ＩＣカード１０が発行した対象アプリケーションの削除を確認するアプリケーション削除確認処理などを行い、対象アプリケーションの発行を管理するシステムである。
【００４１】
発行管理ＩＣカード１０は、発行管理ＩＣカード１０−３と同様の構成を備えている。
不揮発性メモリ１５は、対象アプリケーション、ライセンス情報、発行用公開鍵ＰＫａｄ、発行用秘密鍵ＳＫａｄ、発行情報、カウンタ値などを記憶している。カウンタ値は、各トランザクションがコミット（処理の成功が確定）するたびにその値がインクリメントされる処理段階の識別情報である。トランザクションとは、関連する複数の処理を一つの処理単位としてまとめたものである。
【００４２】
ＣＰＵ１２は、ＲＯＭ１４、不揮発性メモリ１５などに格納されているプログラムを実行することによって、暗号化部１２１、復号部１２２、使用正当性判定部１２３、提供許否判定部１２４、書込／書換部１２５、発行証明生成部１２６、削除証明判定部１２７などを実現する。削除証明判定部１２７の機能については、図２、図３及び図４を用いて後述する。
【００４３】
ユーザＩＣカード２０は、ユーザＩＣカード２０−３と同様の構成を備え、図１０に示すアプリケーション発行処理が行われ、発行管理ＩＣカード１０から対象アプリケーション及び発行証明の提供を受け、カード使用者へ配布された後に、券面上の情報が有効性を失うなどの事情により使用できなくなり、サービス提供者に返送されたカードである。
不揮発性メモリ２５は、発行管理ＩＣカード１０から提供された対象アプリケーション、発行証明書などを記憶している。
【００４４】
ＣＰＵ２２は、ＲＯＭ２４、不揮発性メモリ２５などに格納されているプログラムを実行することによって、復号部２２１、書込／書換部２２２、受領証明生成部２２３、削除証明生成部２２４などを実現する。削除証明生成部２２４の機能については、図２及び図３を用いて後述する。
【００４５】
図２及び図３は、本発明によるＩＣカードの第１実施形態における動作及び本発明によるＩＣカードプログラムの第１実施形態を示す図であって、アプリケーション削除確認処理を示している。図２は、フローチャートであり、図３は、発行管理ＩＣカード及びユーザＩＣカードにおける情報の入出力を説明するための図である。なお、発行管理ＩＣカード１０、ユーザＩＣカード２０及び外部装置３０の処理を中心に説明し、外部装置３０を図示しない。また、発行管理ＩＣカード１０のＳ１００からＳ２１０までの処理は、トランザクションとして管理されている。
図２に示すように、Ｓ１００において、発行管理ＩＣカード１０は、Ｒ／Ｗ４０Ａに、ユーザＩＣカード２０は、Ｒ／Ｗ４０Ｂにそれぞれ接続されている状態にある。
【００４６】
Ｓ１１０において、発行管理ＩＣカード１０は、所定のコマンドを外部装置３０から受信し、カウンタ値を送信する（図３の＃１０）。ユーザＩＣカード２０は、外部装置３０からこのカウンタ値を引数として、指定する対象アプリケーションの削除を要求するコマンドを外部装置３０から受信する（Ｓ３１０、＃２０）。ユーザＩＣカード２０は、指定された対象アプリケーションを削除し（Ｓ３２０、＃３０）、削除証明生成部２２４は、対象アプリケーションを削除したことを証明するための削除証明書の生成を行う（Ｓ３３０、＃４０）。つまり、削除証明生成部２２４は、削除した対象アプリケーションの発行証明書を読み出し、引数のカウンタ値と合わせて、ユーザ秘密鍵ＳＫｉｃで暗号化することによってユーザＩＣカード２０のデジタル署名を付した削除証明書を生成する。ユーザＩＣカード２０は、レスポンスとしてこの削除証明書を外部装置３０へ送信する（Ｓ３４０、＃５０）。また、ユーザＩＣカード２０は、所定のコマンドを受信し、公開鍵証明書ＰＫＣｉｃを外部装置３０へ送信し（Ｓ３５０、＃６０）、処理を終了する（Ｓ３６０）。
外部装置３０は、所定のコマンドを送信することによって、削除証明及び公開鍵証明書ＰＫＣｉｃを発行管理ＩＣカード１０へ送信し、発行管理ＩＣカード１０は、受信した削除証明及び公開鍵証明書ＰＫＣｉｃを記憶する（Ｓ１２０、＃７０）。発行管理ＩＣカード１０は、ライセンス回収要求を受信し（Ｓ１３０）、削除証明判定部１２７は、Ｓ１２０において記憶している公開鍵証明書ＰＫＣｉｃの検証を行い（Ｓ１４０、＃８０）、公開鍵証明書ＰＫＣｉｃが所定の条件を満たす正当なものであるか否かの判定を行う（Ｓ１５０）。
【００４７】
図４は、削除証明判定部１２７の処理を示すフローチャートであり、図４（ａ）は、公開鍵証明書の検証処理（図２のＳ１４０）を示し、図４（ｂ）は、削除証明書の検証処理（図２のＳ１６０）を示している。
図４（ａ）に示すように、削除証明判定部１２７は、先ず、公開鍵証明書ＰＫＣｉｃに所定のデジタル署名が付されているか、つまり、公開鍵証明書ＰＫＣｉｃを発行用公開鍵ＰＫａｄで復号できるか否かに基づいて公開鍵証明書ＰＫＣｉｃの信頼性（信頼できるか否か）を検証する（Ｓ４１０，Ｓ４２０）。信頼できないと判定した場合（復号できない場合）には、削除証明判定部１２７は、公開鍵証明書ＰＫＣｉｃを正当でないと判定する（Ｓ４６０）。信頼できると判定した場合には、削除証明判定部１２７は、公開鍵証明書ＰＫＣｉｃから抽出できる公開鍵が所定のユーザＩＣカード２０（発行管理ＩＣカード１０から対象アプリの提供を受けたＩＣカード）のユーザ公開鍵ＰＫｉｃであるかを公開鍵証明書ＰＫＣｉｃに含まれる公開鍵の属性情報に基づいて検証する（Ｓ４３０）。公開鍵の属性が条件を満たす正当なものであると判定した場合には、公開鍵証明書ＰＫＣｉｃは、正当であると判定し（Ｓ４５０）、条件を満たさない場合には、正当でないと判定する（Ｓ４６０）。
【００４８】
図２に示すように、公開鍵証明書ＰＫＣｉｃの検証（Ｓ１４０）において、削除証明判定部１２７が正当でない判定した場合には、その旨のエラーのレスポンスを外部装置３０へ送信し（Ｓ２００）、処理を終了する（Ｓ２１０）。正当と判定した場合には、削除証明判定部１２７は、削除証明書の検証を行い（Ｓ１６０）、削除証明書が所定の条件を満たす正当なものであるか否かを判定する（Ｓ１７０）。
【００４９】
図４（ｂ）に示すように、削除証明判定部１２７は、削除証明書をＳ１４０で検証済のユーザ公開鍵ＰＫｉｃによって復号できるか否かに基づいて削除証明書の信頼性を検証する（Ｓ４１０，Ｓ４２０、＃９０）。信頼できないと判定した場合には、削除証明判定部１２７は、削除証明書を正当でないと判定する（Ｓ６００）。信頼できると判定した場合には、削除証明判定部１２７は、発行証明書を発行用公開鍵ＰＫａｄで復号できるか否かに基づいて発行証明書の信頼性を検証する（Ｓ５３０，Ｓ５４０、＃１００）。信頼できないと判定した場合には、削除証明判定部１２７は、削除証明書を正当でないと判定する（Ｓ６００）。信頼できると判定した場合には、削除証明判定部１２７は、削除されたアプリケーションが所定の条件を満たす正当なものかを発行証明書に基づいて検証する（Ｓ５５０，Ｓ５６０、＃１１０）。具体的には、削除証明判定部１２７は、削除された対象アプリケーションの提供経路、つまり、発行証明書の発行情報及びカード情報に含まれる、提供先カード識別情報、提供元カード識別情報、対象アプリケーションの属性情報などが所定の条件を満たすか否かを記憶されている発行情報などを参照して判定する。
【００５０】
本実施形態においては、提供先カード識別情報が示す対象アプリケーションの提供先が公開鍵証明書ＰＫＣｉｃの示すユーザＩＣカード２０であること、提供元カード識別情報が示す対象アプリケーションの提供元が発行管理ＩＣカード１０であること、対象アプリケーションが所定の種類などであることを所定の条件としている。いずれかの条件を満たさないと判定した場合には、削除証明判定部１２７は、削除証明書を正当でないと判定する（Ｓ６００）。
これらの条件を全て満たすと判定した場合には、削除証明判定部１２７は、削除証明書に含まれるカウンタ値と、記憶しているカウンタ値とを照合し、削除証明書に含まれるカウンタ値が同一のトランザクションにおいて外部装置３０へ送信されたもの（Ｓ１１０）であるか否かを判定する（Ｓ５７０，Ｓ５８０、＃１２０）。カウンタ値が一致する場合には、削除証明書を正当と判定する（Ｓ５９０）。カウンタ値が異なる場合、例えば、このトランザクションがコミット（Ｓ１９０）した後に、同一の削除証明書などを受信し、同様の処理を行った場合（Ｓ１１０からＳ１６０まで）などには、削除証明判定部１２７は、削除証明書を正当でないと判定する（Ｓ６００）。
【００５１】
図２に示すように、削除証明書の検証（Ｓ１６０）において正当でないと判定した場合には、その旨のエラーのレスポンスを外部装置３０へ送信し（Ｓ２００）、処理を終了する（Ｓ２１０）。正当と判定した場合には、書込／書換部１２５は、ライセンス情報の提供可能回数をインクリメントし（Ｓ１８０、＃１３０）、正常終了の旨のレスポンスを外部装置３０へ送信し（Ｓ１９０）、処理を終了する（Ｓ２１０）。なお、書込／書換部１２５は、トランザクションの要求があった直後（Ｓ１１０）など、一のトランザクション毎に一度カウンタ値をインクリメントする。
【００５２】
このように、第１実施形態によれば、使用者が直接的にコマンドを入力するマン・マシンインターフェイスであるキーボード、マウスなどの入力装置を備えていない機密性の高い発行管理ＩＣカード１０が対象アプリケーションを記憶することによって、意図しない外部への対象アプリケーションの漏洩を防止することが可能となった。
また、発行管理ＩＣカード１０は、不揮発性メモリ１５に記憶しているライセンス情報に基づいて、対象アプリケーションの暗号化（複製）を許可するか否かを判定する提供許否判定部１２４を備えるため、無許諾による複製などの不正な使用を防止し、対象アプリケーションにかかる知的財産の保護を図ることが可能となった。
【００５３】
更に、発行管理ＩＣカード１０は、不揮発性メモリ１５に記憶されている対象アプリケーションをユーザＩＣカード２０のユーザ公開鍵ＰＫｉｃで暗号化する暗号化部１２１を備え、暗号化アプリケーションを外部へ出力することによって、対象アプリケーションの漏洩及び不正使用を防止することが可能となった。
更にまた、発行管理ＩＣカード１０は、カード個別情報を含む対象アプリケーションを暗号化して生成した暗号化アプリケーションを外部へ出力することによって、カード個別情報を含む対象アプリケーションの発行を可能とし、カード個別情報の漏洩を防止するとともに、サービス提供者、カード使用者などの利便性の向上を図ることが可能となった。
また、発行管理ＩＣカード１０は、外部から入力した公開鍵証明書ＰＫＣｉｃに基づいてユーザＩＣカード２０による対象アプリケーションの使用が正当であるか否かを判定する使用正当性判定部１２３を備えるため、正当使用者であるユーザＩＣカード２０を識別して対象アプリケーションを提供することが可能となった。
【００５４】
更に、発行管理ＩＣカード１０は、信頼性を検証したユーザ公開鍵ＰＫｉｃで削除証明書を復号し、その信頼性を検証するため、対象アプリケーションの削除が所定のユーザＩＣカード２０で行われたことを確実に確認することが可能となった。
同様に、発行管理ＩＣカード１０は、自身の発行用公開鍵ＰＫａｄで削除証明書に含まれる発行証明書を復号し、その信頼性を検証するとともに、発行証明書に含まれる発行情報、カード情報などを検証するため、削除されたアプリケーションが所定の対象アプリケーションであることを確実に確認することが可能となった。
【００５５】
また、発行管理ＩＣカード１０は、カウンタ値の照合を行うため、例えば、ライセンス情報の提供可能回数がインクリメントされてコミットしたアプリケーション削除確認処理の後に、同一の公開鍵証明書及び削除証明書を用いてアプリケーション削除確認処理を行った場合にはエラーとなるため、複製などの不正な削除証明書を排除することが可能となった。
更に、発行管理ＩＣカード１０は、削除されたアプリケーションが所定の対象アプリケーションであること、対象アプリケーションの削除が所定のユーザＩＣカード２０で行われたことを確認し、ライセンス情報の提供可能回数をインクリメントするため、無体物である対象アプリケーションを回収したことと同等の結果を得ることができ、対象アプリケーションを確実に管理し、応用性及び利便性を高めることが可能となった。
【００５６】
（第２実施形態）
図５は、本発明によるＩＣカードの第２実施形態を示すブロック図である。
図５に示すように、アプリケーション発行管理システム１−２は、発行管理ＩＣカード１０−２と、ユーザＩＣカード２０と、発行管理ＩＣカード１０−２及びユーザＩＣカード２０のそれぞれがＲ／Ｗ４０Ａ，４０Ｂを介して接続されている外部装置３０とを備える、対象アプリケーションの発行を管理するシステムである。
【００５７】
発行管理ＩＣカード１０−２は、対象アプリケーションがバージョンアップしたことに伴い（以下、旧バージョンの対象アプリケーションを「対象アプリケーションＶ１」、新バージョンの対象アプリケーションを「対象アプリケーションＶ２」という。発行情報についても同様とする。）、第１実施形態における発行管理ＩＣカード１０に代わり、カード発行者からサービス提供者に提供されたものである。
発行管理ＩＣカード１０−２は、削除証明判定部１２７−２を有するＣＰＵ１２−２、不揮発性メモリ１５−２などを備えている。削除証明判定部１２７−２の機能については、図６などを用いて後述する。不揮発性メモリ１５−２は、対象アプリケーションＶ２、ライセンス情報、発行用公開鍵ＰＫａｄ、発行用秘密鍵ＳＫａｄ、発行情報Ｖ１、発行情報Ｖ２、カウンタ値などを記憶している。
ユーザＩＣカード２０は、先行出願にかかる発行管理システム１−３におけるアプリケーション発行処理と同様の処理を行い、発行管理ＩＣカード１０から対象アプリケーション及び発行証明書の提供を受け、カード使用者へ配布された後に、対象アプリケーションのバージョンアップに伴い、サービス提供者に返送されたカードである。
【００５８】
図６は、本発明によるＩＣカードの第２実施形態における動作及び本発明によるＩＣカードプログラムの第２実施形態を説明するための図であって、アプリケーション更新処理を示している。アプリケーション更新処理は、対象アプリケーションＶ１についてのアプリケーション削除確認処理（図２）と、対象アプリケーションＶ２についてのアプリケーション発行処理（図１０）との組合せによって略実現することができる。従って、図６に加え、図２、図３及び図１０を参照しながら説明する。
先ず、発行管理ＩＣカード１０−２及びユーザＩＣカード２０は、図２のＳ１１０からＳ１７０までと同様の処理を行う（図６の＃２１０から＃３００）。削除証明判定部１２７は、発行証明書の内容の検証（図４（ｂ）のＳ５７０、＃３１０）において、記憶されている発行情報Ｖ１及び発行情報Ｖ２などを参照し、削除証明書に含まれる発行情報Ｖ１及びカード情報を検証することによって、削除されたアプリケーションが所定の条件を満たす正当なものかを検証する。本実施形態においては、削除された対象アプリケーションが対象アプリケーションＶ１又は対象アプリケーションＶ２であること、対象アプリケーションＶ１である場合には、その提供元が発行管理ＩＣカード１０であることなどを所定の条件としている。この場合に、削除されたアプリケーションが対象アプリケーションＶ１であるときには、発行管理ＩＣカード１０−２は、ライセンス情報の提供可能回数をインクリメントしない（図２のＳ１８０）。
【００５９】
次に、発行管理ＩＣカード１０−２及びユーザＩＣカード２０は、図１０のＳ７０１からＳ７１３までと同様（Ｓ７０６においてライセンス情報の提供可能回数はデクリメントされない）の処理を行い、対象アプリケーションＶ１の削除を行ったユーザＩＣカード２０に対して対象アプリケーションＶ２の発行処理を行う。なお、使用正当性判定部１２３は、Ｓ７０２で受信した公開鍵証明書ＰＫＣｉｃに含まれる属性情報と、Ｓ１２０で受信した削除証明書に含まれるカード情報とが同一のユーザＩＣカード２０を示すか否かを判定し、否と判定した場合には、発行を行わない（図示しない）。その結果、発行管理ＩＣカード１０−２は、対象アプリケーションＶ１の削除を行ったユーザＩＣカード２０に対して対象アプリケーションＶ２を発行し、発行管理ＩＣカード１０−２及びユーザＩＣカード２０は、アプリケーション更新処理を終了する。
【００６０】
このように、第２実施形態によれば、第１実施形態と同様の効果に加え、発行管理ＩＣカード１０−２は、所定の発行管理ＩＣカード１０から発行された対象アプリケーションＶ１が所定のユーザＩＣカード２０で削除されたことを確実に確認し、ライセンス情報の提供可能回数を減らすことなく、新たに対象アプリケーションＶ２の発行をユーザＩＣカード２０に対して行い、対象アプリケーションの更新を行うことが可能となった。つまり、対象アプリケーションを確実に管理し、一層、応用性及び利便性を高めることが可能となった。
【００６１】
（変形形態）
以上説明した実施形態に限定されることなく、種々の変形や変更が可能であって、それらも本発明の均等の範囲内である。例えば、各実施形態において、発行管理ＩＣカード１０，１０−２及びユーザＩＣカード２０の通信方式は、接触式に限られず、非接触式又は接触式／非接触式兼用であってもよく、通信方式は、限定されない。
【００６２】
各実施形態において、発行管理ＩＣカード１０，１０−２の不揮発性メモリ１５，１５−２は、複数の対象アプリケーションを記憶していてもよい。更に、各対象アプリケーション又は各対象アプリケーションの属性に対応したライセンス情報を記憶していてもよい。利便性の向上を図ることが可能である。
【００６３】
各実施形態において、発行管理ＩＣカード１０，１０−２は、暗号化部１２１による暗号化アプリケーションの生成可能回数を示すライセンス情報を記憶するが、ＣＰＵ１２，１２−２の他の処理によって対象アプリケーションが複製可能な回数を示すライセンス情報を記憶していてもよく、また、発行管理ＩＣカード１０，１０−２から対象アプリケーション又は暗号化アプリケーションの出力可能回数を示すライセンス情報を記憶していてもよい。発行管理ＩＣカード１０，１０−２からユーザＩＣカード２０への対象アプリケーションの提供回数を制限できればよい。
【００６４】
各実施形態において、発行管理ＩＣカード１０，１０−２は、アクセス要求を外部から入力した場合に、通信部１１から入力されるアクセス正当性認証情報に基づいて、アクセス要求が指定するアクセスを許可するか否かを判定するアクセス許否判定部を備えていてもよい。アクセス要求とは、いわゆるＷＲＩＴＥコマンド、ＲＥＡＤコマンドなど、ＲＯＭ１４、不揮発性メモリ１５，１５−２への情報の書き込み、記憶されている情報の書き換え、読み出しなどのメモリへのアクセスの要求である。アクセス正当性認証情報とは、アクセス要求を送信した外部装置３０がそのアクセス要求が指定するアクセスをすることのできる正当な装置であることを認証するための情報であって、例えば、読み出し、書き込み、書き換えなどのアクセス種類、アクセス可能な領域などを示すアクセス先など、アクセス内容を示すアクセス情報を含み、発行管理ＩＣカード１０，１０−２を管理するカード発行者のデジタル署名が付されている。
【００６５】
例えば、カード個別情報の書き込みを要求する所定のコマンドを外部装置３０から受信した場合には（Ｓ７０１）、アクセス許否判定部は、その前後に受信した認証を要求するコマンドに応じた処理において、デジタル署名が発行用公開鍵ＰＫａｄで復号できる、つまり、アクセス正当性認証情報のデジタル署名がカード発行者の正当なものであると認証し、かつ、アクセス要求が指定するアクセスがアクセス情報の示す範囲内である場合に許可する。
発行管理ＩＣカード１０，１０−２内部への不正アクセスを排除し、機密性を高く保持するとともに、一定条件を満たせば、アクセス可能とすることによって、利便性の向上を図ることが可能である。また、デジタル署名を発行用公開鍵ＰＫａｄで復号し、認証するなど、公開鍵証明書ＰＫＣｉｃの署名を検証する処理（Ｓ７０４）と同様に処理を行うことによって、ＲＯＭ１４、不揮発性メモリ１５，１５−２の効率的な使用、処理の効率化が可能である。
【００６６】
また、アクセス許否判定部は、ライセンス情報の書き換えを要求するコマンドを受信した場合に、同様に、アクセス正当性認証情報に基づいて判定を行ってもよい。アクセス情報を設定した条件のもとで書き換え可能とすることによって、カード発行者がサービス提供者に対して対象アプリケーションの提供可能回数を追加許諾した場合などに容易に対処することができ、利便性の向上を図ることが可能となる。
【００６７】
各実施形態において、本発明によるＩＣカードとしてカード型の基材を有する発行管理ＩＣカード１０，１０−２を例としてあげたが、その基材は、限定されず、ＳＩＭカード、ＩＣタグなどの少なくともＣＰＵ、外部との通信手段、情報を記憶する記憶手段を備え、マン・マシンインターフェイスとなる使用者から直接的にコマンドを入力するキーボード、マウスなどの入力装置を備えていない機密性の高い、他の携帯型の情報処理装置であってもよい。
また、発行管理ＩＣカード１０，１０−２は、価値情報として対象アプリケーションを記憶しているが、例えば、データベース、音楽データ、画像データなどの権利対象となる情報、技術ノウハウなどの機密事項を含有する情報などの価値を有するひとまとまりのデータ、プログラムである他の価値情報を記憶し、ユーザＩＣカード２０への提供を管理してもよい。同様の効果を得ることが可能である。
更に、発行管理ＩＣカード１０，１０−２は、価値情報使用装置であるユーザＩＣカード２０へ価値情報を提供するが、これに制限されず、コンピュータなどのこの価値情報を使用する他の価値情報使用装置へ価値情報を提供してもよい。
【００６８】
各実施形態において、ユーザＩＣカード２０は、暗号化アプリケーションを対象アプリケーションに復号して不揮発性メモリ２５へ記憶するが、暗号化アプリケーションのまま記憶し、復号部２２１が実行時などの必要な場合に復号してもよい。
【００６９】
各実施形態において、発行管理ＩＣカード１０，１０−２は、対象アプリケーションの実行に必要な暗号鍵を生成する暗号鍵生成部を備え、書込／書換部１２５は、生成された暗号鍵を対象アプリケーションへ書き込み、暗号化部１２１は、暗号鍵が書き込まれた対象アプリケーションを暗号化してもよい。暗号鍵の機密性を高度に保持するとともに、暗号鍵の保護にかかる設備投資などの負担を軽減することが可能である。
【００７０】
各実施形態において、発行管理ＩＣカード１０，１０−２及びユーザＩＣカード２０は、各秘密鍵で暗号化を行うことによって、デジタル署名を付しているが、文字や記号、マークなどを電子的に表現した他の電子署名を付してもよい。
【００７１】
各実施形態において、ユーザＩＣカード２０は、対象アプリケーションの削除を行った場合に削除証明書を生成するが、他の方法で対象アプリケーションを以後使用不可能な状態にした場合、つまり、他の方法で無効化した場合にその証明書である無効化証明書を生成してもよい。この場合には、削除証明判定部１２７は、削除証明書と同様に無効化証明書の判定を行う。
【００７２】
各実施形態において、発行管理ＩＣカード１０，１０−２は、発行用秘密鍵ＳＫａｄ及び発行用公開鍵ＰＫａｄを不揮発性メモリ１５，１５−２に記憶しているが、ＲＯＭ１４に記憶していてもよい。同様に、ユーザＩＣカード２０は、ユーザ秘密鍵ＳＫｉｃ及び公開鍵証明書ＰＫＣｉｃを不揮発性メモリ２５に記憶しているが、ＲＯＭ２４に記憶するなど、書き換える可能性の低いプログラム、データをＲＯＭ２４に記憶していてもよい。例えば、発行管理ＩＣカード１０，１０−２は、対象アプリケーションをＲＯＭ１４に記憶し、不揮発性メモリ１５，１５−２などの書き換え可能なメモリへ読み出してカード個別情報を書き込んでもよい。
【００７３】
各実施形態において、発行管理ＩＣカード１０，１０−２及びユーザＩＣカード２０は、削除証明書、公開鍵証明書、カウンタ値などのコマンドの処理に必要な情報を受信するタイミングは、コマンドに含めて受信してもよく、コマンドを受信する以前に受信していてもよい。必要なときに受信されていればそのタイミングは限定されない。
また、各実施形態において、ユーザＩＣカード２０から削除証明書を読み出した（Ｓ３４０）後に、公開鍵証明書を読み出しているが（Ｓ３５０）、逆でもよく、これらの情報が読み出されれば、そのタイミングは、限定されない。
【００７４】
各実施形態において、発行管理ＩＣカード１０，１０−２の削除証明判定部１２７，１２７−２は、発行証明書の内容を検証した（Ｓ５５０）後にカウンタ値の照合（Ｓ５７０）を行っているが、逆でもよい。Ｓ１２０において受信した削除証明及び公開鍵証明書ＰＫＣｉｃに基づいて、削除されたアプリケーションが所定のアプリケーションであること、アプリケーションの削除を行ったＩＣカードが所定のＩＣカードであることを検証することができれば、削除証明判定部１２７が行う検証の方法、順序は、限定されない。例えば、発行管理ＩＣカード１０は、アプリケーション発行処理を行った後に受信した公開鍵証明書ＰＫＣｉｃ（Ｓ７０２）を記憶しておき、この公開鍵証明書ＰＫＣｉｃを削除証明書の検証に利用してもよい。また、削除証明の検証にアプリケーション発行処理において受信した受領証明書（Ｓ７１２）などの処理の履歴を示す履歴情報を利用してもよい。
【００７５】
各実施形態において、発行管理ＩＣカード１０，１０−２の削除証明判定部１２７，１２７−２は、カウンタ値の照合を行うことによってアプリケーション削除確認処理の重複を防止し、正当な削除証明書の複製などの不正な削除証明書についてアプリケーション削除確認処理を行うことを防止しているが、例えば、対象となったユーザＩＣカード２０の識別情報、削除したアプリケーションの属性情報などを含むアプリケーション削除確認処理の履歴情報（処理済みの発行証明書であってもよい）を記憶し、削除証明判定部１２７，１２７−２が削除証明書の検証を行う場合に参照し、アプリケーション削除確認処理の重複を防止してもよい。
【００７６】
各実施形態において、外部装置３０の代わりに、例えば、発行管理ＩＣカード１０，１０−２に接続されているサービス提供者の管理するサーバと、インターネットなどの通信回線と、ユーザＩＣカード２０に接続されているカード使用者のＰＣとを備えていてもよく、発行管理ＩＣカード１０及びユーザＩＣカード２０間の情報の授受を媒介することができれば、その方法は限定されない。
【００７７】
第１実施形態において、発行管理ＩＣカード１０は、アプリケーション削除確認処理においてライセンス情報の提供可能回数をインクリメントした場合に、処理の対象となったユーザＩＣカード２０の識別情報（カード情報など）を記憶し、その後に対象アプリケーションを発行する対象の一を券面上の情報などが更新された同一の識別情報を有する新たなユーザＩＣカード２０に制限してもよい。
【００７８】
第２実施形態において、発行管理ＩＣカード１０は、ライセンス情報の書き換えを行わずに、アプリケーション更新処理を行うが、書き換えを行ってもよい。つまり、発行管理ＩＣカード１０は、ユーザＩＣカード２０の識別情報などで対象の同一性に制限をかけ、アプリケーション削除確認処理（図２及び図３）を行った後にアプリケーション発行処理（図１０及び図１１）を行ってもよい。
また、アプリケーション発行処理後にアプリケーション削除確認処理を行い、アプリケーション更新処理を行ってもよい。
【００７９】
【発明の効果】
以上詳しく説明したように、本発明によれば、以下の効果を得ることが可能となった。
（１）使用者が直接的にコマンドを入力するマン・マシンインターフェイスであるキーボード、マウスなどの入力装置を備えていない機密性の高いＩＣカードが価値情報を記憶することによって、外部への価値情報の漏洩を防止する。
（２）提供回数制限情報を記憶し、価値情報の複製及び／又は外部への出力を制限することによって、無許諾による複製などを防止し、価値情報にかかる知的財産の保護を図る。
（３）無効化証明情報が正当であると判定した場合に提供可能回数を書き換えることによって、無体物である価値情報の回収と同等の結果を得、価値情報を確実に管理し、応用性及び利便性を高める。
（４）記憶されている価値情報を所定の価値情報使用装置でのみ復号可能なように暗号化し、外部へ出力することによって、価値情報の漏洩及び不正使用を防止する。
（５）特に、価値情報がアプリケーションである場合に、アプリケーションにかかる知的財産の保護を図るとともに、価値情報の提供における利便性の向上を図る。
（６）所定の価値情報使用装置において所定の価値情報が無効とされたと判定した場合に提供可能回数を書き換えることによって、より詳細かつ確実に価値情報を管理し、応用性及び利便性を高める。
（７）所定の電子署名が無効化証明情報、提供経路情報に付されている場合に提供可能回数を書き換えることによって、より確実に上記効果を得る。
（８）提供経路情報に基づいて所定の価値情報が無効化されたか否かを判定することによって、より確実に上記効果を得るとともに、例えば、価値情報の価値情報使用装置への提供時に価値情報とともに提供経路情報の提供を行い、価値情報使用装置がこの提供経路情報をもとに無効化証明情報を生成するなど、情報を有効に活用して処理の簡素化を図る。
（９）無効化証明情報と同一の無効化証明情報が入力されていたか否かを判定することによって、複製などの不正な無効化証明情報に基づく提供可能回数の書き換えを防止する。
（１０）無効化証明情報に含まれるトランザクションのカウンタ値などの処理段階情報に基づいて無効化証明情報と同一の無効化証明情報が入力されていたか否かを判定することによって、履歴情報などの新たなデータを記憶することなく、容易に前記（９）の効果を得る。
【図面の簡単な説明】
【図１】本発明によるＩＣカードの第１実施形態を示すブロック図である。
【図２】本発明によるＩＣカードの第１実施形態における動作及び本発明によるＩＣカードプログラムの第１実施形態を示すフローチャートである。
【図３】発行管理ＩＣカード及びユーザＩＣカードにおける情報の入出力を説明するための図である。
【図４】削除証明判定部１２７の処理を示すフローチャートである。
【図５】本発明によるＩＣカードの第２実施形態を示すブロック図である。
【図６】本発明によるＩＣカードの第２実施形態における動作及び本発明によるＩＣカードプログラムの第２実施形態を説明するための図である。
【図７】先行出願にかかるＩＣカードの使用形態を説明するための図である。
【図８】先行出願にかかるＩＣカードの実施形態を示すブロック図である。
【図９】先行出願にかかる発行管理ＩＣカード及びユーザＩＣカードの不揮発性メモリが記憶している情報を説明するための図である。
【図１０】先行出願にかかるＩＣカードの実施形態における動作及び先行出願にかかるＩＣカードプログラムの実施形態を示すフローチャートである。
【図１１】先行出願にかかる発行管理ＩＣカード及びユーザＩＣカードにおける情報の入出力を説明するための図である。
【符号の説明】
１，１−２，１−３ アプリケーション発行管理システム
１０，１０−２，１０−３ 発行管理ＩＣカード
１１ 通信部
１２，１２−２，１２−３ ＣＰＵ
１３ ＲＡＭ
１４，１４−２ ＲＯＭ
１５，１５−２，１５−３ ＥＥＰＲＯＭ
２０，２０−３ ユーザＩＣカード
３０ 外部装置
４０Ａ，４０Ｂ リーダライタ
１２１ 暗号化部
１２２ 復号部
１２３ 使用正当性判定部
１２４ 提供許否判定部
１２５ 書込／書換部
１２６ 発行証明生成部
１２７，１２７−２ 削除証明判定部

Claims (16)

1. ひとまとまりのデータ及び／又はプログラムである価値情報を使用する価値情報使用装置へ提供するための前記価値情報を記憶する価値情報記憶手段と、
   前記価値情報の複製及び／又は外部への出力を行うことができる回数である提供可能回数を含む提供回数制限情報を記憶する提供回数制限情報記憶手段とを備えるＩＣカードであって、
   外部から無効化証明情報を入力する無効化証明情報入力手段と、
   前記無効化証明情報入力手段によって入力される無効化証明情報が正当なものであるか否かを判定する無効化証明判定手段と、
   前記無効化証明判定手段によって肯と判定された場合に、前記提供可能回数を増加させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換える前記提供回数制限情報書き換え手段とを備えること、
   を特徴とするＩＣカード。
2. 請求項１に記載のＩＣカードにおいて、
   所定の前記価値情報使用装置でのみ復号可能なように、前記価値情報記憶手段によって記憶されている価値情報を暗号化し、暗号化価値情報を生成する暗号化手段と、
   前記暗号化手段によって生成される暗号化価値情報を外部へ出力する価値情報出力手段とを備え、
   前記提供回数制限情報書き換え手段は、前記暗号化手段による前記価値情報の暗号化、及び／又は、前記価値情報出力手段による前記暗号化価値情報の外部への出力に応じて、前記提供可能回数を減少させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換えること、
   を特徴とするＩＣカード。
3. 請求項１又は請求項２に記載のＩＣカードにおいて、
   前記価値情報記憶手段は、前記価値情報使用装置へ提供する一又は複数のアプリケーションを記憶すること、
   を特徴とするＩＣカード。
4. 請求項１から請求項３までのいずれか１項に記載のＩＣカードにおいて、
   前記無効化証明判定手段は、前記無効化証明情報が所定の前記価値情報使用装置において所定の価値情報が無効とされたことを証明するか否かを判定する無効化過程判定手段を有し、前記無効化過程判定手段によって否と判定された場合に、否と判定すること、
   を特徴とするＩＣカード。
5. 請求項４に記載のＩＣカードにおいて、
   前記無効化過程判定手段は、前記無効化証明情報に所定の電子署名が付されているか否かに基づいて、前記所定の価値情報使用装置において価値情報が無効とされたか否かを判定する装置正当性判定手段を有し、前記装置正当性判定手段によって否と判定された場合に、否と判定すること、
   を特徴とするＩＣカード。
6. 請求項４又は請求項５に記載のＩＣカードにおいて、
   前記無効化過程判定手段は、前記価値情報の属性情報、前記価値情報の提供元の識別情報又は前記価値情報の提供先の識別情報のうちの少なくとも一を含む、前記無効化証明情報に含まれる提供経路情報に基づいて、前記所定の価値情報が無効とされたか否かを判定する価値情報正当性判定手段を有し、前記価値情報正当性判定手段によって否と判定された場合に、否と判定すること、
   を特徴とするＩＣカード。
7. 請求項６に記載のＩＣカードにおいて、
   前記価値情報正当性判定手段は、前記提供経路情報に所定の電子署名が付されているか否かに基づいて、前記提供経路情報が正当なものであるか否かを判定する提供経路正当性判定手段を有し、前記提供経路正当性判定手段によって否と判定された場合に、否と判定すること、
   を特徴とするＩＣカード。
8. 請求項１から請求項７までのいずれか１項に記載のＩＣカードにおいて、
   前記無効化証明判定手段は、前記無効化証明情報入力手段によって入力された無効化証明情報と同一の無効化証明情報が以前に入力されていたか否かを判定する重複入力判定手段を有し、前記重複入力判定手段によって肯と判定された場合に、否と判定すること、
   を特徴とするＩＣカード。
9. 請求項８に記載のＩＣカードにおいて、
   処理段階の進行に応じて書き換えられる処理段階の識別情報である処理段階情報を記憶する処理段階情報記憶手段と、
   所定の要求があった場合に、前記処理段階情報記憶手段によって記憶されている処理段階情報を出力する処理段階情報出力手段とを備え、
   前記重複入力判定手段は、前記無効化証明情報入力手段によって入力された無効化証明情報に含まれる、前記処理段階情報出力手段によって出力された処理段階情報と、前記処理段階情報記憶手段によって記憶されている処理段階情報とを照合し、判定を行うこと、
   を特徴とするＩＣカード。
10. ひとまとまりのデータ及び／又はプログラムである価値情報を使用する価値情報使用装置へ提供するための前記価値情報を記憶する価値情報記憶手段と、
    前記価値情報の複製及び／又は外部への出力を行うことができる回数である提供可能回数を含む提供回数制限情報を記憶する提供回数制限情報記憶手段とを備えるＩＣカードのＣＰＵに実行させるＩＣカードプログラムであって、
    所定の要求があった場合に、外部から入力した無効化証明情報が正当なものであるか否かを判定する無効化証明判定ステップと、
    前記無効化証明判定ステップにおいて肯と判定された場合に、前記提供可能回数を一増加させるように前記提供回数制限情報記憶手段によって記憶されている提供回数制限情報を書き換える提供回数制限情報書き換えステップとを備えること、
    を特徴とするＩＣカードプログラム。
11. 請求項１０に記載のＩＣカードプログラムにおいて、
    前記無効化証明判定ステップは、前記無効化証明情報が所定の前記価値情報使用装置において所定の価値情報が無効とされたことを証明するか否かを判定する無効化過程判定ステップを有し、前記無効化過程判定ステップにおいて否と判定した場合に、否と判定すること、
    を特徴とするＩＣカードプログラム。
12. 請求項１１に記載のＩＣカードプログラムにおいて、
    前記無効化過程判定ステップは、前記無効化証明情報に所定の電子署名が付されているか否かに基づいて、前記所定の価値情報使用装置において価値情報が無効とされたか否かを判定する装置正当性判定ステップを有し、前記装置正当性判定ステップにおいて否と判定した場合に、否と判定すること、
    を特徴とするＩＣカードプログラム。
13. 請求項１１又は請求項１２に記載のＩＣカードプログラムにおいて、
    前記無効化過程判定ステップは、前記価値情報の属性情報、前記価値情報の提供元の識別情報又は前記価値情報の提供先の識別情報のうちの少なくとも一を含む、前記無効化証明情報に含まれる提供経路情報に基づいて、前記所定の価値情報が無効とされたか否かを判定する価値情報正当性判定ステップを有し、前記価値情報正当性判定ステップにおいて否と判定した場合に、否と判定すること、
    を特徴とするＩＣカードプログラム。
14. 請求項１３に記載のＩＣカードプログラムにおいて、
    前記価値情報正当性判定ステップは、前記提供経路情報に所定の電子署名が付されているか否かに基づいて、前記提供経路情報が正当なものであるか否かを判定する提供経路正当性判定ステップを有し、前記提供経路正当性判定ステップにおいて否と判定した場合に、否と判定すること、
    を特徴とするＩＣカードプログラム。
15. 請求項１０から請求項１４までのいずれか１項に記載のＩＣカードプログラムにおいて、
    前記無効化証明判定ステップは、前記外部から入力した無効化証明情報を以前に入力していたか否かを判定する重複入力判定ステップを有し、前記重複入力判定ステップにおいて肯と判定した場合に、否と判定すること、
    を特徴とするＩＣカードプログラム。
16. 請求項１５に記載のＩＣカードプログラムにおいて、
    所定の要求があった場合に、処理段階の進行に応じて書き換えられる処理段階の識別情報である処理段階情報を出力する処理段階情報出力ステップを備え、
    前記重複入力判定ステップは、前記外部から入力した無効化証明情報に含まれる、前記処理段階情報出力ステップにおいて出力された処理段階情報に基づいて判定を行うこと、
    を特徴とするＩＣカードプログラム。

Images