Title Security, trustworthiness and effectivity analysis of an offline e-cash system with observers /
Authors Muleravicius, Jonas ; Timofejeva, Inga ; Mihalkovich, Aleksejus ; Sakalauskas, Eligijus
DOI 10.15388/Informatica.2019.208
Full Text Download
Is Part of Informatica.. Vilnius : Vilniaus universiteto leidykla. 2019, vol. 30, iss. 2, p. 327-348.. ISSN 0868-4952. eISSN 1822-8844
Keywords [eng] e-cash ; BAN logic ; observers ; computation time
Abstract [eng] 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.
Published Vilnius : Vilniaus universiteto leidykla
Type Journal article
Language English
Publication date 2019
CC license CC license description