IRISA18 novembre ACI Sécurité DADDi Dependable Anomaly Detection with Diagnosis IRISA

18 novembre Plan de la présentation Rappel des objectifs Travaux en cours Recrutement Ingénieur R&D Création dune plateforme commune Questions

IRISA18 novembre Gestion du groupe de proxys utilisateursproxysserveurs

IRISA18 novembre Services à concevoir Services à offrir: –Gestion de la composition du groupe (join/leave) –Réplication passive (ou éventuellement active) –Election de leader Un leader par tâche (contrôle, stockage de données,…) Modèle de défaillance: –Première étape: panne franche Disponibilité du système –Deuxième étape: comportement arbitraire Résistance aux attaques

IRISA18 novembre Calcul des vues (1) Accord entre les membres du groupe sur la séquence de vues calculées p r s q joindre V1 = {p,q,s} V0 = {p,q,r} V0 V1

IRISA18 novembre Diffusion atomique Accord entre les membres du groupe sur lordre de livraison des messages –Différents ordres de réception –Un seul ordre de livraison à lapplication p r q V0 V1 RéceptionLivraison

IRISA18 novembre Synchronisation des vues Accord entre les membres du groupe sur le « moment » où la vue est installée. p r s q V0 V1 Msg(p) = Msg(q)

IRISA18 novembre Synchrone/Asynchrone Bornes sur : –les temps de transfert des messages au sein du groupe –Les temps nécessaires à lexécution dun pas de calcul Peu de proxys, réseau local –Système synchrone Mais choix du modèle Asynchrone

IRISA18 novembre Gestion de délais de garde (1) 1 1 question réponse (pull) Message « Es tu vivant ? » Message « Oui, je suis vivant. » 1 : Délai de garde

IRISA18 novembre Gestion de délais de garde (2) battements de cœur (push) Message « Je suis vivant. » 2 : Délai de garde : Périodicité des émissions

IRISA18 novembre Détecteurs de défaillances non fiables Niveau de fiabilité des détecteurs –Propriété de complétude: Suspecter les processus en panne –Propriété dexactitude: Ne pas suspecter les processus en service Classification des détecteurs –Une classe : définie par une propriété de complétude et une propriété dexactitude –Travaux de Chandra et Toueg, …

IRISA18 novembre Détecteurs de défaillances non fiables Classe des détecteurs « losange S » –Complétude forte: Idem –Exactitude faible inéluctable: Il existe un instant à partir duquel un processus correct ne sera plus suspecter par aucun processus. Env. asynchrone: impossible à assurer!

IRISA18 novembre Protocole daccord Protocole indulgent Résister aux défaillances «extérieures» –Détecteurs de défaillances Classe losange S, coordinateur tournant Mécanisme de gestion de fenêtres coulissantes –Première mise en œuvre –Analyse en cours (simulation) –Horloges Horloges quasi-synchronisées, coordinateur tournant Estimation dune durée « normale » de convergence Réglage des paramètres Algorithme de synchronisation dhorloge

IRISA18 novembre Bibliothèque de composants Synchronisation des vues Election dun leader Composition du groupe Accord générique Détecteur de défaillances Synchronisation des tours

IRISA18 novembre Expérimentations

IRISA18 novembre Poste Ingénieur Offre demploi publiée début novembre « Réalisation de mécanismes de gestion de serveurs répliqués permettant de détecter des tentatives d'intrusion » –Rubrique Ingénieur R&D –Recrutement en février ou mars 2006 Salaire brut entre 2400 et 2600 selon expérience 10 mois Stage de master ?

IRISA18 novembre Plateforme commune 1 Power Mac G5 2 PC Dell Localisation Supélec

IRISA18 novembre Questions Serveurs –Statiques : lectures uniquement –Dynamiques: lectures / écritures Cohérence (ordre des requêtes) Transfert détat lors dun ajout / réintégration Sauvegarde dinformation Communications internes –Unicast / multicast