Groupes de recherche

| IC2 | MIC2 | RMS | S3 |

Informations générales

Categories

Archives

Se connecter



2010/04/15 – Nouha Oualha: “Sécurité et coopération pour le stockage de données pair-à-pair”

Séminaire INFRES TELECOM ParisTech / en Amphi Saphir
Organisateurs : Hugues Randriam & Dario Rossi

Orateur : Nouha Oualha (Telecom ParisTech)

Titre : Sécurité et coopération pour le stockage de données pair-à-pair

Résumé : L’intérêt pour les protocoles et les algorithmes auto-organisants qui s’est manifesté notamment avec la popularité des services de partage de fichiers (/file sharing/) ou VoIP concerne maintenant un plus large domaine d’applications. En particulier, il a favorisé l’essor des services de stockage pair-à-pair (P2P). Ces services permettent l’utilisation efficace de tout espace disque libre et inexploité pour construire un système de stockage fiable, disponible, passant à l’échelle et avec des coûts d’entretien réduits. Le stockage P2P suscite cependant des enjeux de sécurité qui doivent être traités, en particulier en ce qui concerne l’égoïsme des pairs qui est en cause du parasitisme (/free-riding/) dans le système. L’observation continue du comportement des pairs par le contrôle régulier du stockage est une condition importante pour sécuriser un tel système contre ces attaques. Détecter l’égoïsme des pairs exige des primitives appropriées comme les preuves de possession de données, une forme de preuve de connaissance avec laquelle le pair de stockage essaye interactivement de convaincre le vérificateur qu’il possède les données sans les envoyer ou les copier chez le vérificateur. Dans ce séminaire, nous proposons et passons en revue plusieurs protocoles de vérification. Nous étudions en particulier comment la vérification et la maintenance de données peuvent être déléguées à des pairs volontaires afin de mitiger la dynamicité des pairs. Nous proposons alors deux mécanismes, l’un basé sur la réputation et l’autre sur la rémunération, pour imposer la coopération au moyen de telles preuves de possession de données périodiquement fournies par les pairs assurant le stockage. Nous évaluons l’efficacité de telles incitations avec des modèles de la théorie des jeux. Nous discutons en particulier l’utilisation des jeux non-coopératifs Bayésiens répétés ainsi que celle des jeux évolutionnaires.

2010/04/08 – Sylvain Frey et Ada Diaconescu : “Résolution de conflits, un paradigme pour l’informatique autonomique”

Séminaire INFRES TELECOM ParisTech / en Amphi Saphir
Organisateurs : Hugues Randriam & Dario Rossi

Orateur : Sylvain Frey (Imperial College)
précédé d’une introduction par Ada Diaconescu (Telecom ParisTech)

Titre : Résolution de conflits, un paradigme pour l’informatique autonomique

Résumé : L’Informatique Autonomique (‘Autonomic Computing’) entend répondre à des problématiques croissantes des systèmes informatiques: complexité, hétérogénéité, grande échelle. L’idée principale du projet consiste à fournir des capacitésd’autogestion à ces systèmes, tout en minimisant leurs besoins en interventions humaines. La réussite de cette entreprise est un sujet critique du domaine de l’informatique, et donc de nos sociétés, toujours plus dépendantes de systèmes informatisés. Toutefois, la conception et l’implémentation de systèmes autonomiques reste à ce jour une question ouverte.

L’objectif de nos recherches est de concevoir et d’implémenter des architectures et des frameworks (canevas) génériques pour faciliter le développement et l’évolution de solutions autonomiques. Définir de tels frameworks réutilisables est un défi. Tout d’abord, les processus considérés sont dynamiques, non-déterministes et entrent parfois en conflit. Mais de plus, un système autonomique doit réagir et s’adapter à des scénarios complexes et imprévisibles, l’espace des configurations possibles et des réponses adéquates suivant une croissance exponentielle. Par conséquent, il est difficile, voire impossible, de prédire statiquement l’ensemble des situations possibles et de fournir les solutions appropriées dans un unique contrôleur central. L’approche selon laquelle les développeurs spécifient et contrôlent l’intégralité du comportement de leur application est donc difficile à appliquer dans ce contexte.

En réponse à ce constat, nous proposons d’élaborer des stratégies d’administration complexes par l’intégration opportuniste d’éléments autonomiques simples et spécialisés. Une spécification précise et exhaustive de toutes les directives de contrôle (e.g. monitorer, analyser, planifier, exécuter) n’est plus une obligation. La difficulté essentielle de l’approche proposée consiste à assurer que les réactions de gestion sont conformes aux exigences sur le comportement du système. La conception et l’implémentation des fonctionnalités d’intégration requises (e.g. résolution de conflits, synchronisation) peut suivre différentes approches, allant des solutions centralisées sur un unique point de contrôle à des structures complètement décentralisées, reposant sur des protocoles de communication spécifiques. Une approche orientée service a été choisie pour définir et développer de telles architectures, en raison de la modularité et du faible couplage fournis par le paradigme des services.

La présentation sera structurée en deux parties. Tout d’abord, le domaine de l’Informatique Autonomique et les problématiques posées par le développement de ses solutions seront présentés. Différentes possibilités d’architectures implémentant notre vision du projet seront introduites et comparées. Ensuite, nous nous concentrerons sur une architecture en particulier, explorant une conception complètement décentralisée des aspects de la résolution de conflits. La présentation détaillera cette architecture et un prototype d’implémentation, accompagné de scénarios de test et de premiers résultats. L’exemple d’application choisi pour l’expérimentation simule un habitat pourvu d’équipements autonomiques, sujets à des objectifs conflictuels de consommation d’énergie d’une part, et de régulation de la température d’autre part.

2010/03/25 – XVe Forum “Systèmes et Logiciels pour les NTIC dans les Transports

Séminaire INFRES & XVe Forum TELECOM ParisTech  INRETS
Salle B312
Thème : Apprentissage et transports, Jeux sérieux, réalité virtuelle et réalité augmentée
Programme détaillé et inscription (PDF)

8h30-9h00 Accueil des participants
9h00-9h15 Allocutions de bienvenue, par Hélène Fontaine (INRETS) et Gérard Memmi (Telecom ParisTech)
9h15-9h45 “Environnements informatiques pour l’apprentissage humain : Quoi de neuf ?”, Jean-Marc Labat (LIP6)
9h45-10h15 “Réalité virtuelle, augmentée, [...] [...]

2010/03/18 – Alain Couvreur : “Codes géométriques”

Séminaire INFRES TELECOM ParisTech / amphi Opale
Organisateurs : Hugues Randriam & Dario Rossi
Orateur : Alain Couvreur (INRIA)
Titre : Codes géométriques
Résumé : Les codes géométriques ont été introduits au début des années 80 par le mathématicien et ingénieur Russe V.D. Goppa. Dans les années qui ont suivi ils se sont avérés être un sujet de recherche [...] [...]