Computer Science – Cryptography and Security
Scientific paper
2011-08-23
EPTCS 64, 2011, pp. 16-30
Computer Science
Cryptography and Security
In Proceedings EXPRESS 2011, arXiv:1108.4077
Scientific paper
10.4204/EPTCS.64.2
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.
Capecchi Sara
Castellani Ilaria
Dezani-Ciancaglini Mariangiola
No associations
LandOfFree
Information Flow Safety in Multiparty Sessions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Information Flow Safety in Multiparty Sessions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Information Flow Safety in Multiparty Sessions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-66553