Fiche de CIVIT Pierre

Titre : Spécification des systèmes distribués dynamiques probabilistes sécurisés
Date : 15 décembre 2022
Heure: 15:00
Résumé : Cette thèse propose un modèle hiérarchique pour les systèmes distribués dynamiques, probabilistes et sécurisés en étendant les systèmes de transition d’états étiquetés.  Le modèle comprend 3 ingrédients essentiels: (1) une opération de composition parallèle ||,  permettant de représenter un nouvel object A||B issu de l’interaction entre deux objects A et B, (2) une relation de préordre <=, où A <= B signifie que l’object A implémente l’object B, (3) la propriété de composabilité pour <=, c’est-à-dire  A <= B implique C||A <= C||B.  De plus, la thèse discute des conditions nécessaires et suffisantes pour obtenir (4) la monotonie de la creation dynamique d’objets avec <=, c'est à dire que si (i) A <= B et (ii) X et X' ne diffèrent que par le fait que X crée et détruit dynamiquement A au lieu de B comme X' le fait, alors (iii) X <= X'. Le modèle est décliné en plusieurs variantes: asynchrone, temporelle, bornée.
Lieu : Sorbonne Université, campus Pierre et Marie Curie