Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Trace Equivalence and Epistemic Logic to Express Security Properties   In process algebras, security properties are expressed as equivalences
between processes, but which equivalence is suitable is not clear. This means
that there is a gap between an intuitive security notion and the formulation.
Appropriate formalization is essential for verification, and our purpose is
bridging this gap. By chasing scope extrusions, we prove that trace equivalence
is congruent. Moreover, we construct an epistemic logic for the applied pi
calculus and show that its logical equivalence agrees with the trace
equivalence. We use the epistemic logic to show that trace equivalence is
pertinent in the presence of a non-adaptive attacker.

18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
2
The categories of this paper are: math