Thèse soutenue

Conception, validation et implémentation d'un nouveau protocole de gesiont de session

FR  |  
EN
Auteur / Autrice : Dario Vieira Conceicao
Direction : Ana Cavalli
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2006
Etablissement(s) : Evry, Institut national des télécommunications

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

Les fonctions fondamentales des protocoles de routage sont d'établir et de gérer une session entre deux hôtes et de la maintenir vivante autant que possible, même s'il n'y a pas d'échange des messages entre eux. En conséquence, deux hôtes devraient pouvoir communiquer à condition qu'il y ait un chemin entre eux dans le réseau. Afin d'assurer la connectivité, les protocoles de routage doivent offrir certaines fonctionnalités telles que la multi-session et le multi-homing. Néanmoins, ces protocoles ne satisfont pas leur fonction principale : maintenir une session réseau bidirectionnel sans erreur sur laquelle des messages sont échangés. Dans cette thèse, nous proposons un nouveau protocole de gestion de session, lequel nous appelons Managed Session Protocol (MSP). MSP est exécuté au-dessus de la couche d'un protocole de transport et il offre des services tels que la diffusion, le multi-streaming, les commandes multi-cibles et le multi-session. Ce protocole peut être utilisé par différentes applications, par exemple le protocole BGP peut bénéficier des fonctionnalités offertes par MSP. De plus, cette thèse présente les techniques de vérification et de test formel et d'analyse de performance mises en place pour, d'une part, valider les propriétés de correction de MSP, et d'autre part, valider sa mise en oeuvre. Pour la vérification, nous avons utilisé la technique de model checking. En outre, nous avons employé la méthode de la logique temporelle pour la conception des invariants et des propriétés de MSP. Pour le test, nous proposons une nouvelle méthode de test passive basée sur des invariants