Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense
  with Deception   In this chapter, we present an approach using formal methods to synthesize
reactive defense strategy in a cyber network, equipped with a set of decoy
systems. We first generalize formal graphical security models--attack
graphs--to incorporate defender's countermeasures in a game-theoretic model,
called an attack-defend game on graph. This game captures the dynamic
interactions between the defender and the attacker and their defense/attack
objectives in formal logic. Then, we introduce a class of hypergames to model
asymmetric information created by decoys in the attacker-defender interactions.
Given qualitative security specifications in formal logic, we show that the
solution concepts from hypergames and reactive synthesis in formal methods can
be extended to synthesize effective dynamic defense strategy using cyber
deception. The strategy takes the advantages of the misperception of the
attacker to ensure security specification is satisfied, which may not be
satisfiable when the information is symmetric.

26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol