What we know
The authors propose a formal-methods approach to synthesize reactive defense strategies in networks equipped with decoy systems. They generalize attack graphs to incorporate defender countermeasures in an attack-defend game model, and introduce a class of hypergames to model asymmetric information created by decoys. According to the authors, this framework enables synthesis of effective defense strategies exploiting the attacker's misperception.
Evidence limits
This entry is based only on the available title and abstract; the full text was not reviewed and the effectiveness of the proposal was not independently verified.
Reviewed: author abstract. Full-text results were not analyzed.
Sources and provenance
- A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception
abstract · 2026-10-04
Reviewed: 2026-10-04. This record may change when new evidence is found.