(57)【要約】【課題】  交換プロトコルの実行時におけるＩＣカード等の計算資源浪費を防止し、処理効率の向上を計る手段を提供する。【解決手段】  本実施形態のＩＣカードicc_aは、受理部１６、出力部１８、格納部２０、更新部２２、抽出部２４、解放部２６とを備える。格納部２０は、交換対象となる電子価値v1，v2を含む電子価値や、ステートレコードに含まれる複数の値を、その揮発性メモリ領域の連続した領域に格納する。更新部２２は、ステートレコードの複数の値を同時に更新する。抽出部２４は、ステートレコードの複数の値を取出す。解放部２６は、ステートレコードの複数の値を全て削除する。ステートレコードの複数の情報は、一度の交換で変動し得る情報ごとに、ＩＣカードicc_aの連続した揮発性メモリ領域に配置される。【選択図】  図２
2006260467.tif 000002
【特許請求の範囲】
【請求項１】
第１の格納装置に格納された第１の電子価値と第２の格納装置に格納された第２の電子価値とを交換するシステムにおいて用いられる当該第１の格納装置であって、
前記第１の電子価値のうちで一度の交換で変動し得る情報を、その連続した格納領域に同時に格納する格納手段と、
前記格納手段の連続した格納領域に格納された情報を同時に更新する更新手段と、
前記格納手段の連続した格納領域に格納された情報を抽出する抽出手段と、
前記格納手段の連続した格納領域に格納された情報を同時に削除する解放手段と、
を備えた格納装置。
【請求項２】
第１の格納装置に格納された第１の電子価値と第２の格納装置に格納された第２の電子価値とを交換する電子価値交換方法であって、
前記第１の電子価値のうちで一度の交換で変動し得る情報を、前記第１の格納装置における格納手段の連続した格納領域に同時に格納するステップと、
前記格納手段の連続した格納領域に格納した情報を同時に更新するステップと、
前記格納装置の連続した格納領域に格納した情報を抽出するステップと、
前記格納装置の連続した格納領域に格納した情報を同時に削除するステップと、
を含む電子価値交換方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、価値を電子的に表象する情報としての電子価値を交換する技術に関する。
【背景技術】
【０００２】
従来、電子マネーや電子チケットを始めとする、価値を電子的に表象する情報（以下、「電子価値」と記す。）をＩＣカードに格納し、ＩＣカードに格納した電子価値同士を交換して流通させる技術が提案されている。例えば特許文献１には、このようなＩＣカードを用いた電子価値の交換を実現するためのプロトコル（例えば、Optimistic Fair Exchange Protocol：権利価値の楽観的な交換プロトコル）が、ＩＣカードに実装されることが記載されている。このプロトコルは、電子価値を交換する２つのＩＣカード間で、２往復のメッセージ送受により交換が完了する。メッセージの送受の途中で交換処理に異常が発生し、処理が遮断した場合には、送信側と受信側は相手との通信を再開することなく、信頼できる第３者機関である調停者との間で回復処理を行う。
【特許文献１】特開２００４−３４１６４３号公報
【発明の開示】
【発明が解決しようとする課題】
【０００３】
ＩＣカードはこの交換プロトコルを、取引を行う他のＩＣカードとの間における複数回のメッセージの送受により実現する。それぞれのＩＣカードは、電子価値のうちでプロトコルの遷移のために利用する値（パラメータ）を内部で管理している必要がある。
【０００４】
ＩＣカードは、この値を、データの書き換えが可能な不揮発性メモリ（ＥＥＰＲＯＭ（Electronically Erasable and Programmable Read Only Memory））領域の空き領域に格納・管理して、対応するメッセージの受理時に不揮発性メモリ領域から取り出して利用する。ＩＣカードは、不揮発性メモリ領域へのデータの書込みや更新をページ単位で行っている。１ページの最大バイト数はＩＣカードの仕様により定まる。
【０００５】
このような構成では、値の更新時に別々のページに格納された値を同時に更新する場合は、各ページをそれぞれ更新しなければならない。この更新は１バイトのデータであっても、ページの最大バイト長のデータであっても同一の処理時間を必要とする。そのため、ページにおいて１バイトの値の更新を行う際にも、最大バイト数分の計算資源を費やさなければならない。したがって、別々のページに格納され、ページと比較して小さいサイズの値の更新を取引毎に繰り返すとすると、計算資源の乏しいＩＣカードにおいて十分に性能劣化の原因となり得る。
【０００６】
本発明は、かかる事情に鑑みてなされたものであり、その目的は、交換プロトコルの実行時におけるＩＣカード等の計算資源浪費を防止し、処理効率の向上を計る手段を提供することにある。
【課題を解決するための手段】
【０００７】
本発明は、第１の格納装置に格納された第１の電子価値と第２の格納装置に格納された第２の電子価値とを交換するシステムにおいて用いられる当該第１の格納装置であって、第１の電子価値のうちで一度の交換で変動し得る情報を、その連続した格納領域に同時に格納する格納手段と、格納手段の連続した格納領域に格納された情報を同時に更新する更新手段と、格納手段の連続した格納領域に格納された情報を抽出する抽出手段と、格納手段の連続した格納領域に格納された情報を同時に削除する解放手段と、を備えたことを特徴とする。
【０００８】
この構成によれば、格納手段は電子価値のうちで一度の交換で変動し得る情報をその連続した格納領域に同時に格納し、更新手段は連続した格納領域に格納された情報を同時に更新し、抽出手段は連続した格納領域に格納された情報を抽出し、解放手段は連続した格納領域に格納された情報を同時に削除するので、ＩＣカード等において電子価値の一度の交換において更新、抽出、解放が必要な情報は、同ページ内に配置される。そのため、別々のページに格納された値を同時に更新することがなくなり、計算資源浪費を防止し、処理効率の向上を計ることができる。
【０００９】
また、本発明の別の態様によれば、第１の格納装置に格納された第１の電子価値と第２の格納装置に格納された第２の電子価値とを交換する電子価値交換方法であって、第１の電子価値のうちで一度の交換で変動し得る情報を、第１の格納装置における格納手段の連続した格納領域に同時に格納するステップと、格納手段の連続した格納領域に格納した情報を同時に更新するステップと、格納装置の連続した格納領域に格納した情報を抽出するステップと、格納装置の連続した格納領域に格納した情報を同時に削除するステップと、を含む電子価値交換方法が提供される。
【発明の効果】
【００１０】
本発明による格納装置および電子価値交換方法によれば、取引プロトコルの実行時の計算資源浪費を防止し、処理効率の向上を計ることができる。
【発明を実施するための最良の形態】
【００１１】
以下、例示の為に添付された図面を参照しながら、本発明の一実施形態について説明する。可能な場合には、同一の部分には同一の符号を付して、重複する説明を省略する。
【００１２】
本実施の形態における電子価値交換システム１０は、図１に示すように、相互にデータの送受信が可能な２台の携帯端末１２，１４を備えて構成される。携帯端末１２，１４は、ＩＣカードicc_a，icc_b（格納装置に対応）をそれぞれ着脱可能に備える。携帯端末１２，１４は、例えば携帯電話やＰＤＡ（Personal Digital Assistance）であるが、通信機能を有する端末装置であれば、その機能や用途による限定を受けない。
【００１３】
携帯端末１２，１４には、電子価値の交換プロトコルを実行するためのアプリケーションプログラム（以下、ａｐと呼ぶことがある）ap_a，ap_bがそれぞれ実装されている。
【００１４】
ＩＣカードicc_a，icc_bは内部に電子価値v1，v2をそれぞれ格納しており、ａｐからの指示により互いのＩＣカード内の電子価値との取引を行う。ＩＣカード間の電子価値の取引は、ＩＣカード間の複数回のメッセージ送受により実現される。ＩＣカードは取引の遷移状態を管理しておく必要があるため、ステートレコードを用いて管理を行う。ＩＣカードicc_a，icc_bはステートレコードsr1，sr2をその連続した不揮発性メモリ領域に配置する。
【００１５】
図２は、本発明の実施形態に係るＩＣカードの構成を示す図である。本実施形態のＩＣカードicc_aは、受理部（受理手段）１６、出力部（出力手段）１８、格納部（格納手段）２０、更新部（更新手段）２２、抽出部（抽出手段）２４、解放部（解放手段）２６とを備える。これら各構成要素は、バスを介して相互に信号の入出力が可能なように接続されている。ＩＣカードicc_aは、外部のプログラムや装置に対する高い秘匿性と耐性を確保するために、耐タンパー性を有する。
【００１６】
受理部１６は、例えば携帯端末１２のユーザによって入力された交換対象条件をパラメータとするStartExchange信号や、ConfirmExchange信号や、Commitment信号等の各種メッセージの受信を行う。出力部１８は、携帯端末１４に対し、Offer信号、Confirmation信号等の各種メッセージの出力を行う。格納部２０は、交換対象となる電子価値v1，v2を含む電子価値や、ステートレコードに含まれる複数の値を、その不揮発性メモリ領域の連続した領域に格納する。更新部２２は、ステートレコードの複数の値を同時に更新する。抽出部２４は、ステートレコードの複数の値を取出す。解放部２６は、ステートレコードの複数の値を全て削除する。
【００１７】
図３は、本発明の実施形態に係るメッセージの構成を示す図である。図３に示すように、本実施形態のメッセージ２８は、少なくとも、メッセージ２８の宛先の識別子dest３０と、メッセージ２８の送信元の識別子src３２と、ＩＣカードが予め知っているメッセージの番号mtype３４、メッセージを関連付けて識別する識別子tid３６と、内容data３８とから構成されるものである。
【００１８】
図４は、本発明の実施形態に係るステートレコードの構成を示す図である。図４に示すようにステートレコード４０は、一度の交換で変動し得る情報４２ごとに、交換の遷移状態であるstate４４と、交換処理の識別子であるtid４６と、調停者の宛先識別子であるttpid４８と、提案内容識別情報s1：５０と、セッション情報s2：５２と、乱数であるn1またはn2：５４と、送信元のファイルの格納フォルダであるfolder1：５６と、受け手側のファイルの格納フォルダであるfolder2：５８と、送信元が送付するファイルの内容であるdata1：６０と、ファイルの個数fcnt1：６２と、ファイルのアクセス権facl1：６４と、ファイルを作成したＩＣカードの識別子issuerid1：６６と、ファイルサイズflen1：６８と、送信元が送付するファイルの内容であるdata2：７０と、ファイルの個数fcnt2：７２と、ファイルのアクセス権facl2：７４と、ファイルを作成したＩＣカードの識別子issuerid2：７６と、ファイルサイズflen2：７８と、から構成されるものである。なお、data1：６０、fcnt1：６２、facl1：６４、issuerid1：６６、flen1：６８を以下、まとめてv1_info：８０と呼ぶ。また、data2：７０、fcnt2：７２、facl2：７４、issuerid2：７６、flen2：７８を以下、まとめてv2_info：８２と呼ぶ。これらの複数の情報は、一度の交換で変動し得る情報４２ごとに、ＩＣカードicc_aの連続した不揮発性メモリ領域に配置される。
【００１９】
以下、本実施形態に係る電子価値交換システムを用いた電子価値交換方法について説明する。交換は、交換を提案する側と、交換の提案を承諾して行う側とで処理が異なる。ここで、交換を提案する側のapをap_a,ＩＣカードをicc_a、提案を承諾する側のapをap_b，ＩＣカードをicc_bとする。それぞれの要素は、ネットワーク上で大域的に一意に定められる識別子(ap_a_id, icc_a_id, ap_b_id, icc_b_id )を持つ。icc_a 内の電子価値 v1 と icc_b 内の電子価値 v2 の交換の正常処理時と異常処理時の手順を以下に示す。
【００２０】
（正常系処理）
図５は本発明の実施形態に係る正常時のメッセージの交換を示す図であり、図６は本発明の実施形態に係る正常時のメッセージのフローを説明する図である。また、図７はStartExchange信号受信時の動作フローを示す図である。図５、図６および図７に示すように、ＩＣカードicc_a は、アプリケーションプログラムap_aからの取引の開始メッセージStartExchange 信号８４を受理部１６により受理すると（Ｓ１０１）、StartExchanage 信号内のttpid と tid と ap_b_id と data を取り出す（Ｓ１０２）。その後、乱数n1を生成して（Ｓ１０３）、遷移状態がCancelable状態９８である state と ttpid と tid と n1 と data を更新部２２によりＩＣカードicc_a の新しいステートレコードsr1 に格納する（Ｓ１０４）。図８は、StartExchange信号受信時のステートレコードの構成を示す図である。
【００２１】
そして、図５および６に示すように、ＩＣカードicc_aの出力部１８は、Offer信号８６をアプリケーションプログラムap_bに出力する。Offer信号８６を受理したアプリケーションプログラムap_bは、Offer信号８６内のdataをv1_infoとv2_infoに変換して、AgreeExchange 信号８８をＩＣカード icc_bに出力する。
【００２２】
図９はAgreeExchange 信号受信時の動作フローを示す図である。図９および図５，６に示すように、ＩＣカード icc_bは、アプリケーションプログラムap_b からの取引の提案メッセージ AgreeExchange 信号８８を受理部１６により受理すると（Ｓ３０１）、AgreeExchange 信号内の ttpid と tid と n1 と v1_infoとv2_infoを取り出す（Ｓ３０２）。その後、乱数 n2 を生成して（Ｓ３０３）、 n1 と n2 から、ハッシュ値であるs1 = h<ttpid | v1_info | v2_info | n1> と、s2 = h<n2> を生成する（Ｓ３０４）。なお、「│」は文字列の連接を表す。その後、ＩＣカードicc_b は、ttpid と tid と n2 と s1 と s2 と 内容を確定した交換する電子価値 v1_info と v2_info と遷移状態がAbortable状態１００であるstateを、更新部２２によりＩＣカード icc_bの新しいステートレコード sr2 に格納する。図１０は、AgreeExchange 信号受信時のステートレコードの構成を示す図である。
【００２３】
そして、図５および６に示すように、ＩＣカードicc_bの出力部１８は、Agreement信号９０をアプリケーションプログラムap_aに送信する。なお、図６に示すように、Agreement信号９０には、(s1 | s2)へのＩＣカード icc_bの署名である(s1 |s2)Sign icc_bと、ＩＣカード icc_bの公開鍵証明書であるCertBが同封される。そして、Agreement信号９０を受理したアプリケーションプログラムap_a は、ConfirmExchange信号９２をＩＣカード icc_aに出力する。
【００２４】
図１１はConfirmExchagne 信号受信時の動作フローを示す図である。図１１および図５，６に示すように、ＩＣカードicc_a は、アプリケーションプログラムap_a からの 取引の確定メッセージConfirmExchange 信号９２を受理部１６により受理すると、ConfirmExchagne信号９２内のtid' と s1 と v1_info と v2_info を取り出す（Ｓ５０１）。そして抽出部２４により、ConfirmExchange 信号９２内のtid'と同一のtidを持つステートレコードsr1を検索して見つける（Ｓ５０２）。
【００２５】
ＩＣカード icc_a 内に tid' と同一の tid を持つステートレコード sr1 がなければアプリケーションプログラムap_a へエラーメッセージを出力して終了する（Ｓ５０３，Ｓ５１０）。ＩＣカード icc_a 内に tid' と同一の tid を持つ ステートレコードsr1 があっても、stateがCancerable状態９８でなければエラーメッセージを出力して終了する（Ｓ５０４，Ｓ５１１）。ＩＣカード icc_a 内に tid' と同一の tid を持つステートレコードsr1 があり、stateがCancerable状態９８であれば、ステートレコードsr1 から ttpid と n1と v1_infoとv2_infoとを抽出して（Ｓ５０５）、s1’= h<ttpid | v1_info |v2_info | n1>を生成して（Ｓ５０６）、 s1 と s1’が等しいか照合を行う(Ｓ５０７)。照合が正しく行われれば、ＩＣカード icc_a は、更新部２２によりs1 と s2 と v1_info と v2_info を ステートレコードsr1 へ格納する（Ｓ５０８）。また state を Cancerable状態９８からResolvable状態１０２へ更新する（Ｓ５０９）。照合が正しく行われなければ、アプリケーションプログラムap_a へエラーメッセージを出力して終了する（Ｓ５０９）。図１２は、ConfirmExchange 信号受信時のステートレコードの構成を示す図である。
【００２６】
そして、図５および６に示すように、ＩＣカードicc_aの出力部１８は、ＩＣカード icc_bにConfirmation信号９４を出力する。なお、図６に示すように、Confirmation信号９４には、(s2)へのＩＣカード icc_aの署名である(s2)Sign icc_aと、ＩＣカード icc_aの公開鍵証明書であるCertAが同封される。
【００２７】
図１３はConfirmation信号受信時の動作フローを示す図である。図１３および図５，６に示すように、ＩＣカードicc_b は、ＩＣカード icc_a からの取引実行メッセージ Confirmation信号９４を受理部１６により受理すると、Confirmation信号内のtid' と s2' を取り出す（Ｓ６０１）。そして抽出部２４により、Confirmation信号９４内のtid'と同一のtidを持つステートレコードsr2を検索する（Ｓ６０２）。
【００２８】
ＩＣカード icc_b 内に tid' と同一の tid を持つステートレコードsr2 がなければアプリケーションプログラムap_b へエラーメッセージを出力して終了する（Ｓ６０３，Ｓ６０８）。ＩＣカード icc_b 内に tid' と同一の tid を持つ ステートレコードsr2 があっても、stateがAbortable状態１００でなければエラーメッセージを出力して終了する（Ｓ６０４，Ｓ６０９）。ＩＣカード icc_b 内に tid' と同一の tid を持つステートレコードsr2 があり、stateがAbortable状態１００であれば、ステートレコードsr2 からs2を抽出して（Ｓ６０５）、s2 と s2' が等しいか検証を行う（Ｓ６０６）。値が等しければ、ＩＣカード icc_b は、ステートレコードsr2 を解放部２６により解放して交換を完了する（Ｓ６０７）。照合が正しく行われなければ、アプリケーションプログラムap_b へエラーメッセージを出力して終了する（Ｓ６１０）。図１４は、Confirmation信号受信時のステートレコードの構成を示す図である。
【００２９】
そして、図５および６に示すように、ＩＣカードicc_bの出力部１８は、ＩＣカード icc_aにCommitment信号９６を出力する。
【００３０】
図１５はCommitment信号受信時の動作フローを示す図である。図１５および図５，６に示すように、ＩＣカードicc_a は、ＩＣカード icc_b からの取引完了メッセージ Commitment信号９６を受理部１６により受理すると、Commitment信号内のtid' と n2 を取り出す（Ｓ７１０）。そして抽出部２４により、Commitment信号９６内のtid'と同一のtidを持つステートレコードsr1を検索する（Ｓ７０２）。
【００３１】
ＩＣカード icc_a 内に tid' と同一の tid を持つステートレコードsr1 がなければアプリケーションプログラムap_a へエラーメッセージを出力して終了する（Ｓ７０３，Ｓ７０９）。ＩＣカード icc_a 内に tid' と同一の tid を持つ ステートレコードsr1 があっても、stateがResolvable状態１０２でなければエラーメッセージを出力して終了する（Ｓ７０４，Ｓ７１０）。ＩＣカード icc_a 内に tid' と同一の tid を持つステートレコードsr1 があり、stateがResolvable状態１０２であれば、ステートレコードsr1 から s2を抽出して（Ｓ７０５）、s2’= h< n2>を生成して（Ｓ７０６）、 s2 と s2’が等しいか照合を行う(Ｓ７０７)。値が等しければ、ＩＣカード icc_a は、ステートレコードsr1 を解放部２６により解放して交換を完了する（Ｓ７０８）。照合が正しく行われなければ、アプリケーションプログラムap_a へエラーメッセージを出力して終了する（Ｓ７１１）。図１６は、Commitment信号受信時のステートレコードの構成を示す図である。
【００３２】
（異常系処理 - 取引開始側）
以下、本実施形態の電子価値交換システムの異常時における動作を説明する。図１７は、本発明の実施形態に係る異常時のメッセージ交換を示す図である。図１８は、本発明の実施形態に係る異常時のメッセージのフローを説明する図である。図１７および図１８に示すように、異常時には、調停者ttpを介してメッセージをやり取りし、回復処理を行う。まず、取引開始側であるＩＣカードicc_aにおける処理について説明する。
【００３３】
図１９は、RecoverExchange信号受信時の動作フローを示す図である。図１９および図１７，１８に示すように、ＩＣカードicc_a は、アプリケーションプログラムap_a からの取引回復依頼メッセージ RecoverExchange 信号１０４を受理部１６により受理すると（Ｓ８０１）、 RecoverExchange信号 内の exgtid と同一のtid を持つステートレコード sr1 から state と ttpid と s2 を抽出する（Ｓ８０２）。exgtid と同一の tid がない時は アプリケーションプログラムap_aへエラーメッセージを出力する（Ｓ８０３，Ｓ８０７）。exgtid と同一の tid があり、state がCancerable状態９８であれば、ＩＣカードicc_a は、ステートレコードsr1 を解放部２６により解放して交換を完了する（Ｓ８０４，Ｓ８０８）。state が Resolvable状態１０２であれば、state を Resolvable から Wait_Commit状態へ更新する（Ｓ８０６）。既にWait_Commit状態の時は更新しない（Ｓ８０９）。なお、state が Resolvableであれば、 s2 と ttpへの回復依頼を示す flag=1からＩＣカード icc_aの署名が入った msg = <s2 | flag>PKicca を生成する。これは、Recover信号１０６として、調停者ttpに出力部１８により送信される。
【００３４】
図２０は、Arbitaration信号受信時の動作フローを示す図である。図２０および図１７，１８に示すように、ＩＣカードicc_aは、調停者ttp からの回復許可メッセージ Arbitarion信号１０８を受理すると、 Arbitration信号内のmsg を取り出す（Ｓ９０１）。msg は 許可内容を示す flag と s2' の連結値である msg と、 msg に付与されたttpの署名 sign からなる。すなわち、s2’が取り出される。
【００３５】
stateがWait_Commit状態でなければエラーメッセージを出力して終了する（Ｓ９０２，Ｓ９０５）。stateがWait_Commit状態であれば、ステートレコードsr1 から s2を抽出してs2 と s2’が等しいか照合を行う(Ｓ９０３)。値が等しければ、ＩＣカード icc_a はflagの許可に従って処理を行い、ステートレコードsr1 を解放部２６により解放して交換を完了する（Ｓ９０４）。照合が正しく行われなければ、ステートレコードsr1 をそのまま維持する（Ｓ９０６）。
【００３６】
（異常系処理 - 取引受け手側）
次に、取引受け手側であるＩＣカードicc_bにおける処理について説明する。図２１は、RecoverExchange信号受信時の動作フローを示す図である。図２１および図１７，１８に示すように、ＩＣカードicc_b は、アプリケーションプログラムap_b からの取引回復依頼メッセージ RecoverExchange 信号１０４を受理部１６により受理すると（Ｓ１００１）、 RecoverExchange信号内の exgtid と同一のtid を持つステートレコード sr2 から state と ttpid と s2 を抽出する（Ｓ１００２）。 exgtid と同一の tid がない時は アプリケーションプログラムap_b へエラーメッセージを出力する（Ｓ１００３，Ｓ１００６）。exgtid と同一の tid があっても、state がAbortable状態１００でなければ、アプリケーションプログラムap_b へエラーメッセージを出力する（Ｓ１００４，Ｓ１００７）。exgtid と同一の tid があり、state がAbortable状態１００であれば、state を Abortable状態から Wait_Abort状態へ更新する（Ｓ１００５）。既にWait_Abort状態の時は更新しない。なお、state が Abortable状態１００であれば、 s2 と ttpへの回復依頼を示す flag=1 からＩＣカード icc_bの署名が入った msg = <s2 | flag>PKiccb を生成する。これは、Recover信号１０６として、調停者ttpに出力部１８により送信される。
【００３７】
図２２は、Arbitaration信号受信時の動作フローを示す図である。図２２および図１７，１８に示すように、ＩＣカードicc_bは、調停者ttp からの回復許可メッセージ Arbitaration信号１０８を受理すると、 Arbitration信号内のmsg を取り出す（Ｓ１１０１）。msg は 許可内容を示す flag と s2' の連結値である msg と、 msg に付与されたttpの署名 sign からなる。すなわち、s2’が取り出される。
【００３８】
stateがWait_Abort状態でなければエラーメッセージを出力して終了する（Ｓ１１０２，Ｓ１１０５）。stateがWait_Abort状態であれば、ステートレコードsr2 から s2を抽出してs2 と s2’が等しいか照合を行う(Ｓ１１０３)。値が等しければ、ＩＣカード icc_b はflagの許可に従って処理を行い、ステートレコードsr2 を解放部２６により解放して交換を完了する（Ｓ１１０４）。照合が正しく行われなければ、ステートレコードsr2 をそのまま維持する（Ｓ１１０６）。
【００３９】
本実施形態によれば、ステートレコードの複数の値を、ＩＣカードの一つのページで格納して更新することが可能であるため、リストを持たずステートレコードの複数の値が連続した格納領域に格納されていない従来のＩＣカードと比較して、取引プロトコルの実行時のＩＣカード資源浪費の防止、および処理効率の向上を図ることができる。
【００４０】
尚、本発明の格納装置および電子価値交換方法は、上記した実施の形態に限定されるものではなく、本発明の要旨を逸脱しない範囲内において種々変更を加え得ることは勿論である。
【図面の簡単な説明】
【００４１】
【図１】本発明の実施形態に係る電子価値交換システムの構成を示す図である。
【図２】本発明の実施形態に係るＩＣカードの構成を示す図である。
【図３】本発明の実施形態に係るメッセージの構成を示す図である。
【図４】本発明の実施形態に係るステートレコードの構成を示す図である。
【図５】本発明の実施形態に係る正常時のメッセージの交換を示す図である。
【図６】本発明の実施形態に係る正常時のメッセージのフローを説明する図である。
【図７】StartExchange信号受信時の動作フローを示す図である。
【図８】StartExchange信号受信時のステートレコードの構成を示す図である。
【図９】AgreeExchange信号受信時の動作フローを示す図である。
【図１０】AgreeExchange信号受信時のステートレコードの構成を示す図である。
【図１１】ConfirmExchagne信号受信時の動作フローを示す図である。
【図１２】ConfirmExchange信号受信時のステートレコードの構成を示す図である。
【図１３】Confirmation信号受信時の動作フローを示す図である。
【図１４】Confirmation信号受信時のステートレコードの構成を示す図である。
【図１５】Commitment信号受信時の動作フローを示す図である。
【図１６】Commitment信号受信時のステートレコードの構成を示す図である。
【図１７】本発明の実施形態に係る異常時のメッセージ交換を示す図である。
【図１８】本発明の実施形態に係る異常時のメッセージのフローを説明する図である。
【図１９】RecoverExchange信号受信時の動作フローを示す図である。
【図２０】Arbitaration信号受信時の動作フローを示す図である。
【図２１】RecoverExchange信号受信時の動作フローを示す図である。
【図２２】Arbitaration信号受信時の動作フローを示す図である。
【符号の説明】
【００４２】
１０…電子価値交換システム、１２，１４…携帯端末、１６…受理部、１８…出力部、２０…格納部、２２…更新部、２４…抽出部、２６…解放部、icc_ａ，icc_b…ＩＣカード、ap_a，ap_b…アプリケーションプログラム、v1，v2…電子価値、sr1，sr2…ステートレコード。
【図１】
2006260467.tif 000003
【図２】
2006260467.tif 000004
【図３】
2006260467.tif 000005
【図４】
2006260467.tif 000006
【図５】
2006260467.tif 000007
【図６】
2006260467.tif 000008
【図７】
2006260467.tif 000009
【図８】
2006260467.tif 000010
【図９】
2006260467.tif 000011
【図１０】
2006260467.tif 000012
【図１１】
2006260467.tif 000013
【図１２】
2006260467.tif 000014
【図１３】
2006260467.tif 000015
【図１４】
2006260467.tif 000016
【図１５】
2006260467.tif 000017
【図１６】
2006260467.tif 000018
【図１７】
2006260467.tif 000019
【図１８】
2006260467.tif 000020
【図１９】
2006260467.tif 000021
【図２０】
2006260467.tif 000022
【図２１】
2006260467.tif 000023
【図２２】
2006260467.tif 000024