Supervision : Maria POTOP-BUTUCARU

Specification of dynamic probabilistic secure distributed systems

This thesis proposes a natural hierarchical model for dynamic probabilistic distributed systems. The model extends in an intuitive way the labeled transition systems that best capture the intuition of an object moving from one state to another. The model consists of 3 essential ingredients: (1) a parallel composition operation, noted ||, allowing to represent a new object A||B resulting from the interaction between two objects A and B, (2) a pre-order relation <=, where A <= B means that the object A implements the object B in the sense of an observational semantics, (3) the composability property for <=, that is A <= B implies C||A <= C||B, (4) a hierarchical structure, i.e. a system X, composed of objects interacting with each other and able to join and leave the system dynamically, is also an object of the model.
Furthermore, the thesis discusses the conditions to obtain (5) the monotonicity (with <=) of dynamic creation/destruction of objects, i.e., if (i) A <= B and (ii) X_A and X_B differ only by the fact that X_A dynamically creates and destroys the object A instead of dynamically creating and destroying the object B as X_B does, then (iii) X_A <= X_B. The model is declined in several variants: asynchronous, timed, bounded and allows a modular design and a refinement methodology based only on the notion of externally

2022 Publications

• 2022
  • P. Civit : “Specification of dynamic probabilistic secure distributed systems”, thesis, phd defence 12/15/2022, supervision 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)