Security, Trustworthiness and Effectivity Analysis of an Offline E-Cash System with Observers

Article type: Research Article

Authors: Muleravicius, Jonas | Timofejeva, Inga | Mihalkovich, Aleksejus^{; *} | Sakalauskas, Eligijus

Affiliations: Department of Applied Mathematics, Kaunas University of Technology, Studentu Str. 50, LT-51368, Kaunas, Lithuania. E-mails: jonas.muleravicius@ktu.edu, inga.timofejeva@ktu.edu, aleksejus.michalkovic@ktu.lt, eligijus.sakalauskas@ktu.lt

Correspondence: [*] Corresponding author.

Abstract: In our previous paper we presented an offline e-cash system with observers. We have shown that the proposed system satisfies basic requirements for e-cash schemes. We also covered such security issues as chosen message attack resistance and forgery of protocols data. However, in that paper we focused more on the system itself, rather than its analysis. Hence, here we present cryptanalysis of our system. We aim to prove that existential forgery of data is not possible due to complexity of the discrete logarithm problem. Furthermore, we perform the analysis of trustworthiness of the system using the so-called BAN logic. Also, we consider effectivity of the proposed e-cash system in observers with limited computational resources.

Keywords: e-cash, BAN logic, observers, computation time

Journal: Informatica, vol. 30, no. 2, pp. 327-348, 2019