Contest for system observability as an infinitely repeated game

TL;DR

This paper models a security game involving attacker and defender strategies to manipulate system observability, revealing equilibrium conditions, evolutionary patterns, and strategic asymmetries through geometric control analysis and numerical examples.

Contribution

It introduces a unified framework for analyzing observability-based security games with new equilibrium conditions and uncovers strategic behaviors like lock and loop modes.

Findings

Established necessary-and-sufficient conditions for Nash equilibrium.

Identified two evolutionary patterns: lock and loop modes.

Demonstrated asymmetry between attacker and defender strategies.

Abstract

This paper studies a system security problem in the context of observability based on a two-person noncooperative infinitely repeated game. Both the attacker and the defender have means to modify the dimension of the unobservable subspace, which is set as the value function. Utilizing tools from geometric control, we construct the best response sets considering one-step and two-step optimality respectively to maximize or minimize the value function. We establish a unified necessary-and-sufficient condition for Nash equilibrium that holds for both one-step and two-step optimizations. Our analysis further uncovers two evolutionary patterns, lock and loop modes, and shows an asymmetry between defense and attack. The defender can lock the game into equilibrium, whereas the attacker can disrupt it by sacrificing short-term utility for longer-term advantage. Six representative numerical examples corroborate the theoretical results and highlight the complexity of possible game outcomes.