Aug 23, 2011 · We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus.
scholar.google.com › citations
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks ...
Information flow control in multiparty sessions, to preserve confidentiality of participant data. ‣ Security (detection): behavioural property based on.
The main contribution of this work is a monitored semantics for a multiparty session calculus, and the proof that the induced information flow safety property ...
Abstract. We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, ...
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks ...
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the ...
Dec 2, 2015 · We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this ...
Dec 2, 2015 · We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this ...
We propose a monitored semantics for a multiparty session calculus, which blocks the execution of processes as soon as they attempt to leak information. In ...