Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Information Flow Safety in Multiparty Sessions   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.

29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph