iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption - Archive ouverte HAL
Chapitre D'ouvrage Année : 2024

iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption

Résumé

Attribute-Based Encryption (ABE) stands as a cryptographic cornerstone, enabling access control to messages based on user attributes. The security definition of standard ABE is shown to be impossible in Universal Composability (UC) against an active adversary. To overcome this issue, existing formal UC security definitions of ABE rely on additional properties for ABE, necessary to prove security against an active adversary, excluding standard ABE by definition. In light of the composability feature offered by UC and the absence of ideal functionality tailored for standard ABE, we propose the two following contributions: (1) We construct the first ideal functionality F ABE for ABE which, under reasonable hypothesis against static corruption, can be realized using an IND-CCA2-secure ABE scheme; and (2) our F ABE leads us to propose a protocol solving a simple yet highly practical, world-scaled company-focused problem: efficient file transfer. The proposed construction provides data integrity, sender authentication, attribute-based file access, featured with constant data size transferred between users. This is achieved by relying on two efficient building blocks: ABE and signature, which are layered atop of the hash-based distributed storage system IPFS. Our protocol, strengthened by a formal security definition and analysis under the Universally Composable (UC) framework called iUC, is proved to realize our problem-oriented authenticated attribute-based file transfer ideal functionality. Finally, we implement our proposal with a proof-of-concept written in Rust, and show it is practical and efficient.
Fichier non déposé

Dates et versions

hal-04702513 , version 1 (19-09-2024)

Identifiants

Citer

Pascal Lafourcade, Gael Marcadet, Léo Robert. iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. Serge Vaudenay; Christophe Petit. Progress in Cryptology - AFRICACRYPT 2024, 14861, Springer Nature Switzerland, pp.174-198, 2024, Lecture Notes in Computer Science, 978-3-031-64380-4. ⟨10.1007/978-3-031-64381-1_8⟩. ⟨hal-04702513⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More