loading
Papers

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-117-5

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

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 100.24.122.228

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 - Volume 1: SECRYPT, (ICETE 2015) ISBN 978-989-758-117-5, pages 65-75. DOI: 10.5220/0005544500650075

@conference{secrypt15,
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 - Volume 1: SECRYPT, (ICETE 2015)},
year={2015},
pages={65-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005544500650075},
isbn={978-989-758-117-5},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.