Architectures auto-* pour les réseaux adverses et malicieux – SHAMAN

SHAMAN traite des fondements algorithmiques des systèmes à grande échelle autonomes et contraints en ressources, dédiés à assurer la continuité des fonctionnalités du réseau en dépit d'évolutions abruptes du système, pannes de composants, et attaques externes et internes. Nous prévoyons d'obtenir des solutions originales dans le domaine de l'auto-stabilisation, de la détection des fautes, et des protocoles robustes. Notre premier objectif est l'obtention de modèles réalistes pour l'anonymat, le dynamisme et les comportements malicieux. Notre deuxième objectif est d'évaluer à la fois la puissance théorique et l'impact pratique de ces modèles, en confrontant leur capacité à concevoir des algorithmes et des protocoles efficaces pour les environnements dynamiques et malicieux. Cette évaluation sera faite via deux domaines d'application principaux: les réseaux de capteurs sans fil, et les réseaux pair à pair. Le résultat principal de SHAMAN devrait être la démonstration de briques d'intergiciels qui pourraient être intégrées à de véritables plate-formes distribuées.