電子マネーシステムの価値保存形式を考慮したモデル化

• Item type: SIG Technical Reports(1)
• 公開日: 2007-03-04
• タイトル: 電子マネーシステムの価値保存形式を考慮したモデル化
• タイトル / 言語: en
• タイトル: Modeling Electronic Money System Considering Its Value Preservation Formats
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学大学院システム情報科学府情報工学専;攻
• 著者所属: 九州大学大学院システム情報科学研究院情報工学部門
• 著者所属: 九州大学大学院システム情報科学研究院情報工学部門
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering,Kyushu University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Electrical Engineering, Kyushu University
• 著者名: 小山, 健一郎; 稲永, 俊介; 安浦, 寛人
• 著者名(英): Kenichirou, Oyama; Shunsuke, Inenaga; Hiroto, Yasuura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，価値を表すデジタルデータをＩＣチップに保存するストアバリュー型電子マネー[１１と呼ばれる電子マネーシステムが注目されている．これまでに提案された電子マネーシステムの安定性に関する手法は，ほとんどが暗号技術や耐タンパー技術といったセキュリティ技術に基づいている[3]・では，仮にこれらのセキュリティー技術が破られたとすると，電子マネーシステムは即座に破綻してしまうのだろうか．そこで，本稿では電子マネーシステムの「セキュリティ技術やプロトコルとは独立した」安定性について検証するそのために，まず貨幣の集合論的なモデルを構築し，そのモデルに金銭の流通操作を加えた貨幣システムモデルを提案する．さらに 貨幣システムモデルを電子マネーに適用し，紙幣型マネーシステムモデルと残高型マネーシステムモデルという２つの価値保存形式の異なる電子マネーシステムモデルを提案する．最後に，紙幣型システムと残高型システムにおける「偽価値量」の検知可能性について考察する．ここで 「偽価値量」とは電子マネーシステム内に正規に追加されたものではない価値量のことをいい，現金通貨での偽札や偽硬貨に相当するものである．本稿では，残高型における三者間の偽価値量の譲渡操作ののちに，この偽価値量が検知できなくなってしまうことを示した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Many attentions have recently been paid to the so-called value-storing type of electronic money. Since any money operating system requires extremely high stability, information security technologies such as Cryptography and tamper resistance have been developed for maintenance of the stability of the system. But, what happens if those securities are attacked and broken? In this paper, we study the stability of electronic money systems which is independent of the security technologies and the protocols used. In so doing, we firstly develop a set-theory-based model for general money systems, and extend it to a general money system model by adding to the set-theory-based model some operations for circulation of money. Then, we propose a model for electronic money systems modifying the above general money system model. In particular, two different types of electronic money system, a note-type money system model and a balance-type money system model, are proposed in this paper. Lastly, we study possibilities of detecting a "fake value" that has been circulated in the note-type and balance-type money system models. Here, a "fake value" applies to a value which was not issued by the originator (or issuer) of the system, and thus it corresponds to a counterfeit of cash currencies. As a key feature of this work, we show that a fake value becomes impossible to be detected after it is transferred between at least three users.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10505667
• 書誌情報: 情報処理学会研究報告数理モデル化と問題解決（MPS）; 巻 2007, 号 19(2007-MPS-063), p. 53-56, 発行日 2007-03-04
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会