2011/08/23 by Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Computer Science · #cs.CR
paper · pdf · doi:10.1017/s0960129514000619
published as EPTCS 64, 2011, pp. 16-30 · In Proceedings EXPRESS 2011, arXiv:1108.4077
arxiv created 2011/08/23 · arxiv updated 2015/01/07
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use of our monitored semantics with various examples, and show that the induced safety property implies a noninterference property studied previously.