Session Types for Access and Information Flow Control

Résumé : Nous étudions un calcul pour modéliser des sessions à partenaires multiples, avec délégation, où les données et les partenaires sont équipés de niveaux de sécurité. Nous présentons un système de types pour ce calcul, garantissant à la fois la sûreté des sessions, une forme de contrôle d'accès et la sécurité du flux d'information, tout en permettant la déclassification des données lors de leur transmission. En particulier, ce système de types permet de prévenir les fuites d'information dues aux primitives spécifiques du langage, que sont l'ouverture de session, la sélection, le branchement et la délégation. Nous illustrons l'utilisation de notre système de types par une série d'exemples, qui révèlent une interaction intéressante entre les contraintes apparaissant dans les systèmes de types classiques pour la sécurité et celles utilisées dans les types de session pour assurer des propriétés telles que l'absence d'erreurs de communication au cours d'une session et la conformité d'une session à un protocole donné.
Type de document :
Rapport
[Research Report] RR-7368, INRIA. 2010, pp.48
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00511304
Contributeur : Ilaria Castellani <>
Soumis le : mercredi 25 août 2010 - 12:17:02
Dernière modification le : jeudi 11 janvier 2018 - 16:24:41
Document(s) archivé(s) le : mardi 23 octobre 2012 - 15:00:45

Fichier

RR-7368.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00511304, version 1

Collections

Citation

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk. Session Types for Access and Information Flow Control. [Research Report] RR-7368, INRIA. 2010, pp.48. 〈inria-00511304〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

208