Soutenance de Victorien Elvinger le 13/6 Réplication sécurisée dans les infrastructures pair-à-pair de collaboration

Une application de collaboration permet à plusieurs individus de
coéditer un contenu.
Les infrastructures pair-à-pair de collaboration visent à la conception
d’applications hautement disponibles, aux latences faibles, qui tolèrent
les partitions réseaux, et qui passent à l’échelle.
Chaque pair (individu) modifie sa propre copie du contenu.
La modification concurrente des copies conduit à leur divergence.
Les protocoles de réplication sont responsables de la convergence des
copies.

Ces protocoles supposent l’absence de pairs malintentionnés qui
compromettent la convergence des copies.
Pouvons-nous protéger la convergence des copies et préserver les
propriétés des infrastructures pair-à-pair ?
Nous proposons deux protocoles qui protègent la convergence des copies.
Le premier protocole maintient un journal répliqué et infalsifiable qui
enregistre les modifications du contenu.
Les pairs conservent l’intégralité du journal pour déjouer les attaques
des pairs malintentionnés et pour le transmettre à ceux qui rejoignent
la collaboration.
Le second protocole permet aux pairs de tronquer leur journal.
La troncature du journal repose sur le concept de Stabilité.
Une modification devient stable lorsque toute modification intégrée dans
le journal dépend d’elle.
Pour rejoindre la collaboration, un pair récupère une copie et un
journal tronqué.
Il vérifie l’authenticité de la copie à partir du journal tronqué.

Un type de données répliquées (CRDT) encapsule un protocole de réplication.
Les CRDTs séquences supposent généralement un ordre d’intégration causal
des modifications du contenu.
Le retard d’une modification propage des ralentissements dans l’ensemble
du système.
La connexion d’un pair peut engendrer l’intégration de nombreuses
modifications.
Pouvons-nous éliminer ces ralentissements et ces intégrations coûteuses ?
Nous formalisons une famille de CRDTs séquences et nous proposons une
approche qui permet leur synchronisation par différences d’états.
Les différences d’états peuvent être intégrées dans un ordre arbitraire
et résumer plusieurs modifications.
Nous proposons un CRDT séquence qui tire avantage de notre approche.

Jury
—-

Rapporteur·ice·s :
Emmanuelle Anceaume, directrice de recherche IRISA
Pascal Molli, professeur à l’Université de Nantes
Frederik Vercauteren, KU Leuven,
Belgique
Examinateur·ice·s :
Steve Kremer, directeur de recherche Inria Grand Est
Esther Pacitti, professeure à l’Université de Montpellier 2

Superviseurs :
François Charoy, professeur à l’Université de Lorraine
Gérald Oster, maître de conférence à l’Université de Lorraine

Soutenance de HDR – Claudia Ignat – 23/04 à 15h -Large-scale trustworthy distributed collaborative systems

Large-scale trustworthy distributed collaborative systems

Les systèmes collaboratifs existants reposent tous sur une autorité
centrale, généralement un grand fournisseur de service, qui stocke les
données personnelles des utilisateurs ce qui met en péril la
confidentialité de ces données. Ces systèmes collaboratifs ont également
des problèmes de passage à l’échelle en termes de nombre des
utilisateurs et leurs modifications. Mon projet de recherche vise à
assurer une collaboration sans autorité centrale ou collaboration
pair-à-pair digne de confiance où chaque utilisateur maintient ses
données et peut décider avec quels autres utilisateurs il souhaite les
partager. Les avantages des systèmes collaboratifs pair-à-pair sont le
passage à l’échelle et la résistance aux pannes et aux attaques.

Dans un premier temps je décris mes contributions à la conception et à
l’évaluation des algorithmes de réplications de données. Je décris
également mes travaux autour de la conscience de groupe, plus
spécifiquement quel type d’information doit être fourni aux utilisateurs
pour prévenir les conflits et comprendre la divergence lorsque les
conflits ne peuvent pas être évités.

Dans un second temps je décris mes contributions sur la collaboration à
large échelle digne de confiance. Je présente un modèle de collaboration
basée sur des contrats qui spécifie des contrats d’usage pour les
données partagées, la vérification de ces contrats étant faite a
posteriori. L’observation du respect ou la violation de ces restrictions
est utilisée pour la mise à jour du niveau de confiance des
utilisateurs. Pour la validation de ce modèle de collaboration je
présente une expérimentation avec des utilisateurs basée sur le jeu de
la confiance et une métrique de confiance calculée par rapport aux
interactions des utilisateurs dans ce jeu.

Finalement, je présente mes directions futures de recherche autour de la
collaboration sûre et digne de confiance.

Mots-clés : systèmes collaboratifs distribués, transformées
opérationnelles, CRDT, conscience de groupe, confiance, collaboration
basée sur des contrats, journaux authentifiés, jeu de la confiance,
études d’usage

Plus de détails : https://members.loria.fr/CIgnat/habilitation-hdr/

Composition du jury
Rapporteurs :
M. Prasun DEWAN, Professeur, University of North Carolina at Chapel Hill
Mme Valérie ISSARNY, Directrice de Recherche, Inria
M. François TAIANI, Professeur des Universités, Université de Rennes I

Examinateurs :
Mme Sihem AMER-YAHIA, Directrice de Recherche, CNRS
M. François CHAROY, Professeur des Universités, Université de Lorraine
(parrain)
Mme Isabelle CHRISMENT, Professeur des Universités, Université de Lorraine
M. Fabien GANDON, Directeur de Recherche, Inria
M. Pascal MOLLI, Professeur des Universités, Université de Nantes

 

(English) PhD Defense 3-2-2021 – Béatrice Linot – La confiance dans les situations de travail collaboratifs médiatisés par des environnements numériques

Désolé, cet article est seulement disponible en Anglais Américain.

(English) PhD Defense 14-1-2020 – Hoai Le Nguyen – Étude des conflits dans l’édition collaborative

Désolé, cet article est seulement disponible en Anglais Américain.

(English) PhD Defense 12-1-2020 : Quentin Laporte-Chabasse – Étude morpho-statistique des réseaux sociaux. Application aux collaborations inter-organisationnelles.

Désolé, cet article est seulement disponible en Anglais Américain.

(English) PhD defense of Guillaume Rosinosky – Elasticity and BPMaaS – 23-1-2019

Désolé, cet article est seulement disponible en Anglais Américain.

(English) ICSOC 2018 paper presentation by Guillaume Rosinosky

Désolé, cet article est seulement disponible en Anglais Américain.

(English) Quentin Laporte Chabasse et Victorien Elvinger at 4th IEEE International Conference on Collaboration and Internet Computing

Désolé, cet article est seulement disponible en Anglais Américain.

(English) Claudia-Lavinia Ignat is doing a Keynote at CRIWG conference 2018

Désolé, cet article est seulement disponible en Anglais Américain.

(English) From cognitive psychology to Trust Theory – by Siavash Atarodi – 30/3/2018 – B013

Désolé, cet article est seulement disponible en Anglais Américain.