Papers Papers/2020



Paper Unlock

Authors: Jannik Dreier 1 ; Ali Kassem 2 and Pascal Lafourcade 3

Affiliations: 1 Institute of Information Security, Switzerland ; 2 University Grenoble Alpes, France ; 3 University Clermont Auvergne and Limos, France

Keyword(s): E-Cash, Formal Analysis, Double Spending, Exculpability, Privacy, Applied p-Calculus, ProVerif.

Related Ontology Subjects/Areas/Topics: Data and Application Security and Privacy ; Formal Methods for Security ; Identification, Authentication and Non-Repudiation ; Information and Systems Security ; Privacy ; Security in Distributed Systems ; Security Protocols

Abstract: Electronic cash (e-cash) aims at achieving client privacy at payment, similar to real cash. Several security protocols have been proposed to ensure privacy in e-cash, as well as the necessary unforgery properties. In this paper, we propose a formal framework to define, analyze, and verify security properties of e-cash systems. To this end, we model e-cash systems in the applied p-calculus, and we define two client privacy properties and three properties to prevent forgery. Finally, we apply our definitions to an e-cash protocol from the literature proposed by Chaum et al., which has two variants and a real implementation based on it. Using ProVerif, we demonstrate that our framework is suitable for an automated analysis of this protocol.


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Dreier, J.; Kassem, A. and Lafourcade, P. (2015). Formal Analysis of E-Cash Protocols. In Proceedings of the 12th International Conference on Security and Cryptography - SECRYPT, (ICETE 2015) ISBN 978-989-758-117-5; ISSN 2184-2825, pages 65-75. DOI: 10.5220/0005544500650075

author={Jannik Dreier. and Ali Kassem. and Pascal Lafourcade.},
title={Formal Analysis of E-Cash Protocols},
booktitle={Proceedings of the 12th International Conference on Security and Cryptography - SECRYPT, (ICETE 2015)},


JO - Proceedings of the 12th International Conference on Security and Cryptography - SECRYPT, (ICETE 2015)
TI - Formal Analysis of E-Cash Protocols
SN - 978-989-758-117-5
IS - 2184-2825
AU - Dreier, J.
AU - Kassem, A.
AU - Lafourcade, P.
PY - 2015
SP - 65
EP - 75
DO - 10.5220/0005544500650075