JP2004341643A

JP2004341643A - Electronic value exchange system, method and apparatus

Info

Publication number: JP2004341643A
Application number: JP2003134995A
Authority: JP
Inventors: Masayuki Terada; 雅之寺田; Makoto Iguchi; 誠井口; Takashi Fujimura; 考藤村
Original assignee: Nippon Telegraph and Telephone Corp
Current assignee: NTT Inc
Priority date: 2003-05-13
Filing date: 2003-05-13
Publication date: 2004-12-02
Anticipated expiration: 2023-05-13
Also published as: JP4020007B2

Abstract

【課題】２つの利用者装置間で電子価値を交換する過程で、交換処理に異常が発生した場合には、交換の取消もしくは完了がなされることを保証する電子価値交換システムを提供する。
【解決手段】前記第１の電子価値と前記第２の電子価値とを、前記第１の格納手段と前記第２の格納手段との間で電子価値の改竄や複製を防ぎつつ交換する交換手段と、前記交換手段による交換が中断した場合に、交換の取消もしくは完了を判定する判定手段と、判定の結果が取消だった場合に、第１の格納手段及び第２の格納手段の双方における電子価値の格納状態を、交換が行なわれる前の状態とする取消手段と、判定の結果が完了だった場合に、第１の格納手段及び第２の格納手段の双方における電子価値の格納状態を、交換が行なわれた後の状態とする完了手段とを備える。
【選択図】図１Provided is an electronic value exchange system that guarantees that exchange is canceled or completed when an abnormality occurs in an exchange process in a process of exchanging electronic value between two user devices.
An exchange means for exchanging the first electronic value and the second electronic value between the first storage means and the second storage means while preventing falsification or duplication of the electronic value. A determination unit for determining whether the replacement is canceled or completed when the replacement by the replacement unit is interrupted; and an electronic unit in both the first storage unit and the second storage unit when the determination result is canceled. A canceling means for changing the storage state of the value to a state before the exchange is performed; and a storage state of the electronic value in both the first storage means and the second storage means when the result of the determination is completed, Completion means for setting the state after the exchange has been performed.
[Selection diagram] Fig. 1

Description

【０００１】
【発明の属する技術分野】
本発明は、価値を電子的に表象する情報である電子価値を流通させる方法及び装置に係り、特に公平に電子貨幣や電子チケットなどの電子価値を交換するための電子価値交換方法及び電子価値交換のための装置に関する。
【０００２】
【従来の技術】
特許文献１における原本データ流通方法などを用いることにより、価値を電子的に表象する情報である電子価値を、複製や偽造などの不正を防ぎつつ、ＩＣカードなどの利用者デバイスに発行し、利用者デバイス間で譲渡し、利用者デバイスから行使させるなど、安全に流通させることができる。例えば上記の方法は、電子的にチケットを表象する電子チケットや、電子的に貨幣を表象する電子貨幣などを電子的に流通させることを可能とする。
【０００３】
しかしながら、前記方法はそれ自体では電子価値を公平に取引するための手段は提供しない。ここで公平な取引とは、取引当事者の双方について、対価となる電子価値を入手するもしくは入手する保証を得ること無しに取引対象の電子価値を失うことは無い、という条件を見たす電子価値の相互交換を指すものである。
【０００４】
前記方法により実現された電子価値を公平に取引するためには、例えば第三者装置により取引を仲介させ、複数回の電子価値の移送を組み合わせて取引を行なうなどの方法を用いることが必要となる。
【０００５】
以下に第１の方法として第三者装置の仲介により公平な電子価値の取引を行なう従来の方法について、例を用いて説明する。ここで、利用者デバイスＵ１に格納された電子価値Ｖ１と利用者デバイスＵ２に格納された電子価値Ｖ２とを、第三者装置Ｔの仲介により公平に交換取引したい場合について説明する。
【０００６】
この場合、１）Ｕ１はＴにＶ１を送る。２）Ｕ２はＴにＶ２を送る。３）ＴはＶ１とＶ２の両方が揃ったことを確認し、Ｕ１にＶ２を、Ｕ２にＶ１をそれぞれ送る。といったステップにより、上記の公平な交換取引を実現できる。
【０００７】
第２の方法としては、電子情報の逐次的な開示を用いた方法が挙げられる。すなわち、上記Ｖ１とＶ２の交換取引において、上記Ｕ１と上記Ｕ２とが、それぞれＶ１及びＶ２を送信するためのビット列を、互いに少しずつ開示していくことにより、取引の公平性を満たすことができる。
【０００８】
【特許文献１】
特開２００１−１４３００９号公報
【０００９】
【発明が解決しようとする課題】
しかしながら、上記の第三者装置に仲介させる方法では、取引を行なう際に必ず第三者装置と通信を行なう必要がある。そのため、第三者装置に負荷が集中すること、インターネットなどの公衆網への接続性が担保されない環境での利用が困難なこと、などの問題がある。
【００１０】
また、逐次的な開示を用いた方法では、取引に伴う通信の回数が著しく増大するため取引の実行効率が低いこと、Ｕ１とＵ２の演算性能がほぼ同等であるなどの追加条件を満たす必要があること、などの問題がある。
【００１１】
本発明は上記の点に鑑みなされたもので、正常な条件下、すなわちＵ１とＵ２との間の通信路が取引開始から終了までの期間で失われることなく、かつＵ１とＵ２の双方とも取引の遂行に協力するという条件が満たされている取引では、Ｕ１とＵ２のみの間での実用的な回数の通信で電子価値の交換を遂行することを可能とし、かつ正常でない条件下においては、取引の中途からであっても第三者装置を用いて取引の公平性を回復させることを可能とする、電子価値の交換方法及びその装置を提供することを目的とする。
【００１２】
【課題を解決するための手段】
上記の課題は、第１の格納手段と第２の格納手段との間で電子価値の改竄や複製を防ぎつつ当該電子価値を交換する過程で、交換が中断した場合に、判定手段が交換の取消もしくは完了を判定するステップと、
前記判定手段による判定の結果が取消だった場合に、取消手段が、第１の格納手段および第２の格納手段の双方における電子価値の格納状態を、前記交換が行なわれる前の状態とするステップと、
前記判定手段による判定の結果が完了だった場合に、完了手段が、第１の格納手段および第２の格納手段の双方における電子価値の格納状態を、前記交換が行なわれた後の状態とするステップと
を備えたことを特徴とする電子価値交換方法により解決できる。
【００１３】
本発明によれば、電子価値の改竄や複製を防ぎつつ交換することができる上、その過程で交換が中断した場合でも、判定手段による判定の結果に応じて、交換が行なわれる前の状態とするかもしくは交換が行なわれた後の状態とすることができるので、取引の公平性を回復させることができる。
【００１４】
また、本発明の電子価値交換方法は、第１の利用者装置に格納された第１の電子価値と、第２の利用者装置に格納された第２の電子価値とを交換する方法において、
前記第１の利用者装置は、
第１の乱数を生成するステップと、
前記第１の乱数に対応する第１のセッション情報を生成するステップと、
第１のセッション状態を開始と定義するステップと、
前記第１のセッション情報を含む情報である開始情報と第１の電子価値とを出力するステップと、
を含む開始ステップを実行し、
前記第２の利用者装置は、
前記開始情報と前記第１の電子価値を取得するステップと、
第２の乱数を生成するステップと、
前記第２の乱数に対応する第２のセッション情報を生成するステップと、
第２のセッション状態を有効と定義するステップと、
第１の電子価値、第２の電子価値及び第１のセッション情報に対応する合意対象情報を生成するステップと、
前記合意対象情報と前記第２のセッション情報とを含む情報に対する電子署名Ｓａを生成するステップと、
前記第２の電子価値を削除するステップと、
前記合意対象情報と前記第２のセッション情報と電子署名Ｓａとを含む情報である合意情報と、前記第２の電子価値とを出力するステップと、
を含む合意ステップを実行し、
前記第１の利用者装置は、更に、
前記合意情報と前記第２の電子価値とを取得するステップと、
所定の検証項目に関する検証を行う第１の検証ステップと、
前記第１のセッション状態を有効と定義するステップと、
前記第２のセッション情報を含む情報に対する電子署名Ｓｅを生成するステップと、
前記第１の電子価値を削除するステップと、
前記第１の乱数と前記第２のセッション情報と電子署名Ｓｅとを含む情報である第１の確認情報を出力するステップと、
を含む第１の確認ステップを実行し、
前記第２の利用者装置は、更に、
前記第１の確認情報を取得するステップと、
所定の検証項目に関する検証を行う第２の検証ステップと、
前記第２のセッション状態を消去するもしくは無効と定義するステップと、
前記第１の電子価値を格納するステップと、
前記第２の乱数を含む情報である第２の確認情報を出力するステップと、
を含む第２の確認ステップを実行し、
前記第１の利用者装置は、更に、
前記第２の確認情報を取得するステップと、
所定の検証項目に関する検証を行う第３の検証ステップと、
前記第１のセッション状態を消去するもしくは無効と定義するステップと、
前記第２の電子価値を格納するステップと、
を含む終了ステップを実行する電子価値交換方法としても構成できる。
【００１５】
上記の電子価値交換方法において、前記第２のセッション状態が有効と定義されている場合に、
前記第２の利用者装置は、
前記第２のセッション状態を保留と定義するステップと、
取消依頼を示す情報と前記合意情報とを含む情報に対する電子署名Ｓａｂを生成するステップと、
前記取消依頼を示す情報と前記合意情報と前記電子署名Ｓａｂとを含む情報である取消依頼情報を出力するステップと、
を含む取消依頼ステップを実行し、
第三者装置が、
前記取消依頼情報を取得するステップと、
所定の検証項目に関する検証を行う第４の検証ステップと、
第３のセッション状態が未定義であれば取消と定義するステップと、
を含む取消判定ステップを実行する。
【００１６】
また、前記第１のセッション状態が有効と定義されている場合に、
前記第１の利用者装置は、
完了依頼を示す情報と、前記合意情報とを含む情報に対する電子署名Ｓｃｏを生成するステップと、
前記完了依頼を示す情報と前記合意情報と前記電子署名Ｓｃｏとを含む情報である完了依頼情報を出力するステップと、
を含む完了依頼ステップを実行し、
第三者装置は、
前記完了依頼情報を取得するステップと、
所定の検証項目に関する検証を行う第５の検証ステップと、
前記第３のセッション状態が未定義であれば完了と定義するステップと、
を含む完了判定ステップを実行する。
【００１７】
更に、前記第３のセッション状態が取消と定義されている場合に、前記第三者装置は、
取消許可を示す情報と、前記合意情報とを含む情報に対する電子署名Ｓａｂｏｒｔを生成するステップと、
前記取消許可を示す情報と前記合意情報と前記電子署名Ｓａｂｏｒｔとを含む情報である取消許可情報を出力するステップと、
を含む取消許可ステップを実行し、
前処理が完了依頼処理である場合に前記第１の利用者装置は、更に、
前記取消許可情報を取得するステップと、
所定の検証項目に関する検証を行う第６の検証ステップと、
前記第１のセッション状態を消去するもしくは無効と定義するステップと、
前記第１の電子価値を格納するステップと、
を含む取消遂行ステップを実行する。
【００１８】
また、前処理が取消依頼処理である場合には、前記第２の利用者装置は、更に、
前記取消許可情報を取得するステップと、
所定の検証項目に関する検証を行う第７の検証ステップと、
前記第２のセッション状態を消去するもしくは無効と定義するステップと、
前記第２の電子価値を格納するステップと、
を含む取消遂行ステップを実行する。
【００１９】
一方、前記第３のセッション状態が完了と定義されている場合に、前記第三者装置は、
完了許可を示す情報と、前記合意情報とを含む情報に対する電子署名Ｓｃｏｍｍｉｔを生成するステップと、
前記完了許可を示す情報と前記合意情報と前記電子署名Ｓｃｏｍｍｉｔとを含む情報である完了許可情報を出力するステップと、
を含む完了許可ステップを実行し、
前処理が完了依頼処理である場合に前記第１の利用者装置は、更に、
前記完了許可情報を取得するステップと、
所定の検証項目に関する検証を行う第８の検証ステップと、
前記第１のセッション状態を消去もしくは無効と定義するステップと、
前記第２の電子価値を格納するステップと、
を含む完了遂行ステップを実行する。
【００２０】
また、前処理が取消依頼処理である場合には、前記第２の利用者装置は、更に、
前記完了許可情報を取得するステップと、
所定の検証項目に関する検証を行う第９の検証ステップと、
前記第２のセッション状態を消去もしくは無効と定義するステップと、
前記第１の電子価値を格納するステップと、
を含む完了遂行ステップを実行する。
【００２１】
本発明によれば、上記のような各ステップの処理により、２つの利用者装置間で電子価値を交換することができる。また、利用者装置間での交換処理に異常が発生した場合には、第三者装置を用いて交換の取消もしくは完了のどちらかがなされることを保証することができる。更に、この際に交換対象である電子価値の内容を第三者装置に対して秘匿することができる。なお、本発明は、装置、システムとしても構成できる。
【００２２】
【発明の実施の形態】
以下、図面を参照して本発明の実施の形態について説明する。
【００２３】
まず、図１を参照して実施の形態の概要について説明する。図１に示す電子価値交換システムは、第１の電子価値１０１を格納する第１の格納手段１０と、第２の電子価値２０１を格納する第２の格納手段２０と、交換手段３０と、判定手段４０と、取消手段５０と、完了手段６０とを有している。
【００２４】
交換手段３０は、第１の電子価値１０１と第２の電子価値２０１とを、第１の格納手段１０と第２の格納手段２０との間で電子価値の改竄や複製を防ぎつつ交換する手段である。判定手段４０は、交換手段３０による交換が中断した場合に、交換の取消もしくは完了を判定する。また、取消手段５０は、判定手段４０による判定の結果が取消だった場合に、第１の格納手段１０及び第２の格納手段２０の双方における電子価値の格納状態を、交換手段３０による交換が行なわれる前の状態とする機能を有している。更に、完了手段６０は、判定手段４０による判定の結果が完了だった場合に、第１の格納手段１０及び第２の格納手段２０の双方における電子価値の格納状態を、交換手段３０による交換が行なわれた後の状態とする機能を有している。
【００２５】
上記のように、電子価値交換システムを用いれば、電子価値の改竄や複製を防ぎつつ交換することができる上、その過程で交換が中断した場合でも、判定手段による判定の結果に応じて、交換が行なわれる前の状態とするかもしくは交換が行なわれた後の状態とすることができるので、取引の公平性を回復させることができる。
【００２６】
以下、本発明の実施の形態をより詳細に説明する。
【００２７】
図２は本発明の電子価値交換システムの全体構成を示す図である。同図では、通信手段４を介して利用者装置１と利用者装置２が接続されており、通信手段４を介して利用者装置１に格納された電子価値１０１を消去の上で利用者装置２に格納し、更に利用者装置２に格納された電子価値２０１を消去の上で利用者装置１に格納する交換取引を行なう場合を示している。
【００２８】
また更に、図２に示すシステムは通信手段５を介して利用者装置１及び２に接続された第三者装置３を含む。通信手段４の途絶の検知など、利用者装置１及び利用者装置２が前記交換取引の遂行に異常を認めた場合には、異常を認めた利用者装置１もしくは２から第三者装置３に対して、異常の発生時点に応じた情報を送信する。
【００２９】
第三者装置３は、送信された情報に応じて交換取引を取り消すべきか完了させるかを確定させ、確定結果に応じた情報を送信元の利用者装置に対して返信する。第三者装置から返信された情報を受けた利用者装置は、確定結果に応じて前記交換取引を取り消して電子価値を元に戻すか、もしくは前記交換取引が完了したと看倣して交換対象であった電子価値を格納するかのどちらかを行なう。
【００３０】
ここで通信手段４は一時的な通信手段であり、利用者装置１と２との間を常時接続することを求めない。また、通信手段５も一時的な通信手段であり、利用者装置と第三者装置との間を常時接続することを求めない。通信手段４及び５は同一の通信網により提供されていても良い。
【００３１】
次に、各装置の構成と動作について詳細に説明する。
【００３２】
図３は、本発明の一実施形態における利用者装置１の構成を示す図である。同図に示す利用者装置１は、格納手段１０、開始手段１１、第１の確認手段１２、終了手段１３、完了依頼手段１４、取消遂行手段１５、完了遂行手段１６を有する。ここで、典型的には利用者装置１はＩＣカードなどの耐タンパ装置を用いて実現され、各手段を実現するプログラムや格納手段中の格納データに対する改竄を防止する。
【００３３】
図４は、本発明の一実施形態における利用者装置２の構成を示す図である。同図に示す利用者装置２は、格納手段２０、合意手段２１、第２の確認手段２２、取消依頼手段２３、取消遂行手段２４、完了遂行手段２５を有する。ここで、利用者装置１と同様に、典型的には利用者装置２はＩＣカードなどの耐タンパ装置を用いて実現され、各手段を実現するプログラムや格納手段中の格納データに対する改竄を防止する。
【００３４】
図５は、本発明の一実施形態における第三者装置３の構成を示す図である。同図に示す第三者装置３は、取消判定手段３１、完了判定手段３２、取消許可手段３３、完了許可手段３４を有する。ここで、典型的には第三者装置はインターネットなどの公衆網に接続されたサーバとして実現され、利用者装置からの接続を待ち受ける。
【００３５】
通信手段４としては赤外線通信路やインターネットなどの通信媒体を介して相互接続された、２つのＩＣカードリーダライタなどを用いることができる。また、通信手段５としてはインターネットなどの通信媒体を介して第三者装置に接続されたＩＣカードリーダライタなどを用いることができる。
【００３６】
上述したような構成を有する各装置を用いて、格納手段１０に格納された電子価値１０１と、格納手段２０に格納された電子価値１０２とを公平に交換する方法を以下に説明する。
【００３７】
なお、以下の説明において、利用者装置１は、公開鍵Ｐ１を含む公開鍵証明書ＣｅｒｔＰ１を、利用者装置２は、公開鍵Ｐ２を含む公開鍵証明書ＣｅｒｔＰ２を、第三者装置３は公開鍵Ｐ３を含む公開鍵証明書ＣｅｒｔＰ３を、それぞれあらかじめ保持しているものとする。ここで、ＣｅｒｔＰ１及びＣｅｒｔＰ２は第１の認証局である利用者装置認証局により発行され、ＣｅｒｔＰ３は第２の認証局である第三者装置認証局により発行された公開鍵証明書であるとする。
【００３８】
この方法による電子価値の交換は、以下の主処理を実行することにより開始される。主処理の遂行に異常をきたした場合は、主処理の実行を中断して取消依頼処理もしくは完了依頼処理に実行を分岐する。取消依頼処理及び完了依頼処理の実行後は、第三者装置の状態に応じて取消遂行処理もしくは完了遂行処理に実行を分岐する。これらの分岐条件については、以下の処理の説明において示す。
【００３９】
（主処理）
主処理の手順を図６、図７を参照して説明する。
【００４０】
まず、利用者装置１の開始手段１１は、以下の処理を実行する。
【００４１】
ステップ１０１）第１の乱数ｎ１を生成する。
【００４２】
ステップ１０２）ｎ１に対応する第１のセッション情報ｓ１＝ｎ１を生成する。
【００４３】
ステップ１０３）第１のセッション状態を「開始」と定義する。例えば、「第１のセッション状態」に対応付けて「開始」を示す情報を格納する。
【００４４】
ステップ１０４）格納手段１０から電子価値１０１を参照する。これをＶ１とする。
【００４５】
ステップ１０５）Ｏ＝ｓ１とＶ１すなわち、（Ｏ，Ｖ１）を通信手段４へ出力する。
【００４６】
通信手段４は、（Ｏ，Ｖ１）を利用者装置１から利用者装置２に転送する。
【００４７】
続いて利用者装置２の合意手段２１は、以下の処理を実行する。
【００４８】
ステップ１０６）ＯとＶ１を通信手段４から取得する。
【００４９】
ステップ１０７）格納手段２０から電子価値２０１を参照する。これをＶ２とする。
【００５０】
ステップ１０８）第２の乱数ｎ２を生成する。
【００５１】
ステップ１０９）一方向性を持つ関数Ｈ（）を用いてｎ２に対応する第２のセッション情報ｓ２＝Ｈ（ｎ２）を生成する。
【００５２】
ステップ１１０）第２のセッション状態を「有効」と定義する。例えば、「第２のセッション状態」に対応付けて「有効」を示す情報を格納する。
【００５３】
ステップ１１１）一方向性を持つ関数Ｈ（）を用いて合意対象情報Ａｏ＝Ｈ（Ｖ１｜｜Ｖ２｜｜ｓ１）を生成する。ここで｜｜は連接を表す。
【００５４】
ステップ１１２）Ｓａ＝ＳｉｇＰ２（Ａｏ｜｜ｓ２）を生成する。ここで、ＳｉｇＰ２（）とは公開鍵Ｐ２で検証可能な電子署名を生成する署名関数である。このような署名関数としてＥＳＩＧＮやＥＣＤＳＡなどを用いることができる。
【００５５】
ステップ１１３）格納手段２０からＶ２を削除する。
【００５６】
ステップ１１４）Ａ＝（Ａｏ，ｓ２，Ｓａ）とＶ２及びＣｅｒｔＰ２を通信手段４へ出力する。
【００５７】
そして、通信手段４は、（Ａ，Ｖ２，ＣｅｒｔＰ２）を利用者装置２から利用者装置１に転送する。
【００５８】
続いて、利用者装置１の第１の確認手段１２は、以下を実行する。
【００５９】
ステップ１１５）ＡとＣｅｒｔＰ２を通信手段４から取得する。
【００６０】
ステップ１１６）以下の事項を検証し、一つでも失敗したならば以降の処理を中断する。
− 第１のセッション状態が「開始」であること。
− ＣｅｒｔＰ２が、利用者認証局による有効な公開鍵証明書であること。
− Ｐ２を用いてＳａ＝ＳｉｇＰ２（Ａｏ｜｜ｓ２）の署名検証が成功すること。
− Ａｏ＝Ｈ（Ｖ１｜｜Ｖ２｜｜ｓ１）が成立すること。
【００６１】
ステップ１１７）第１のセッション状態を「有効」と定義する。
【００６２】
ステップ１１８）Ｓｅ＝ＳｉｇＰ１（ｓ２）を生成する。ここで、ＳｉｇＰ１（）とは公開鍵Ｐ１で検証可能な電子署名を生成する署名関数である。
【００６３】
ステップ１１９）格納手段１０からＶ１を削除する。
【００６４】
ステップ１２０）Ｅ１＝（ｓ２，Ｓｅ）とＣｅｒｔＰ１を通信手段４へ出力する。
【００６５】
そして、通信手段４は、（Ｅ１，ＣｅｒｔＰ１）を利用者装置１から利用者装置２に転送する。この転送が一定時間のうちに行なわれずにタイムアウトするなど、異常を検知した場合は、利用者装置２は以下の処理を中断し、「取消依頼処理」を実行する。
【００６６】
続いて、利用者装置２の第２の確認手段２２は、以下を実行する。
【００６７】
ステップ１２１）Ｅ１とＣｅｒｔＰ１を通信手段４から取得する。
【００６８】
ステップ１２２）以下を検証し、一つでも失敗したならば以降の処理を中断し、「取消依頼処理」を実行する。
− 第２のセッション状態が「有効」であること。
− ＣｅｒｔＰ１が、利用者認証局による有効な公開鍵証明書であること。
− Ｐ１を用いてＳｅ＝ＳｉｇＰ１（ｓ２）の署名検証が成功すること。
− Ｅ１に含まれるｓ２とＡに含まれるｓ２とが同一であること。
【００６９】
ステップ１２３）第２のセッション状態を消去する。
【００７０】
ステップ１２４）格納手段２０にＶ１を格納する。
【００７１】
ステップ１２５）Ｅ２＝ｎ２を通信手段４へ出力する。
【００７２】
そして、通信手段４は、Ｅ２を利用者装置２から利用者装置１に転送する。この転送が一定時間のうちに行なわれずにタイムアウトするなど、異常を検知した場合は、利用者装置１は以下の処理を中断し、「完了依頼処理」を実行する。
【００７３】
続いて、利用者装置１の終了手段は、以下を実行する。
【００７４】
ステップ１２６）Ｅ２を通信手段４から取得する。
【００７５】
ステップ１２７）以下を検証し、一つでも失敗したならば以降の処理を中断し、「完了依頼処理」を実行する。
− 第１のセッション状態が「有効」であること。
− ｓ２＝Ｈ（ｎ２）が成立すること。
【００７６】
ステップ１２８）第１のセッション状態を消去する。
【００７７】
ステップ１２９）格納手段１０にＶ２を格納する。
【００７８】
（主処理終了）
上記のステップ１０１からステップ１２８の手順からなる主処理が最後まで実行されたならば処理を終了する。このとき、利用者装置１の格納手段１０には電子価値２０１が、利用者装置２の格納手段２０には電子価値１０１がそれぞれ格納され、前述の電子価値は公平に交換されたことになる。
【００７９】
（取消依頼処理）
次に、主処理における所定の場合に上記の利用者装置２により実行される「取消依頼処理」の手順について図８を参照して説明する。
【００８０】
まず、利用者装置２の取消依頼手段２３は、以下を実行する。
【００８１】
ステップ２０１）第２のセッション状態を「保留」と定義する。
【００８２】
ステップ２０２）Ｓａｂ＝ＳｉｇＰ２（Ｍａｂ｜｜Ａ）を生成する。ここでＭａｂは取消依頼を示す情報である。
【００８３】
ステップ２０３）Ｒａｂ＝（Ｍａｂ，Ａ，Ｓａｂ）とＣｅｒｔＰ２を通信手段５に出力する。
【００８４】
通信手段５は、ＲａｂとＣｅｒｔＰ２を利用者装置２から第三者装置３に転送する。そして、第三者装置３の取消判定手段３１は、以下を実行する。
【００８５】
ステップ２０４）ＲａｂとＣｅｒｔＰ２を通信手段５から取得する。
【００８６】
ステップ２０５）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− ＣｅｒｔＰ２が、利用者認証局による有効な公開鍵証明書であること。
− Ｐ２を用いてＳａｂ＝ＳｉｇＰ２（Ｍａｂ｜｜Ａ）の署名検証が成功すること。
【００８７】
ステップ２０６）第３のセッション状態を参照し、未定義であれば「取消」と定義する。
【００８８】
ステップ２０７）第３のセッション状態を参照し、その内容により処理を分岐する。
− 「取消」と定義されていれば取消許可処理を実行する。
− 「完了」と定義されていれば完了許可処理を実行する。
【００８９】
（取消依頼処理終了）
上記の手順による処理が終了することにより取消依頼処理を終了する。
【００９０】
（完了依頼処理）
次に、主処理における所定の場合に上記の利用者装置１により実行される「完了依頼処理」の手順を図９を参照して説明する。完了依頼処理は、以下の手順により実行される。
【００９１】
利用者装置１の完了依頼手段１４は、以下を実行する。
【００９２】
ステップ３０１）Ｓｃｏ＝ＳｉｇＰ１（Ｍｃｏ｜｜Ａ）を生成する。ここでＭｃｏは完了依頼を示す情報である。
【００９３】
ステップ３０２）Ｒｃｏ＝（Ｍｃｏ，Ａ，Ｓｃｏ）とＣｅｒｔＰ１を通信手段５に出力する。
【００９４】
通信手段５は、ＲｃｏとＣｅｒｔＰ２を利用者装置２から第三者装置３に転送する。そして、第三者装置３の完了判定手段３２は、以下を実行する。
【００９５】
ステップ３０３）ＲｃｏとＣｅｒｔＰ１を通信手段５から取得する。
【００９６】
ステップ３０４）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− ＣｅｒｔＰ１が、利用者認証局による有効な公開鍵証明書であること。
− Ｐ１を用いてＳｃｏ＝ＳｉｇＰ１（Ｍｃｏ｜｜Ａ）の署名検証が成功すること。
【００９７】
ステップ３０５）第３のセッション状態を参照し、未定義であれば「完了」と定義する。
【００９８】
ステップ３０６）第３のセッション状態を参照し、その内容により処理を分岐する。
− 「取消」と定義されていれば取消許可処理を実行する。
− 「完了」と定義されていれば完了許可処理を実行する。
【００９９】
（完了依頼処理終了）
上記の手順による処理が終了することにより完了依頼処理を終了する。
【０１００】
（取消許可処理）
次に、完了依頼処理もしくは取消依頼処理における所定の場合に実行される取消許可処理の手順について図１０を参照して説明する。
【０１０１】
第三者装置３の取消許可手段３３は、以下の処理を実行する。
【０１０２】
ステップ４０１）Ｓａｂｏｒｔ＝ＳｉｇＰ３（ａｂｏｒｔ｜｜Ａ）を生成する。ここでａｂｏｒｔは取消許可を示す情報である。
【０１０３】
ステップ４０２）ＡＴ＝（ａｂｏｒｔ，Ａ，Ｓａｂｏｒｔ）とＣｅｒｔＰ３を通信手段５に出力する。
【０１０４】
ステップ４０３）通信手段５は、ＡＴとＣｅｒｔＰ３を第三者装置３から利用者装置１もしくは利用者装置２に転送する。どちらに転送するかは以下の条件による。
− 前処理が完了依頼処理だった場合は利用者装置１。
− 前処理が取消依頼処理だった場合は利用者装置２。
【０１０５】
ＡＴとＣｅｒｔＰ３を受信したのが利用者装置１だった場合、利用者装置１の取消遂行手段１５は、以下を実行する。
【０１０６】
ステップ４１１）ＡＴとＣｅｒｔＰ３を通信手段５から取得する。
【０１０７】
ステップ４１２）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− 第１のセッション状態が「有効」であること。
− ＣｅｒｔＰ３が、第三者装置認証局による有効な公開鍵証明書であること。
− Ｐ３を用いてＳａｂｏｒｔ＝ＳｉｇＰ３（ａｂｏｒｔ｜｜Ａ）の署名検証が成功すること。
【０１０８】
ステップ４１３）第１のセッション状態を消去する、もしくは無効と定義する。
【０１０９】
ステップ４１４）Ｖ１に対応する電子価値を生成して格納手段１０に格納する。
【０１１０】
ＡＴとＣｅｒｔＰ３を受信したのが利用者装置２だった場合、利用者装置２の取消遂行手段２４は、以下の処理を実行する。
【０１１１】
ステップ４２１）ＡＴとＣｅｒｔＰ３を通信手段５から取得する。
【０１１２】
ステップ４２２）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− 第２のセッション状態が「保留」もしくは「有効」であること。
− ＣｅｒｔＰ３が、第三者装置認証局による有効な公開鍵証明書であること。
− Ｐ３を用いてＳａｂｏｒｔ＝ＳｉｇＰ３（ａｂｏｒｔ｜｜Ａ）の署名検証が成功すること。
【０１１３】
ステップ４２３）第２のセッション状態を消去する、もしくは無効と定義する。
【０１１４】
ステップ４２４）Ｖ２に対応する電子価値を生成して格納手段２０に格納する。
【０１１５】
（取消許可処理終了）
上記の処理が終了することにより取消許可処理を終了する。
【０１１６】
（完了許可処理）
次に、完了依頼処理もしくは取消依頼処理における所定の場合に実行される完了許可処理について図１１を参照して説明する。
【０１１７】
第三者装置３の完了許可手段３４は、以下を実行する。
【０１１８】
ステップ５０１）Ｓｃｏｍｍｉｔ＝ＳｉｇＰ３（ｃｏｍｍｉｔ｜｜Ａ）を生成する。ここでｃｏｍｍｉｔは完了許可を示す情報である。
【０１１９】
ステップ５０２）ＣＴ＝（ｃｏｍｍｉｔ，Ａ，Ｓｃｏｍｍｉｔ）とＣｅｒｔＰ３を通信手段５に出力する。
【０１２０】
ステップ５０３）通信手段５は、ＣＴとＣｅｒｔＰ３を第三者装置３から利用者装置１もしくは利用者装置２に転送する。どちらに転送するかは以下の条件による。
− 前処理が完了依頼処理だった場合は利用者装置１。
− 前処理が取消依頼処理だった場合は利用者装置２。
【０１２１】
ＣＴとＣｅｒｔＰ３を受信したのが利用者装置１だった場合、利用者装置１の完了遂行手段１６は、以下を実行する。
【０１２２】
ステップ５１１）ＣＴとＣｅｒｔＰ３を通信手段５から取得する。
【０１２３】
ステップ５１２）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− 第１のセッション状態が「有効」であること。
− ＣｅｒｔＰ３が、第三者装置認証局による有効な公開鍵証明書であること。
− Ｐ３を用いてＳｃｏｍｍｉｔ＝ＳｉｇＰ３（ｃｏｍｍｉｔ｜｜Ａ）の署名検証が成功すること。
【０１２４】
ステップ５１３）第１のセッション状態を消去する、もしくは無効と定義する。
【０１２５】
ステップ５１４）Ｖ２に対応する電子価値を生成して格納手段１０に格納する。
【０１２６】
ＣＴとＣｅｒｔＰ３を受信したのが利用者装置２だった場合、利用者装置２の完了遂行手段２５は、以下を実行する。
【０１２７】
ステップ５２１）ＣＴとＣｅｒｔＰ３を通信手段５から取得する。
【０１２８】
ステップ５２２）以下を検証し、一つでも失敗したならば以降の処理を中断する。
− 第２のセッション状態が「保留」もしくは「有効」であること。
− ＣｅｒｔＰ３が、第三者装置認証局による有効な公開鍵証明書であること。
− Ｐ３を用いてＳｃｏｍｍｉｔ＝ＳｉｇＰ３（ｃｏｍｍｉｔ｜｜Ａ）の署名検証が成功すること。
【０１２９】
ステップ５２３）第２のセッション状態を消去する、もしくは無効と定義する。。
【０１３０】
ステップ５２４）Ｖ１に対応する電子価値を生成して格納手段２０に格納する。
【０１３１】
（完了許可処理終了）
以上の処理が終了することにより完了許可処理を終了する。
【０１３２】
さて、上記の実施の形態において、電子価値１０１、２０１を、ある金額を表す電子的な貨幣とすることができる。これにより電子貨幣両替システムを実現することができる。また、電子価値１０１を１乃至複数枚の電子的なチケットとし、電子価値２０１を、ある金額を表す電子的な貨幣とする、もしくは、電子価値２０１を１乃至複数枚の電子的なチケットとし、電子価値１０１を、ある金額を表す電子的な貨幣とすることにより電子チケット販売システムを実現できる。
【０１３３】
本実施の形態におけるシステムの各装置において本実施の形態に係る処理を行うプログラムは、コンピュータが読み取りできる記録媒体、例えば、ＦＤ（フロッピー（登録商標）ディスク）や、ＭＯ、ＲＯＭ、メモリカード、ＣＤ−ＲＯＭ、ＤＶＤ、リムーバブルディスクなどに記録して、保存したり、配布したりすることが可能である。また、そのプログラムは、インターネットや電子メールなど、ネットワークを通して提供することも可能である。
【０１３４】
なお、本発明は、上記の実施例に限定されることなく、特許請求の範囲内において、種々変更・応用が可能である。
【０１３５】
【発明の効果】
上述のように、本発明によれば、２つの利用者装置間で電子価値を交換することができる。また、利用者装置間での交換処理に異常が発生した場合には、第三者装置を用いて交換の取消もしくは完了のどちらかがなされることを保証することができる。更に、この際に交換対象である電子価値の内容を第三者装置に対して秘匿することができる。
【図面の簡単な説明】
【図１】本発明の実施の形態における電子価値交換システムの構成を示す図である。
【図２】本発明の実施の形態における電子価値交換システムの構成を示す図である。
【図３】本発明の実施の形態における利用者装置１の構成を示す図である。
【図４】本発明の実施の形態における利用者装置２の構成を示す図である。
【図５】本発明の実施の形態における第三者装置３の構成を示す図である。
【図６】本発明の実施の形態における主処理の手順を示す図である。
【図７】本発明の実施の形態における主処理の手順を示す図である。
【図８】本発明の実施の形態における取消依頼処理の手順を示す図である。
【図９】本発明の実施の形態における完了依頼処理の手順を示す図である。
【図１０】本発明の実施の形態における取消許可処理の手順を示す図である。
【図１１】本発明の実施の形態における完了許可処理の手順を示す図である。
【符号の説明】
１、２利用者装置
３第三者装置
４、５通信手段
１０１第１の電子価値
１０第１の格納手段
２０１第２の電子価値
２０第２の格納手段
３０交換手段
４０判定手段
５０取消手段
６０完了手段
１１開始手段
１２第１の確認手段
１３終了手段
１４完了依頼手段
１５取消遂行手段
１６完了遂行手段
２１合意手段
２２第２の確認手段
２３取消依頼手段
２４取消遂行手段
２５完了遂行手段
３１取消判定手段
３２完了判定手段
３３取消許可手段
３４完了許可手段[0001]
TECHNICAL FIELD OF THE INVENTION
The present invention relates to a method and an apparatus for distributing electronic value, which is information that electronically represents a value, and particularly to an electronic value exchange method and an electronic value exchange for fairly exchanging electronic values such as electronic money and electronic tickets. Device for
[0002]
[Prior art]
By using the original data distribution method and the like in Patent Document 1, an electronic value, which is information that electronically represents a value, is issued to a user device such as an IC card while preventing unauthorized use such as duplication or forgery. It can be safely distributed, for example, transferred between user devices and exercised from a user device. For example, the above-described method enables electronic distribution of electronic tickets that electronically represent tickets, electronic money that electronically represents money, and the like.
[0003]
However, the method itself does not provide a means for trading electronic value fairly. Here, a fair transaction is an electronic value that satisfies the condition that both parties will not lose the electronic value of the transaction without obtaining or obtaining a guarantee to obtain the electronic value. Refers to the interchange of
[0004]
In order to trade the electronic value realized by the above method fairly, it is necessary to use a method in which the transaction is mediated by a third-party device and the transaction is performed by combining a plurality of transfers of the electronic value, for example. Become.
[0005]
Hereinafter, as a first method, a conventional method of performing fair electronic value transactions through the intermediary of a third-party device will be described using an example. Here, a case will be described in which the electronic value V1 stored in the user device U1 and the electronic value V2 stored in the user device U2 are to be traded fairly through the intermediary of the third-party device T.
[0006]
In this case, 1) U1 sends V to T. 2) U2 sends V to T. 3) T confirms that both V1 and V2 are complete, and sends V2 to U1 and V1 to U2. By such steps, the above fair exchange transaction can be realized.
[0007]
A second method is a method using sequential disclosure of electronic information. That is, in the exchange transaction of V1 and V2, the fairness of the transaction can be satisfied by the U1 and U2 disclosing bit strings for transmitting V1 and V2 little by little to each other. .
[0008]
[Patent Document 1]
JP 2001-143909 A
[0009]
[Problems to be solved by the invention]
However, in the above-described method of mediating by a third-party device, it is necessary to always communicate with the third-party device when conducting a transaction. Therefore, there are problems that the load is concentrated on a third-party device and that it is difficult to use the device in an environment where connectivity to a public network such as the Internet is not ensured.
[0010]
Further, in the method using the sequential disclosure, it is necessary to satisfy additional conditions such as a low execution efficiency of the transaction due to a remarkable increase in the number of communications involved in the transaction, and a substantially equal operation performance between U1 and U2. There are problems.
[0011]
SUMMARY OF THE INVENTION The present invention has been made in view of the above points, and has been made under conditions that are normal, that is, the communication path between U1 and U2 is not lost during the period from the start to the end of the transaction, and both U1 and U2 do not trade. In a transaction where the condition of cooperating in the performance of the transaction is fulfilled, the exchange of electronic value can be performed with a practical number of communications between U1 and U2 only, and under abnormal conditions, An object of the present invention is to provide a method and an apparatus for exchanging electronic value, which enable restoration of fairness of a transaction using a third-party device even from the middle of the transaction.
[0012]
[Means for Solving the Problems]
The above-described problem is caused when the exchange is interrupted in the process of exchanging the electronic value while preventing falsification or duplication of the electronic value between the first storage means and the second storage means, and when the exchange is interrupted, Determining cancellation or completion;
A step in which, when the result of the determination by the determination means is cancellation, the cancellation means sets the storage state of the electronic value in both the first storage means and the second storage means to a state before the exchange is performed. When,
When the result of the determination by the determination unit is completed, the completion unit sets the storage state of the electronic value in both the first storage unit and the second storage unit to a state after the exchange is performed. Steps and
It can be solved by an electronic value exchange method characterized by comprising:
[0013]
According to the present invention, the electronic value can be exchanged while preventing falsification or duplication thereof, and even if the exchange is interrupted in the process, the state before the exchange is performed according to the result of the determination by the determination unit. Or the state after the exchange has been performed, so that the fairness of the transaction can be restored.
[0014]
The electronic value exchange method of the present invention is a method for exchanging a first electronic value stored in a first user device with a second electronic value stored in a second user device.
The first user device includes:
Generating a first random number;
Generating first session information corresponding to the first random number;
Defining a first session state as started;
Outputting start information, which is information including the first session information, and a first electronic value;
Perform a start step that includes
The second user device includes:
Obtaining the start information and the first electronic value;
Generating a second random number;
Generating second session information corresponding to the second random number;
Defining the second session state as valid;
Generating agreement target information corresponding to the first electronic value, the second electronic value, and the first session information;
Generating an electronic signature Sa for information including the agreement target information and the second session information;
Deleting the second electronic value;
Outputting agreement information that is information including the agreement target information, the second session information, and the electronic signature Sa, and the second electronic value;
Perform the consensus steps, including
The first user device further includes:
Obtaining the agreement information and the second electronic value;
A first verification step of performing verification on a predetermined verification item;
Defining the first session state as valid;
Generating an electronic signature Se 2 for information including the second session information;
Deleting the first electronic value;
Outputting first confirmation information, which is information including the first random number, the second session information, and the electronic signature Se;
Performing a first verification step including
The second user device further includes:
Obtaining the first confirmation information;
A second verification step of performing verification on a predetermined verification item;
Erasing or defining the second session state as invalid,
Storing the first electronic value;
Outputting second confirmation information, which is information including the second random number;
Performing a second verification step including
The first user device further includes:
Obtaining the second confirmation information;
A third verification step of performing verification on a predetermined verification item;
Deleting the first session state or defining it as invalid;
Storing the second electronic value;
The electronic value exchange method may be configured to execute an end step including:
[0015]
In the above electronic value exchange method, when the second session state is defined as valid,
The second user device includes:
Defining the second session state as pending;
Generating an electronic signature Sab for information including information indicating a cancellation request and the agreement information;
Outputting cancellation request information that is information including the information indicating the cancellation request, the agreement information, and the electronic signature Sab;
Execute the cancellation request step containing
Third party device
Obtaining the cancellation request information;
A fourth verification step of performing verification on a predetermined verification item;
Defining the third session state as canceled if not defined;
Is executed.
[0016]
Also, when the first session state is defined as valid,
The first user device includes:
Generating an electronic signature Sco for information including information indicating a completion request and the agreement information;
Outputting completion request information that is information including the information indicating the completion request, the agreement information, and the electronic signature Sco;
Execute the completion request step including
Third party equipment
Obtaining the completion request information;
A fifth verification step of verifying a predetermined verification item;
Defining the completion if the third session state is undefined;
Is performed.
[0017]
Further, when the third session state is defined as canceled, the third party device:
Generating an electronic signature Sabort for information including information indicating permission for cancellation and the agreement information;
Outputting cancellation permission information that is information including the information indicating the cancellation permission, the agreement information, and the electronic signature Sabort;
Perform a cancellation permission step that includes
When the preprocessing is a completion request processing, the first user device further includes:
Obtaining the cancellation permission information;
A sixth verification step of verifying a predetermined verification item;
Deleting the first session state or defining it as invalid;
Storing the first electronic value;
Is performed.
[0018]
When the pre-processing is a cancellation request processing, the second user device further includes:
Obtaining the cancellation permission information;
A seventh verification step of verifying a predetermined verification item;
Erasing or defining the second session state as invalid,
Storing the second electronic value;
Is performed.
[0019]
On the other hand, when the third session state is defined as completed, the third party device:
Generating an electronic signature SCommit for information including information indicating completion permission and the agreement information;
Outputting completion permission information, which is information including the information indicating the completion permission, the agreement information, and the electronic signature S commit;
Execute the completion permission step including
When the preprocessing is a completion request processing, the first user device further includes:
Obtaining the completion permission information;
An eighth verification step of performing verification on a predetermined verification item;
Defining the first session state as erased or invalid;
Storing the second electronic value;
And performing the completion performing step.
[0020]
When the pre-processing is a cancellation request processing, the second user device further includes:
Obtaining the completion permission information;
A ninth verification step of performing verification on a predetermined verification item;
Defining the second session state as erased or invalid;
Storing the first electronic value;
And performing the completion performing step.
[0021]
According to the present invention, the electronic value can be exchanged between the two user devices by the processing of each step as described above. Further, when an abnormality occurs in the exchange process between the user devices, it is possible to guarantee that either the exchange is canceled or completed using the third party device. Further, at this time, the contents of the electronic value to be exchanged can be kept secret from the third party device. The present invention can be configured as an apparatus or a system.
[0022]
BEST MODE FOR CARRYING OUT THE INVENTION
Hereinafter, embodiments of the present invention will be described with reference to the drawings.
[0023]
First, an outline of an embodiment will be described with reference to FIG. The electronic value exchange system shown in FIG. 1 includes a first storage means 10 for storing a first electronic value 101, a second storage means 20 for storing a second electronic value 201, an exchange means 30, It has means 40, cancellation means 50, and completion means 60.
[0024]
The exchange unit 30 exchanges the first electronic value 101 and the second electronic value 201 between the first storage unit 10 and the second storage unit 20 while preventing falsification or duplication of the electronic value. It is. The determining unit 40 determines whether the replacement is canceled or completed when the replacement by the replacing unit 30 is interrupted. In addition, when the result of the determination by the determination unit 40 is “cancel”, the cancellation unit 50 changes the storage state of the electronic value in both the first storage unit 10 and the second storage unit 20 by the exchange unit 30. It has the function of setting the state before the operation is performed. Further, when the result of the determination by the determination unit 40 is completed, the completion unit 60 changes the storage state of the electronic value in both the first storage unit 10 and the second storage unit 20 by the exchange unit 30. It has a function to set the state after the operation.
[0025]
As described above, by using the electronic value exchange system, the electronic value can be exchanged while preventing falsification and duplication of the electronic value. In addition, even if the exchange is interrupted in the process, the exchange is performed according to the result of the determination by the determination unit. The state before the transaction is performed or the state after the exchange is performed can restore the fairness of the transaction.
[0026]
Hereinafter, embodiments of the present invention will be described in more detail.
[0027]
FIG. 2 is a diagram showing the overall configuration of the electronic value exchange system of the present invention. In the figure, the user device 1 and the user device 2 are connected via the communication means 4, the electronic value 101 stored in the user device 1 is deleted via the communication means 4, and the user device 1 is deleted. 2 shows a case where an exchange transaction is performed in which the electronic value 201 stored in the user device 2 is further erased and stored in the user device 1 after erasing.
[0028]
Furthermore, the system shown in FIG. 2 includes a third-party device 3 connected to the user devices 1 and 2 via the communication means 5. When the user device 1 and the user device 2 recognize an abnormality in the execution of the exchange transaction, for example, when the interruption of the communication means 4 is detected, the user device 1 or 2 that recognizes the abnormality sends the third party device 3 In response, information corresponding to the time of occurrence of the abnormality is transmitted.
[0029]
The third-party device 3 determines whether the exchange transaction should be canceled or completed based on the transmitted information, and returns information corresponding to the determined result to the transmission source user device. The user device receiving the information returned from the third-party device cancels the exchange transaction and restores the electronic value according to the result of the determination, or replaces the exchange value by presuming that the exchange transaction has been completed. Either the electronic value is stored.
[0030]
Here, the communication unit 4 is a temporary communication unit, and does not require a constant connection between the user devices 1 and 2. The communication means 5 is also a temporary communication means and does not require a constant connection between the user device and the third party device. The communication means 4 and 5 may be provided by the same communication network.
[0031]
Next, the configuration and operation of each device will be described in detail.
[0032]
FIG. 3 is a diagram illustrating a configuration of the user device 1 according to an embodiment of the present invention. The user device 1 shown in FIG. 1 includes a storage unit 10, a start unit 11, a first confirmation unit 12, an end unit 13, a completion request unit 14, a cancellation execution unit 15, and a completion execution unit 16. Here, typically, the user device 1 is realized using a tamper-resistant device such as an IC card, and prevents falsification of a program for realizing each unit and data stored in the storage unit.
[0033]
FIG. 4 is a diagram illustrating a configuration of the user device 2 according to an embodiment of the present invention. The user device 2 shown in FIG. 1 includes a storage unit 20, an agreement unit 21, a second confirmation unit 22, a cancellation request unit 23, a cancellation execution unit 24, and a completion execution unit 25. Here, similarly to the user device 1, the user device 2 is typically realized by using a tamper-resistant device such as an IC card, and prevents falsification of a program for realizing each unit and data stored in the storage unit. I do.
[0034]
FIG. 5 is a diagram illustrating a configuration of the third-party device 3 according to an embodiment of the present invention. The third-party device 3 shown in FIG. 1 includes a cancellation determination unit 31, a completion determination unit 32, a cancellation permission unit 33, and a completion permission unit. Here, typically, the third party device is realized as a server connected to a public network such as the Internet, and waits for a connection from a user device.
[0035]
As the communication means 4, two IC card reader / writers interconnected via a communication medium such as an infrared communication path or the Internet can be used. As the communication means 5, an IC card reader / writer connected to a third-party device via a communication medium such as the Internet can be used.
[0036]
A method for fairly exchanging the electronic value 101 stored in the storage means 10 with the electronic value 102 stored in the storage means 20 using each apparatus having the above-described configuration will be described below.
[0037]
In the following description, the user device 1 discloses the public key certificate CertP1 including the public key P1, the user device 2 discloses the public key certificate CertP2 including the public key P2, and the third party device 3 discloses the public key certificate CertP2. It is assumed that the public key certificate CertP3 including the key P3 is held in advance. Here, it is assumed that CertP1 and CertP2 are issued by a user device certification authority which is a first certification authority, and CertP3 is a public key certificate issued by a third party device certification authority which is a second certification authority. .
[0038]
The exchange of electronic value by this method is started by executing the following main processing. When an abnormality occurs in the execution of the main processing, the execution of the main processing is interrupted, and the execution branches to a cancellation request processing or a completion request processing. After the execution of the cancellation request processing and the completion request processing, the execution branches to the cancellation execution processing or the completion execution processing according to the state of the third party device. These branch conditions will be described in the following description of the processing.
[0039]
(Main processing)
The procedure of the main processing will be described with reference to FIGS.
[0040]
First, the start unit 11 of the user device 1 executes the following processing.
[0041]
Step 101) Generate a first random number n1.
[0042]
Step 102) Generate first session information s1 = n1 corresponding to n1.
[0043]
Step 103) Define the first session state as "started". For example, information indicating “start” is stored in association with “first session state”.
[0044]
Step 104) The electronic value 101 is referred to from the storage unit 10. This is defined as V1.
[0045]
Step 105) O = s1 and V1 That is, (O, V1) is output to the communication means 4.
[0046]
The communication means 4 transfers (O, V1) from the user device 1 to the user device 2.
[0047]
Subsequently, the agreement means 21 of the user device 2 executes the following processing.
[0048]
Step 106) Obtain O and V1 from the communication means 4.
[0049]
Step 107) The electronic value 201 is referred from the storage unit 20. This is defined as V2.
[0050]
Step 108) Generate a second random number n2.
[0051]
Step 109) Using the one-way function H (), generate second session information s2 = H (n2) corresponding to n2.
[0052]
Step 110) Define the second session state as "valid". For example, information indicating “valid” is stored in association with “second session state”.
[0053]
Step 111) The agreement target information Ao = H (V1 || V2 || s1) is generated using the one-way function H (). Here, || represents concatenation.
[0054]
Step 112) Generate Sa = SigP2 (Ao || s2). Here, SigP2 () is a signature function for generating an electronic signature verifiable with the public key P2. ESIGN or ECDSA can be used as such a signature function.
[0055]
Step 113) Delete V2 from the storage means 20.
[0056]
Step 114) Output A = (Ao, s2, Sa), V2 and CertP2 to the communication means 4.
[0057]
Then, the communication unit 4 transfers (A, V2, CertP2) from the user device 2 to the user device 1.
[0058]
Subsequently, the first confirmation unit 12 of the user device 1 executes the following.
[0059]
Step 115) A and CertP2 are acquired from the communication means 4.
[0060]
Step 116) The following items are verified, and if any one fails, the subsequent processing is interrupted.
-The first session state is "started";
-CertP2 is a valid public key certificate by the user certification authority.
-Successful signature verification of Sa = SigP2 (Ao || s2) using P2.
-Ao = H (V1 || V2 || s1) is satisfied.
[0061]
Step 117) Define the first session state as "valid".
[0062]
Step 118) Generate Se = SigP1 (s2). Here, SigP1 () is a signature function that generates an electronic signature that can be verified with the public key P1.
[0063]
Step 119) Delete V1 from the storage means 10.
[0064]
Step 120) E1 = (s2, Se) and CertP1 are output to the communication means 4.
[0065]
Then, the communication unit 4 transfers (E1, CertP1) from the user device 1 to the user device 2. When the transfer is not performed within a certain period of time and an abnormality is detected, such as a timeout, the user device 2 interrupts the following processing and executes “cancellation request processing”.
[0066]
Subsequently, the second confirmation unit 22 of the user device 2 executes the following.
[0067]
Step 121) Obtain E1 and CertP1 from the communication means 4.
[0068]
Step 122) Verify the following, and if at least one fails, interrupt the subsequent processing and execute "cancel request processing".
-The second session state is "valid";
-CertP1 is a valid public key certificate by the user certification authority.
-Successful signature verification of Se = SigP1 (s2) using P1.
-S2 contained in E1 and s2 contained in A are the same.
[0069]
(Step 123) Delete the second session state.
[0070]
Step 124) Store V1 in the storage means 20.
[0071]
Step 125) Output E2 = n2 to the communication means 4.
[0072]
Then, the communication unit 4 transfers E2 from the user device 2 to the user device 1. If the transfer is not performed within a certain period of time and an abnormality is detected, such as a timeout, the user device 1 interrupts the following processing and executes “completion request processing”.
[0073]
Subsequently, the ending means of the user device 1 executes the following.
[0074]
Step 126) E2 is obtained from the communication means 4.
[0075]
Step 127) Verify the following, and if at least one fails, suspend the subsequent processing and execute “completion request processing”.
-The first session state is "valid";
−s2 = H (n2) must be satisfied.
[0076]
Step 128) Clear the first session state.
[0077]
Step 129) Store V2 in the storage means 10.
[0078]
(End of main processing)
If the main processing including the procedure from step 101 to step 128 has been executed to the end, the processing ends. At this time, the electronic value 201 is stored in the storage means 10 of the user device 1 and the electronic value 101 is stored in the storage means 20 of the user device 2, and the above-mentioned electronic values are exchanged fairly.
[0079]
(Cancel request processing)
Next, the procedure of the "cancel request process" executed by the user device 2 in a predetermined case in the main process will be described with reference to FIG.
[0080]
First, the cancellation request means 23 of the user device 2 executes the following.
[0081]
Step 201) The second session state is defined as "pending".
[0082]
Step 202) Generate Sab = SigP2 (Mab || A). Here, Mab is information indicating a cancellation request.
[0083]
Step 203) Output Rab = (Mab, A, Sab) and CertP2 to the communication means 5.
[0084]
The communication means 5 transfers Rab and CertP2 from the user device 2 to the third party device 3. Then, the cancellation determination means 31 of the third party device 3 executes the following.
[0085]
Step 204) Obtain Rab and CertP2 from the communication means 5.
[0086]
Step 205) Verify the following, and if any one fails, suspend the subsequent processing.
-CertP2 is a valid public key certificate by the user certification authority.
-Successful signature verification of Sab = SigP2 (Mab || A) using P2.
[0087]
Step 206) Referring to the third session state, if it is not defined, it is defined as "cancelled".
[0088]
Step 207) Referring to the third session state, the process branches depending on the content.
-If "cancel" is defined, execute cancellation permission processing.
-If "completed" is defined, execute the completion permission process.
[0089]
(End of cancellation request processing)
When the processing according to the above procedure ends, the cancellation request processing ends.
[0090]
(Completion request processing)
Next, the procedure of the “completion request process” executed by the user device 1 in a predetermined case in the main process will be described with reference to FIG. The completion request processing is executed according to the following procedure.
[0091]
The completion requesting means 14 of the user device 1 executes the following.
[0092]
Step 301) Generate Sco = SigP1 (Mco || A). Here, Mco is information indicating a completion request.
[0093]
Step 302) Rco = (Mco, A, Sco) and CertP1 are output to the communication means 5.
[0094]
The communication means 5 transfers Rco and CertP2 from the user device 2 to the third party device 3. Then, the completion determination means 32 of the third party device 3 executes the following.
[0095]
Step 303) Rco and CertP1 are obtained from the communication means 5.
[0096]
Step 304) Verify the following, and if any one fails, suspend the subsequent processing.
-CertP1 is a valid public key certificate by the user certification authority.
-Successful signature verification of Sco = SigP1 (Mco || A) using P1.
[0097]
Step 305) Refer to the third session state, and define “completed” if not defined.
[0098]
Step 306) Referring to the third session state, the processing branches depending on the contents.
-If "cancel" is defined, execute cancellation permission processing.
-If "completed" is defined, execute the completion permission process.
[0099]
(End of completion request processing)
When the processing according to the above procedure ends, the completion request processing ends.
[0100]
(Cancellation permission processing)
Next, a procedure of a cancellation permission process executed in a predetermined case in the completion request process or the cancellation request process will be described with reference to FIG.
[0101]
The cancellation permitting means 33 of the third party device 3 executes the following processing.
[0102]
Step 401) Generate Sabort = SigP3 (abort || A). Here, abort is information indicating cancellation permission.
[0103]
Step 402) Output AT = (abort, A, Sabort) and CertP3 to the communication means 5.
[0104]
Step 403) The communication means 5 transfers the AT and CertP3 from the third party device 3 to the user device 1 or the user device 2. Which is transferred depends on the following conditions.
The user device 1 if the pre-process was a completion request process.
-User device 2 if the pre-processing was a cancellation request processing.
[0105]
If the user device 1 has received the AT and CertP3, the cancellation performing means 15 of the user device 1 executes the following.
[0106]
Step 411) Acquire AT and CertP3 from the communication means 5.
[0107]
Step 412) The following is verified, and if any one fails, the subsequent processing is interrupted.
-The first session state is "valid";
-CertP3 is a valid public key certificate by a third party CA.
-Successful signature verification of Sabort = SigP3 (abort || A) using P3.
[0108]
Step 413) The first session state is deleted or defined as invalid.
[0109]
Step 414) Generate an electronic value corresponding to V1 and store it in the storage means 10.
[0110]
When it is the user device 2 that has received the AT and CertP3, the cancellation performing means 24 of the user device 2 executes the following processing.
[0111]
Step 421) Acquire AT and CertP3 from the communication means 5.
[0112]
Step 422) The following is verified, and if any one fails, the subsequent processing is interrupted.
-The second session state is "pending" or "valid";
-CertP3 is a valid public key certificate by a third party CA.
-Successful signature verification of Sabort = SigP3 (abort || A) using P3.
[0113]
Step 423) The second session state is deleted or defined as invalid.
[0114]
Step 424) Generate an electronic value corresponding to V2 and store it in the storage means 20.
[0115]
(End of cancellation permission processing)
When the above processing ends, the cancellation permission processing ends.
[0116]
(Completion permission processing)
Next, the completion permission processing executed in a predetermined case in the completion request processing or the cancellation request processing will be described with reference to FIG.
[0117]
The completion permission means 34 of the third party device 3 executes the following.
[0118]
Step 501) Generate Commit = SigP3 (commit || A). Here, commit is information indicating completion permission.
[0119]
Step 502) CT = (commit, A, Scommit) and CertP3 are output to the communication means 5.
[0120]
Step 503) The communication means 5 transfers CT and CertP3 from the third party device 3 to the user device 1 or the user device 2. Which is transferred depends on the following conditions.
The user device 1 if the pre-process was a completion request process.
-User device 2 if the pre-processing was a cancellation request processing.
[0121]
When it is the user device 1 that has received the CT and CertP3, the completion execution unit 16 of the user device 1 executes the following.
[0122]
Step 511) Acquire CT and CertP3 from the communication means 5.
[0123]
Step 512) The following is verified, and if any one fails, the subsequent processing is interrupted.
-The first session state is "valid";
-CertP3 is a valid public key certificate by a third party CA.
-Successful signature verification of Scommit = SigP3 (commit || A) using P3.
[0124]
Step 513) Delete the first session state or define it as invalid.
[0125]
Step 514) Generate an electronic value corresponding to V2 and store it in the storage means 10.
[0126]
When it is the user device 2 that has received the CT and CertP3, the completion executing unit 25 of the user device 2 executes the following.
[0127]
Step 521) Acquire CT and CertP3 from the communication means 5.
[0128]
Step 522) The following is verified, and if any one fails, the subsequent processing is interrupted.
-The second session state is "pending" or "valid";
-CertP3 is a valid public key certificate by a third party CA.
-Successful signature verification of Scommit = SigP3 (commit || A) using P3.
[0129]
Step 523) Delete the second session state or define it as invalid. .
[0130]
Step 524) Generate an electronic value corresponding to V1 and store it in the storage means 20.
[0131]
(End of completion permission processing)
When the above processing ends, the completion permission processing ends.
[0132]
Now, in the above embodiment, the electronic values 101 and 201 can be electronic money representing a certain amount. Thereby, an electronic money exchange system can be realized. Also, the electronic value 101 is one or more electronic tickets, the electronic value 201 is electronic money representing a certain amount, or the electronic value 201 is one or more electronic tickets, By using the electronic value 101 as electronic money representing a certain amount, an electronic ticket sales system can be realized.
[0133]
A program for performing the process according to the present embodiment in each device of the system according to the present embodiment includes a computer-readable recording medium such as an FD (floppy (registered trademark) disk), an MO, a ROM, a memory card, and a CD. -It can be recorded on a ROM, DVD, removable disk, or the like, and can be stored or distributed. Further, the program can be provided through a network such as the Internet or e-mail.
[0134]
It should be noted that the present invention is not limited to the above-described embodiment, and various modifications and applications are possible within the scope of the claims.
[0135]
【The invention's effect】
As described above, according to the present invention, electronic value can be exchanged between two user devices. Further, when an abnormality occurs in the exchange process between the user devices, it is possible to guarantee that either the exchange is canceled or completed using the third party device. Further, at this time, the contents of the electronic value to be exchanged can be kept secret from the third party device.
[Brief description of the drawings]
FIG. 1 is a diagram showing a configuration of an electronic value exchange system according to an embodiment of the present invention.
FIG. 2 is a diagram showing a configuration of an electronic value exchange system according to the embodiment of the present invention.
FIG. 3 is a diagram showing a configuration of a user device 1 according to the embodiment of the present invention.
FIG. 4 is a diagram showing a configuration of a user device 2 according to the embodiment of the present invention.
FIG. 5 is a diagram showing a configuration of a third-party device 3 according to the embodiment of the present invention.
FIG. 6 is a diagram showing a procedure of a main process according to the embodiment of the present invention.
FIG. 7 is a diagram showing a procedure of a main process according to the embodiment of the present invention.
FIG. 8 is a diagram showing a procedure of a cancellation request process in the embodiment of the present invention.
FIG. 9 is a diagram showing a procedure of a completion request process in the embodiment of the present invention.
FIG. 10 is a diagram showing a procedure of a cancellation permission process in the embodiment of the present invention.
FIG. 11 is a diagram showing a procedure of a completion permission process in the embodiment of the present invention.
[Explanation of symbols]
1, 2 user device
3 Third party equipment
4,5 communication means
101 First Electronic Value
10 First storage means
201 Second electronic value
20 Second storage means
30 Exchange means
40 Judgment means
50 Cancellation means
60 means of completion
11 Starting means
12 First Confirmation Means
13 Termination means
14 Completion request means
15 Cancellation means
16 Completion means
21 Means of agreement
22 Second confirmation means
23 Cancellation request means
24 Cancellation means
25 Completion means
31 Cancellation determination means
32 Completion determination means
33 cancellation permission means
34 Completion permission means

Claims

In the process of exchanging the electronic value between the first storage means and the second storage means while preventing the falsification or duplication of the electronic value, when the exchange is interrupted, the judging means judges the cancellation or completion of the exchange. Steps to
A step in which, when the result of the determination by the determination means is cancellation, the cancellation means sets the storage state of the electronic value in both the first storage means and the second storage means to a state before the exchange is performed. When,
When the result of the determination by the determination unit is completed, the completion unit sets the storage state of the electronic value in both the first storage unit and the second storage unit to a state after the exchange is performed. And an electronic value exchange method comprising:

A method for exchanging a first electronic value stored in a first user device with a second electronic value stored in a second user device,
The first user device includes:
Generating a first random number;
Generating first session information corresponding to the first random number;
Defining a first session state as started;
Outputting start information, which is information including the first session information, and a first electronic value;
Perform a start step that includes
The second user device includes:
Obtaining the start information and the first electronic value;
Generating a second random number;
Generating second session information corresponding to the second random number;
Defining the second session state as valid;
Generating agreement target information corresponding to the first electronic value, the second electronic value, and the first session information;
Generating an electronic signature Sa for information including the agreement target information and the second session information;
Deleting the second electronic value;
Outputting agreement information that is information including the agreement target information, the second session information, and the electronic signature Sa, and the second electronic value;
Perform the consensus steps, including
The first user device further includes:
Obtaining the agreement information and the second electronic value;
A first verification step of performing verification on a predetermined verification item;
Defining the first session state as valid;
Generating an electronic signature Se 2 for information including the second session information;
Deleting the first electronic value;
Outputting first confirmation information, which is information including the first random number, the second session information, and the electronic signature Se;
Performing a first verification step including
The second user device further includes:
Obtaining the first confirmation information;
A second verification step of performing verification on a predetermined verification item;
Erasing or defining the second session state as invalid,
Storing the first electronic value;
Outputting second confirmation information, which is information including the second random number;
Performing a second verification step including
The first user device further includes:
Obtaining the second confirmation information;
A third verification step of performing verification on a predetermined verification item;
Deleting the first session state or defining it as invalid;
Storing the second electronic value;
Performing an end step including:

If the second session state is defined as valid,
The second user device includes:
Defining the second session state as pending;
Generating an electronic signature Sab for information including information indicating a cancellation request and the agreement information;
Outputting cancellation request information that is information including the information indicating the cancellation request, the agreement information, and the electronic signature Sab;
Execute the cancellation request step containing
Third party device
Obtaining the cancellation request information;
A fourth verification step of performing verification on a predetermined verification item;
Defining the third session state as canceled if not defined;
The electronic value exchange method according to claim 2, wherein a cancellation determination step including:

If the first session state is defined as valid,
The first user device includes:
Generating an electronic signature Sco for information including information indicating a completion request and the agreement information;
Outputting completion request information that is information including the information indicating the completion request, the agreement information, and the electronic signature Sco;
Execute the completion request step including
Third party equipment
Obtaining the completion request information;
A fifth verification step of verifying a predetermined verification item;
Defining the completion if the third session state is undefined;
3. The electronic value exchange method according to claim 2, wherein a completion determination step including:

If the third session state is defined as canceled, the third party device:
Generating an electronic signature Sabort for information including information indicating permission for cancellation and the agreement information;
Outputting cancellation permission information that is information including the information indicating the cancellation permission, the agreement information, and the electronic signature Sabort;
Perform a cancellation permission step that includes
The first user device further includes:
Obtaining the cancellation permission information;
A sixth verification step of verifying a predetermined verification item;
Deleting the first session state or defining it as invalid;
Storing the first electronic value;
The electronic value exchange method according to claim 4, wherein a cancellation performing step including:

If the third session state is defined as canceled, the third party device:
Generating an electronic signature Sabort for information including information indicating permission for cancellation and the agreement information;
Outputting cancellation permission information that is information including the information indicating the cancellation permission, the agreement information, and the electronic signature Sabort;
Perform a cancellation permission step that includes
The second user device further includes:
Obtaining the cancellation permission information;
A seventh verification step of verifying a predetermined verification item;
Erasing or defining the second session state as invalid,
Storing the second electronic value;
4. The electronic value exchange method according to claim 3, wherein a cancellation performing step including:

If the third session state is defined as completed, the third party device:
Generating an electronic signature SCommit for information including information indicating completion permission and the agreement information;
Outputting completion permission information, which is information including the information indicating the completion permission, the agreement information, and the electronic signature S commit;
Execute the completion permission step including
The first user device further includes:
Obtaining the completion permission information;
An eighth verification step of performing verification on a predetermined verification item;
Defining the first session state as erased or invalid;
Storing the second electronic value;
The electronic value exchange method according to claim 4, wherein a completion performing step including:

If the third session state is defined as completed, the third party device:
Generating an electronic signature SCommit for information including information indicating completion permission and the agreement information;
Outputting completion permission information, which is information including the information indicating the completion permission, the agreement information, and the electronic signature S commit;
Execute the completion permission step including
The second user device further includes:
Obtaining the completion permission information;
A ninth verification step of performing verification on a predetermined verification item;
Defining the second session state as erased or invalid;
Storing the first electronic value;
4. The electronic value exchange method according to claim 3, wherein a completion performing step including:

The first user device used in a system for exchanging a first electronic value stored in a first user device with a second electronic value stored in a second user device, ,
Means for executing a start step of starting a session for exchanging electronic value by outputting start information and a first electronic value;
A first verification unit that performs verification on verification items including verification of whether the agreement information received from the second user device and the second electronic value are valid, and outputs first verification information; Means for performing a verification step;
Means for verifying a verification item including verification of whether the second confirmation information received from the second user device is valid, and executing an end step of storing the second electronic value. A user device comprising:

Means for executing a completion request step of outputting completion request information when the first session state is defined as valid;
Means for, when receiving the cancellation permission information from the third-party device, performing verification regarding a verification item including verification of the cancellation permission information, and executing a cancellation performing step of storing the first electronic value;
Means for, when receiving the completion permission information from the third party device, performing verification regarding a verification item including verification of the completion permission information and executing a completion performing step of storing the second electronic value;
The user device according to claim 9, further comprising:

The second user device used in a system for exchanging a first electronic value stored in a first user device with a second electronic value stored in a second user device, ,
Means for receiving the start information and the first electronic value from the first user device, and executing an agreement step of outputting agreement information and the second electronic value;
The first user device verifies the verification items including verification of whether the first confirmation information is valid, stores the first electronic value, and outputs the second confirmation information. Means for performing the two confirmation steps;
Means for executing a cancellation requesting step of outputting cancellation request information when the second session state is defined as valid;
Means for, when receiving the cancellation permission information from the third-party device, performing verification regarding a verification item including verification of the cancellation permission information, and executing a cancellation performing step of storing the second electronic value;
Means for performing verification on verification items including verification of the completion permission information when the completion permission information is received from the third party device, and executing a completion performing step of storing the first electronic value;
A user device comprising:

Means for acquiring abnormality information that is information indicating occurrence of an abnormality;
Means for executing a completion request step of outputting completion request information when the abnormality information is acquired, after executing the first confirmation step and before executing the end step,
The user device according to claim 9, further comprising:

Means for acquiring abnormality information that is information indicating occurrence of an abnormality;
Means for executing a cancellation requesting step for outputting cancellation request information when the abnormality information is obtained, after executing the agreement step and before executing the second confirmation step,
The user device according to claim 11, further comprising:

Used in a system for exchanging a first electronic value stored in a first user device with a second electronic value stored in a second user device, wherein the first user device and the first user device are exchanged. A third-party device connectable to the second user device,
Verification is performed on verification items including verification of the cancellation request information received from the second user device, and if a session state in the third party device is undefined, a cancellation determination step of defining it as cancellation is executed. Means,
Verification is performed on verification items including verification of the completion request information received from the first user device, and if the session state in the third party device is undefined, a completion determination step of defining it as completed is executed. Means,
Means for performing a cancellation permission step of outputting cancellation permission information when the session state is defined as cancellation,
Means for executing a completion permission step of outputting completion permission information when the session state is defined as completed,
A third-party device comprising:

First storage means for storing a first electronic value;
Second storage means for storing a second electronic value;
Exchange means for exchanging the first electronic value and the second electronic value between the first storage means and the second storage means while preventing falsification or duplication of the electronic value;
When the replacement by the replacement unit is interrupted, a determination unit that determines cancellation or completion of the replacement,
When the result of the determination by the determination means is cancellation, the storage state of the electronic value in both the first storage means and the second storage means is set to a state before the exchange by the exchange means is performed. When,
When the result of the determination by the determination unit is completed, the storage state of the electronic value in both the first storage unit and the second storage unit is changed to a state after the exchange by the exchange unit is performed. And an electronic value exchange system.

An electronic value exchange system comprising: the user device according to claim 9 or 10; the user device according to claim 11; and the third party device according to claim 14.

The electronic value exchange system for performing electronic money exchange according to claim 15 or 16, wherein the first and second electronic values are electronic money representing a certain amount.

The first electronic value is one or more electronic tickets, and the second electronic value is electronic money representing a certain amount, or
The first electronic value is electronic money representing a certain amount,
The electronic value exchange system for selling electronic tickets according to claim 15 or 16, wherein the second electronic value is one or a plurality of electronic tickets.

The electronic value exchange method for performing electronic money exchange according to any one of claims 1 to 8, wherein the first and second electronic values are electronic money representing a certain amount.

The first electronic value is one or more electronic tickets, and the second electronic value is electronic money representing a certain amount,
Or
The first electronic value is electronic money representing a certain amount,
9. The electronic value exchange method for selling electronic tickets according to claim 1, wherein the second electronic value is one or a plurality of electronic tickets.