Typing access control and secure information flow in sessions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Information and Computation Year : 2014

Typing access control and secure information flow in sessions


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩


131 View
122 Download



Gmail Mastodon Facebook X LinkedIn More