Conception et vérification de systèmes d'édition collaborative sécurisés dans un contexte Pair-à-Pair

 

Hanifa Boucheneb

École Polytechnique de Montréal

 

Domaine : technologies de l'information et des communications

Programme projet de recherche en équipe

Concours 2010-2011

Les systèmes Pair-à-Pair (P2P) constituent actuellement un moyen de diffusion et de partage de données très répandu sur Internet. Cependant, la cohérence de données répliquées constitue toujours un verrou scientifique de par la topologie variable du réseau et l'absence de la notion client-serveur. Le but des systèmes d'édition collaborative est de permettre à un groupe de personnes, distribuées dans l'espace et le temps, de travailler en parallèle sur des données répliquées tout en assurant la cohérence de ces données.

L'objectif général de ce projet est, d'une part, d'investiguer et concevoir des mécanismes de réplication plus adaptés aux réseaux P2P, et, d'autres part, de développer un environnement d'aide à la conception et à la vérification de systèmes d'édition collaborative sécurisé dans un contexte P2P.

L'atteinte de ces objectifs généraux implique la réalisation de quatre objectifs spécifiques :

  1. Concevoir des approches de réplication permettant, à moindre coût, de garantir la cohérence des données dans les systèmes collaboratifs;
  2. Concevoir des politiques de contrôle d'accès plus adaptées aux applications collaboratives;
  3. Concevoir des modèles et approches de vérification formelle permettant notamment de prouver la cohérence des données et la conformité des politiques de contrôle d'accès vis-à-vis des objectifs de sécurité;
  4. Implémenter, tester et valider les approches proposées en 1, 2 et 3.