Towards a safe and secure synchronous language

Pejman Attar 1
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4148〉
Liste complète des métadonnées

Littérature citée [62 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00942606
Contributeur : Abes Star <>
Soumis le : jeudi 6 février 2014 - 10:13:04
Dernière modification le : jeudi 11 janvier 2018 - 16:44:57
Document(s) archivé(s) le : mardi 6 mai 2014 - 22:25:11

Fichier

2013NICE4148.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00942606, version 1

Collections

Citation

Pejman Attar. Towards a safe and secure synchronous language. Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4148〉. 〈tel-00942606〉

Partager

Métriques

Consultations de la notice

554

Téléchargements de fichiers

250