Data Sharing in Collaborative Systems: From Synchronization to Protection of Data

Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données

Imine Abdessamad (1, 2)

1 UL - Université de Lorraine
2 PESTO - Proof techniques for security protocols

L’approche des Transformées Opérationnelles (TO) est basée sur une réplication optimiste qui permet à plusieurs utilisateurs (ou sites) de générer des opérations pour modifier simulta-ément une ou plusieurs données partagées et ensuite synchroniser leurs répliques divergentes afin d’obtenir une vue identique [34, 120]. Les opérations de chaque site sont d’abord exécutés sur la réplique locale et ensuite propagées vers d’autres sites pour être intégrées. TO se présente sous forme d’algorithmes transformant les opérations reçues (provenant d’autres sites) pour tenir compte de celles qui ont pu entre temps modifier l’état de l’objet. Elle utilise les propriétés sémantiques des opérations pour garantir la convergence (ou le même contenu) des copies. Plus précisément, elle exploite la transformation des opérations pour construire une histoire (ou la liste des opérations) de chaque copie de l’objet.

Mots clés: Collaborative systems; Replication; Consistency; Access control; XML; Social networks; Privacy; Formal verification.

Mots clés: Systèmes collaboratifs; Réplication; Cohérence; Contrôle d'accès; XML; Réseaux sociaux; Vie privée; Vérification formelle.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Cryptographie et sécurité [cs.CR]; Base de données [cs.DB]; Calcul formel [cs.SC]

Imine Abdessamad. Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données. Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2016. ⟨tel-03256970⟩