Typing access control and secure information flow in sessions

Abstract : We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both session safety and a form of access control. Moreover, this type system ensures secure information flow, including controlled forms of declassification. In particular, it prevents information leaks due to the specific control constructs of the calculus, such as session opening, selection, branching and delegation. We illustrate the use of our type system with a number of examples, which reveal an interesting interplay between the constraints of security type systems and those used in session types to ensure properties like communication safety and session fidelity.
Type de document :
Article dans une revue
Journal of Information and Computation, Elsevier, 2014, 238, pp.68 - 105. 〈10.1016/j.ic.2014.07.005〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01088782
Contributeur : Ilaria Castellani <>
Soumis le : vendredi 28 novembre 2014 - 16:27:47
Dernière modification le : jeudi 11 janvier 2018 - 16:19:45
Document(s) archivé(s) le : vendredi 14 avril 2017 - 23:06:16

Fichier

IC-2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Typing access control and secure information flow in sessions. Journal of Information and Computation, Elsevier, 2014, 238, pp.68 - 105. 〈10.1016/j.ic.2014.07.005〉. 〈hal-01088782〉

Partager

Métriques

Consultations de la notice

194

Téléchargements de fichiers

100