Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Abstraction for Epistemic Model Checking of Dining Cryptographers-based
  Protocols   The paper describes an abstraction for protocols that are based on multiple
rounds of Chaum's Dining Cryptographers protocol. It is proved that the
abstraction preserves a rich class of specifications in the logic of knowledge,
including specifications describing what an agent knows about other agents'
knowledge. This result can be used to optimize model checking of Dining
Cryptographers-based protocols, and applied within a methodology for
knowledge-based program implementation and verification. Some case studies of
such an application are given, for a protocol that uses the Dining
Cryptographers protocol as a primitive in an anonymous broadcast system.
Performance results are given for model checking knowledge-based specifications
in the concrete and abstract models of this protocol, and some new conclusions
about the protocol are derived.

29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys