著者

小山 健一郎 稲永 俊介 安浦 寛人

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.19, pp.53-56, 2007-03-04

被引用文献数

5

---

近年,価値を表すデジタルデータをICチップに保存するストアバリュー型電子マネー[11と呼ばれる電子マネーシステムが注目されている.これまでに提案された電子マネーシステムの安定性に関する手法は,ほとんどが暗号技術や耐タンパー技術といったセキュリティ技術に基づいている[3]・では,仮にこれらのセキュリティー技術が破られたとすると,電子マネーシステムは即座に破綻してしまうのだろうか.そこで,本稿では電子マネーシステムの「セキュリティ技術やプロトコルとは独立した」安定性について検証するそのために,まず貨幣の集合論的なモデルを構築し,そのモデルに金銭の流通操作を加えた貨幣システムモデルを提案する.さらに 貨幣システムモデルを電子マネーに適用し,紙幣型マネーシステムモデルと残高型マネーシステムモデルという2つの価値保存形式の異なる電子マネーシステムモデルを提案する.最後に,紙幣型システムと残高型システムにおける「偽価値量」の検知可能性について考察する.ここで 「偽価値量」とは電子マネーシステム内に正規に追加されたものではない価値量のことをいい,現金通貨での偽札や偽硬貨に相当するものである.本稿では,残高型における三者間の偽価値量の譲渡操作ののちに,この偽価値量が検知できなくなってしまうことを示した.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.