Towards Modeling Stored-value Electronic Money Systems

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• Information and Media Technologies 編集運営会議の論文

著者

• INENAGA Shunsuke

  Graduate School of Information Science and Electrical Engineering, Kyushu University

• Yasuura Hiroto

  Graduate School Of Engineering Sciences Kyushu University

• Inenaga Shunsuke

  Graduate School Of Information Science And Electrical Engineering Kyushu University

• Oyama Kenichiro

  Graduate School of Information Science and Electrical Engineering, Kyushu University

関連論文

• Counting and Verifying Maximal Palindromes
• Modeling Costs of Access Control with Various Key Management Systems
• Routing Methodology for Minimizing Crosstalk in SoC(VLSI Design Technology and CAD)
• Pre-Route Power Analysis Techniques for SoC
• Low-Power Architecture of a Digital Matched Filter for Direct-Sequence Spread-Spectrum Systems(Regular Section)
• Counting and Verifying Maximal Palindromes
• Quality-Driven Design for Video Applications
• Bitwidth Optimization for Low Power Digital FIR Filter Design(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
• Leakage Power Reduction for Battery-Operated Portable Systems
• A Power Reduction Technique for an Equalization Circuit Using Adaptive Bitwidth Control
• A Power Reduction Technique for an Equalization Circuit Using Adaptive Bitwidth Control
• Towards Modeling Stored-value Electronic Money Systems
• Towards Modeling Stored-value Electronic Money Systems

もっと見る 閉じる

スポンサーリンク