Beschreibung
Lexigence davoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) dadopter une démarche rigoureuse de la première étape de conception jusquà sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis. Ainsi ces aspects ont nécessité lapprentissage du langage Promela et lutilisation de loutil logiciel associé à savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique. Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes délection. De plus, un intérêt a été porté à laspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre dapplication, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole dauthentification.
Autorenporträt
Benarous Leila étudiante en Master option:Réseaux,Systèmes et Application Réparties, Département Mathématique et Informatique, Université Amar Telidji.
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
