Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Epistemic Approach to Compositional Reasoning about Anonymity and
  Privacy   In this paper, we present an epistemic logic approach to the compositionality
of several privacy-related informationhiding/ disclosure properties. The
properties considered here are anonymity, privacy, onymity, and identity. Our
initial observation reveals that anonymity and privacy are not necessarily
sequentially compositional; this means that even though a system comprising
several sequential phases satisfies a certain unlinkability property in each
phase, the entire system does not always enjoy a desired unlinkability
property. We show that the compositionality can be guaranteed provided that the
phases of the system satisfy what we call the independence assumptions. More
specifically, we develop a series of theoretical case studies of what
assumptions are sufficient to guarantee the sequential compositionality of
various degrees of anonymity, privacy, onymity, and/or identity properties.
Similar results for parallel composition are also discussed.

13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th