Plateforme fiable de collaboration basée des registres distribués

Reliable collaboration platform based on distributed registers

• Auteur / Autrice : Mouhamad Almakhour
• Direction : Abelhamid Mellouk, Abed Ellatif Samhat, Layth Sliman
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 28/06/2019
• Etablissement(s) : Paris 12 en cotutelle avec Université libanaise
• Ecole(s) doctorale(s) : École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication
• Partenaire(s) de recherche : Laboratoire : LISSI - Laboratoire Images, Signaux et Systèmes Intelligents

Mots clés

Mots clés libres

Event-B

Vérification Formelle

Sdn

Blockchain

Smart Contract

Event-B

Formal verification

Smart Contract

Blockchain

Sdn

Résumé

Le sujet principal de cette thèse repose sur la mise en œuvre d'une infrastructure distribuée basée sur la technologie de registres distribués appelés Blockchain ou Tangle et les Smart Contracts. La thèse a pour finalité de parvenir à spécifier une infrastructure industrielle construite par regroupement de toutes les fonctions nécessaires autour de la fabrication du produit ou du service. Cela permet ainsi de composer des processus répartis sur différents sites pour construire un processus collaboratif. L'autre objectif de la thèse est de construire un modèle donnant une visibilité globale sur le niveau de sécurité à atteindre. Celui-ci est amené à régir l'accès aux différentes ressources dans un processus collaboratif de manière à assurer la sécurité pour l'ensemble des partis prenantes. Cela implique de facto d'intégrer les besoins et les contraintes de sécurité dans les définitions des Smart Contracts et les processus exécutables qui en découlent, de manière à proposer des accords de protection entre les parties. La mise en œuvre de cette infrastructure requiert la construction d'un intergiciel (middleware) industriel à base de registres distribués capables de tenir compte et d'assurer la sécurité des processus composés et issus des différentes entreprises. Cet intergiciel doit ajouter aux fonctionnalités d'un registre distribué classique, les services principaux nécessaires pour une composition orienté métiers. Il doit donc prendre en compte le contexte globale ainsi que les préférences et contraintes liées à la sécurité des différentes parties impliquées. L'autre aspect non moins important est celui lié à la distribution des connaissances au travers d'une architecture réseau permettant de passer à l'échelle. Des paradigmes issus de la communauté réseau, comme le cas des réseaux pilotés par logiciel ou encore les modèles autonomiques, seront à investiguer.

The main subject of this thesis is the implementation of a distributed infrastructure based on the distributed registers technology called Blockchain or Tangle and Smart Contracts. The thesis aims to specify an industrial infrastructure built by grouping all the necessary functions around the manufacture of the product or service. This makes it possible to compose processes distributed on different sites to build a collaborative process. The other objective of the thesis is to build a model giving a global visibility on the level of security to be achieved. The latter is responsible for governing access to the various resources in a collaborative process in order to ensure security for all stakeholders. This involves de facto integrating security needs and constraints into Smart Contracts definitions and the resulting executable processes, so as to provide protection agreements between the parties. The implementation of this infrastructure requires the construction of industrial middleware based on distributed registers able to take into account and ensure the security of the composite processes and from different companies. This middleware must add to the functionality of a traditional distributed registry, the main services needed for a business-oriented composition. It must therefore take into account the global context as well as the preferences and constraints related to the security of the various parties involved. The other aspect no less important is that related to the distribution of knowledge through a network architecture to scale. Paradigms from the network community, such as the case of software-driven networks or autonomic models, will be investigated.