Cohérences faibles pour le cloud zero-trust

Weak Consistency for zero-trust cloud

• Auteur / Autrice : Amaury Joly
• Direction : Emmanuel Godard, Corentin Travers
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 04/09/2023
• Etablissement(s) : Aix-Marseille
• Ecole(s) doctorale(s) : Ecole Doctorale Mathématiques et Informatique de Marseille
• Partenaire(s) de recherche : Laboratoire : LIS Laboratoire d'Informatique et Systèmes

Mots clés

Mots clés libres

Cloud

Sécurité par conception

Structures et Algorithmes Distribués

Consitences faibles

Systèmes byzantins

Cloud

Security by design

Distributed Structures and Algorithms

Weak Consistencies

Byzantine systems

Résumé

Le paysage des propriétés de cohérences faibles est relativement complexe. On peut distinguer trois grandes familles de cohérences faibles : — la sérialisabilité — la cohérence causale — la cohérence éventuellement forte Les objectifs de cette thèse sont à la fois d'étudier ces trois types de cohérence faible en situation byzantine et de définir des algorithmes byzantins efficaces pour pouvoir les implémenter. Puisque la cohérence causale est déjà bien étudiée, ce sont les deux autres cohérences qui seront les principaux axes de recherche de cette thèse. La première étape (WP1) consistera à étudier des solutions byzantines sans primitives cryptographiques, ou avec des primitives peu coûteuses. La deuxième étape (WP2) consistera à produire des solutions plus efficaces mais qui utilisent des primitives cryptographiques nécessitant des primitives de partage de secret et/ou de calcul homomorphe. Une dernière étape (WP3) consistera en la production d'une preuve de concept de solution destockage clef/valeurs utilisant les algorithmes retenus aux étapes précédentes.

The landscape of weak consistency properties is relatively complex. We can distinguish three main families of weak consistency: — serializability — causal consistency — possibly strong consistency The objectives of this thesis are both to study these three types of weak consistency in a Byzantine situation and to define efficient Byzantine algorithms to be able to implement them. Since causal consistency is already well studied, it is the other two consistency which will be the main axes of research of this thesis. The first step (WP1) will consist of studying Byzantine solutions without cryptographic primitives, or with inexpensive primitives. The second step (WP2) will consist of producing more efficient solutions but which use cryptographic primitives requiring secret sharing and/or homomorphic calculation primitives. A final step (WP3) will consist of producing a proof of concept for a key/value destorage solution using the algorithms retained in the previous steps.