Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: FocusST Solution for Analysis of Cryptographic Properties   To analyse cryptographic properties of distributed systems in a systematic
way, a formal theory is required. In this paper, we present a theory that
allows (1) to specify distributed systems formally, (2) to verify their
cryptographic wrt. composition properties, and (3) to demonstrate the
correctness of syntactic interfaces for specified system components
automatically. To demonstrate the feasibility of the approach we use a typical
example from the domain of crypto-based systems: a variant of the Internet
security protocol TLS. A security flaw in the initial version of TLS
specification was revealed using a semi-automatic theorem prover, Isabelle/HOL.

30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
2
The categories of this paper are: math