Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions   We propose extensions to the Dolev-Yao attacker model to make it suitable for
arguments about security of Cyber-Physical Systems. The Dolev-Yao attacker
model uses a set of rules to define potential actions by an attacker with
respect to messages (i.e. information) exchanged between parties during a
protocol execution. As the traditional Dolev-Yao model considers only
information (exchanged over a channel controlled by the attacker), the model
cannot directly be used to argue about the security of cyber-physical systems
where physical-layer interactions are possible. Our Dolev-Yao extension, called
cyber-physical Dolev-Yao (CPDY) attacker model, allows additional orthogonal
interaction channels between the parties. In particular, such orthogonal
channels can be used to model physical-layer mechanical, chemical, or
electrical interactions between components. In addition, we discuss the
inclusion of physical properties such as location or distance in the rule set.
We present an example set of additional rules for the Dolev-Yao attacker, using
those we are able to formally discover physical attacks that previously could
only be found by empirical methods or detailed physical process models.

36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn