Entwurf und Analyse eines sicheren Routingprotokolls für mobile Quellen in Source Specic Multicast Communication

Abstract

Das Problem mobiler Quellen bei Source Specific Multicast Ubertragungen ist derzeit weitgehend ungelöst. Die vorliegende Arbeit erweitert den Ansatz des "Tree Morphings", welches Endgeräten durch die kontinuierliche Adaption von Verteilbäumen einen ununterbrochenen IP-Service bietet. Das eingeführte, leichtgewichtige Protokolldesign wird dabei im Verlauf der Arbeit vollständig systematisch untersucht. Neben der theoretischen Protokoll-Evaluierung und der formalen Verifikation wird eine Protokollimplementierung im Netzwerksimulator OMNeT++ durchgeführt. Diese wird dazu genutzt, die Starken und Schwachen des Protokolls an bestimmten, vorgegebenen Netzkonstellationen und an realen Topologiedaten zu ermitteln.