Towards modeling stored-value electronic money systems

Shunsuke Inenaga, Kenichirou Oyama, Hiroto Yasuura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This paper presents mathematical and general models of electronic money systems. The goal of the paper is to propose a first framework in which various kinds of e-money systems can be uniformly represented and their security properties can be evaluated and compared. We introduce two kinds of e-money system models; a note-type e-money system model and a balance-type e-money system model. We show that any balance-type e-money system with efficient data transmission cannot be simulated by any note-type e-money system. This implies that balance-type e-money systems are strictly faster in data communication. Then, we show that a forged monetary value can be detected in some note-type e-money systems, while it cannot be detected in any balance-type e-money systems with efficient data communication. This implies that note-type e-money systems seem to be more secure.

Original languageEnglish
Title of host publication2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings
Pages902-907
Number of pages6
DOIs
Publication statusPublished - 2009
Event2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Coimbatore, India
Duration: Dec 9 2009Dec 11 2009

Other

Other2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009
CountryIndia
CityCoimbatore
Period12/9/0912/11/09

Fingerprint

Communication
Data communication systems
Electronic money

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Science Applications
  • Software

Cite this

Inenaga, S., Oyama, K., & Yasuura, H. (2009). Towards modeling stored-value electronic money systems. In 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings (pp. 902-907). [5393854] https://doi.org/10.1109/NABIC.2009.5393854

Towards modeling stored-value electronic money systems. / Inenaga, Shunsuke; Oyama, Kenichirou; Yasuura, Hiroto.

2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings. 2009. p. 902-907 5393854.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Inenaga, S, Oyama, K & Yasuura, H 2009, Towards modeling stored-value electronic money systems. in 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings., 5393854, pp. 902-907, 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009, Coimbatore, India, 12/9/09. https://doi.org/10.1109/NABIC.2009.5393854
Inenaga S, Oyama K, Yasuura H. Towards modeling stored-value electronic money systems. In 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings. 2009. p. 902-907. 5393854 https://doi.org/10.1109/NABIC.2009.5393854
Inenaga, Shunsuke ; Oyama, Kenichirou ; Yasuura, Hiroto. / Towards modeling stored-value electronic money systems. 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings. 2009. pp. 902-907
@inproceedings{545f7a2160d4478d814a5e2bb0e5834f,
title = "Towards modeling stored-value electronic money systems",
abstract = "This paper presents mathematical and general models of electronic money systems. The goal of the paper is to propose a first framework in which various kinds of e-money systems can be uniformly represented and their security properties can be evaluated and compared. We introduce two kinds of e-money system models; a note-type e-money system model and a balance-type e-money system model. We show that any balance-type e-money system with efficient data transmission cannot be simulated by any note-type e-money system. This implies that balance-type e-money systems are strictly faster in data communication. Then, we show that a forged monetary value can be detected in some note-type e-money systems, while it cannot be detected in any balance-type e-money systems with efficient data communication. This implies that note-type e-money systems seem to be more secure.",
author = "Shunsuke Inenaga and Kenichirou Oyama and Hiroto Yasuura",
year = "2009",
doi = "10.1109/NABIC.2009.5393854",
language = "English",
isbn = "9781424456123",
pages = "902--907",
booktitle = "2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings",

}

TY - GEN

T1 - Towards modeling stored-value electronic money systems

AU - Inenaga, Shunsuke

AU - Oyama, Kenichirou

AU - Yasuura, Hiroto

PY - 2009

Y1 - 2009

N2 - This paper presents mathematical and general models of electronic money systems. The goal of the paper is to propose a first framework in which various kinds of e-money systems can be uniformly represented and their security properties can be evaluated and compared. We introduce two kinds of e-money system models; a note-type e-money system model and a balance-type e-money system model. We show that any balance-type e-money system with efficient data transmission cannot be simulated by any note-type e-money system. This implies that balance-type e-money systems are strictly faster in data communication. Then, we show that a forged monetary value can be detected in some note-type e-money systems, while it cannot be detected in any balance-type e-money systems with efficient data communication. This implies that note-type e-money systems seem to be more secure.

AB - This paper presents mathematical and general models of electronic money systems. The goal of the paper is to propose a first framework in which various kinds of e-money systems can be uniformly represented and their security properties can be evaluated and compared. We introduce two kinds of e-money system models; a note-type e-money system model and a balance-type e-money system model. We show that any balance-type e-money system with efficient data transmission cannot be simulated by any note-type e-money system. This implies that balance-type e-money systems are strictly faster in data communication. Then, we show that a forged monetary value can be detected in some note-type e-money systems, while it cannot be detected in any balance-type e-money systems with efficient data communication. This implies that note-type e-money systems seem to be more secure.

UR - http://www.scopus.com/inward/record.url?scp=77949652051&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77949652051&partnerID=8YFLogxK

U2 - 10.1109/NABIC.2009.5393854

DO - 10.1109/NABIC.2009.5393854

M3 - Conference contribution

SN - 9781424456123

SP - 902

EP - 907

BT - 2009 World Congress on Nature and Biologically Inspired Computing, NABIC 2009 - Proceedings

ER -