Sûreté des abstractions et sessions sécurisées dans les langages distribués

par Pierre-Malo Deniélou

Thèse de doctorat en Informatique

Sous la direction de Jean-Jacques Lévy.

Soutenue en 2010

à Paris 7 .

  • Titre traduit

    Abstraction Safety and Secure Sessions in distributed languages


  • Pas de résumé disponible.


  • Résumé

    Les systèmes répartis, ou systèmes distribués, tiennent aujourd'hui un rôle critique dans notre société et dans notre industrie. Cette thèse explore deux approches permettant aux programmeurs d'obtenir des garanties fortes de sûreté et de sécurité pour leurs programmes distribués. Dans un premier temps, nous étudions la généralisation des types abstraits de données ⁺ ₊la programmation distribuée. Nous partons d'un système de typage préexistant que nous rendons plus flexible par l'ajout de sous-typage. Ceci permet de prendre en compte certains phénomènes comme les mises à jour de programmes et de bibliothèques. Nos propriétés de sûreté sont garanties lorsque tous les participants sont bien typés et le réseau est fiable. Notre système permet alors de s'assurer que les propriétés locales des types abstraits sont préservées dans le contexte distribué. Notre seconde partie s'intéresse aux sessions, une construction permettant de chorégraphier les interactions entre de multiples participants. Nous proposons un langage de programmation distribué avec sessions, et un compilateur dont l'objet est de générer automatiquement pour chaque session un protocole cryptographique. Ce protocole garantit un programmeur d'une des parties indépendantes d'un système distribué de ne pas être vulnérable aux actions que le réseau ou d'autres participants corrompus pourraient effectuer pour dévier du comportement prévu par la session.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (241 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 71 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB soumis à condition
  • Cote : TS (2010) 019
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.