Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Algebraic Characterization of Security of Cryptographic Protocols   Several of the basic cryptographic constructs have associated algebraic
structures. Formal models proposed by Dolev and Yao to study the
(unconditional) security of public key protocols form a group. The security of
some types of protocols can be neatly formulated in this algebraic setting. We
investigate classes of two-party protocols. We then consider extension of the
formal algebraic framework to private-key protocols. We also discuss concrete
realization of the formal models. In this case, we propose a definition in
terms of pseudo-free groups.

32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga