Typing access control and secure information flow in sessions - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Information and Computation Année : 2014

Typing access control and secure information flow in sessions

Résumé

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.
Fichier principal
Vignette du fichier
IC-2014.pdf (1.25 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01088782 , version 1 (28-11-2014)

Identifiants

Citer

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

Collections

INRIA INRIA2
138 Consultations
132 Téléchargements

Altmetric

Partager

More