Auditable register : a basic abstraction for privacy by design fault-tolerant distributed computing

Registre auditable : une abstraction pour des systèmes distribués tolérants aux pannes, et respectueux de la vie privée Les systèmes distribués sont constitués de multiples entités computationnelles collaborant pour résoudre des tâches communes. Dans ce contexte, la coordination et la communication entre ces entités sont essentielles pour garantir le bon fonctionnement du système. Atteindre une telle coordination est particulièrement difficile dans le domaine des systèmes distribués en raison des complexités inhérentes, telles que la concurrence, les pannes et la dispersion géographique.Diverses abstractions ont été proposées pour relever ces défis et permettre une coordination efficace. Ces abstractions jouent un rôle crucial en simplifiant la programmation des applications distribuées, masquant les complexités intrinsèques des systèmes distribués.On s'intéresse dans cette thèse en particulier de l'une d'entre elles, le registre partagé, couramment appelé registre. Le registre est une structure de données permettant un stockage cohérent et un partage transparent des informations entre les entités du système malgré un accès concurrent. Il constitue le socle de nombreuses applications et algorithmes distribués, garantissant la cohérence des données partagées.Comme la plupart des abstractions traditionnelles, les registres ne prennent pas en compte la dimension de la vie privée des données.Or, avec la prolifération des appareils connectés tels que l'Internet des objets (IoT) et les smartphones, le partage de données personnelles est devenu central dans de nombreuses applications distribuées. Ainsi, une tension fondamentale se manifeste entre la facilité de partager nos données, permettant l'accès à des services qui simplifient notre quotidien, et les préoccupations croissantes liées à la vie privée. Cela nous pousse à repenser la conception des systèmes distribués en intégrant cette nouvelle dimension.Cette thèse explore une extension de l'abstraction du registre, qui prend généralement en charge uniquement les opérations de lecture et d'écriture, en ajoutant une opération d'audit.Le registre auditable permet aux utilisateurs non seulement de lire et d'écrire les données, mais aussi de vérifier quelles données ont été consultées et par qui.Les principales contributions de cette thèse sont les suivantes :Un modèle formel et une spécification pour les registres auditables.Des algorithmes optimaux pour implémenter des registres auditables atomiques dans les systèmes asynchrones à échanges de messages.Une caractérisation de la puissance de synchronisation des registres auditables, en tenant compte de différents niveaux de cohérence.