Formal Analyze of a Private Access Control Protocol to a Cloud Storage

Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb

2017

Abstract

Storing data in the Cloud makes challenging data’s security and users’ privacy. To address these problems cryptographic protocols are usually designed. Cryptographic primitives have to guarantee some security properties such that for instance data and user privacy or authentication. Attribute-Based Signature (ABS) and Attribute-Based Encryption (ABE) are very suitable for storing data on an untrusted remote entity. In this work, we formally analyse the Ruj et al. protocol of cloud storage based on ABS and ABE schemes. Our analysis clarifies several ambiguities in the design of this protocol and reveals an unknown attack against user privacy. We propose a correction, and prove the security of the corrected protocol.

Download


Paper Citation


in Harvard Style

Berrima M., Lafourcade P., Giraud M. and Ben Rajeb N. (2017). Formal Analyze of a Private Access Control Protocol to a Cloud Storage . In Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017) ISBN 978-989-758-259-2, pages 495-500. DOI: 10.5220/0006461604950500


in Bibtex Style

@conference{secrypt17,
author={Mouhebeddine Berrima and Pascal Lafourcade and Matthieu Giraud and Narjes Ben Rajeb},
title={Formal Analyze of a Private Access Control Protocol to a Cloud Storage},
booktitle={Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017)},
year={2017},
pages={495-500},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006461604950500},
isbn={978-989-758-259-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017)
TI - Formal Analyze of a Private Access Control Protocol to a Cloud Storage
SN - 978-989-758-259-2
AU - Berrima M.
AU - Lafourcade P.
AU - Giraud M.
AU - Ben Rajeb N.
PY - 2017
SP - 495
EP - 500
DO - 10.5220/0006461604950500