Direction de recherche : Maria POTOP-BUTUCARU

Spécification des systèmes distribués dynamiques probabilistes sécurisés

Cette thèse propose un modèle hiérarchique naturel pour les systèmes distribués dynamiques probabilistes. Le modèle étend les systèmes de transition d'états étiquetés capturant l'intuition d'un objet se déplaçant d'un état à un autre. Le modèle comprend: (1) une opération de composition parallèle, notée ||, permettant de représenter un nouvel object A||B issu de l'interaction entre deux objets A et B, (2) une relation de préordre <=, où A<=B signifie que l'objet A implémente l'objet B au sens d'une sémantique observationnelle, (3) la propriété de composabilité pour <=, c'est-à-dire A <= B implique C||A <= C||B, (4) une structure hiérarchique, c'est-à-dire qu'un système X, composé d'objets interagissant les uns avec les autres et pouvant rejoindre et quitter le système dynamiquement, est lui aussi un objet du modèle.
De plus, la thèse discute des conditions pour obtenir (5) La monotonicité (avec <=) de la création/destruction dynamique d’objets, c'est-à-dire que si (i) A <= B et (ii) X_A et X_B ne diffèrent que par le fait que X_A crée et détruit dynamiquement l'objet A au lieu de créer et détruire dynamiquement l'objet B comme le fait X_B, alors (iii) X_A <= X_B. Le modèle est décliné en plusieurs variantes: asynchrone, temporelle, bornée et permet une méthodologie modulaire de conception basée uniquement sur la notion de comportement observable de l’extérieur.

Publications 2022

• 2022
  • P. Civit : “Specification of dynamic probabilistic secure distributed systems”, soutenance de thèse, soutenance 15/12/2022, direction de recherche Potop-butucaru, Maria (2022)
  • P. Civit, M. Potop‑Butucaru : “Dynamic Probabilistic Input Output Automata”, 36^th International Symposium on Distributed Computing (DISC 2022), vol. 246, Leibniz International Proceedings in Informatics (LIPIcs), Augusta, GA, United States, pp. 15:1-15:18, (Schloss Dagstuhl -- Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-255-6) (2022)
  • P. Civit, M. Potop‑Butucaru : “Brief Announcement: Probabilistic Dynamic Input/Output Automata”, Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, Salerno, Italy, pp. 378–380, (Association for Computing Machinery) (2022)
  • P. Civit, M. Potop‑Butucaru : “Brief Announcement: Composable Dynamic Secure Emulation”, Proceedings of the 34^th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '22, Philadelphia, PA, United States, pp. 103-105, (Association for Computing Machinery), (ISBN: 9781450391467) (2022)