Typing access control and secure information flow in sessions

@article{Capecchi2014TypingAC,
  title={Typing access control and secure information flow in sessions},
  author={Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini},
  journal={Inf. Comput.},
  year={2014},
  volume={238},
  pages={68-105}
}
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… CONTINUE READING