Reactive Synthesis of Sensor Revealing Strategies in Hypergames on Graphs
Sumukha Udupa, Ahmed Hemida, Charles A. Kamhoua, Jie Fu

TL;DR
This paper develops a game-theoretic framework using hypergames on graphs to design sensor revealing strategies that enhance cyber-physical system security against sensor jamming attacks by leveraging deception and asymmetric information.
Contribution
It introduces hypergames on graphs for modeling deception in CPS security and provides an algorithm to determine optimal sensor revealing strategies based on game analysis.
Findings
The proposed algorithm can identify when hiding and revealing sensors is beneficial.
Deceptive strategies improve CPS security in case studies.
Hypergames effectively model asymmetric information in security scenarios.
Abstract
In many security applications of cyber-physical systems, a system designer must guarantee that critical missions are satisfied against attacks in the sensors and actuators of the CPS. Traditional security design of CPSs often assume that attackers have complete knowledge of the system. In this article, we introduce a class of deception techniques and study how to leverage asymmetric information created by deception to strengthen CPS security. Consider an adversarial interaction between a CPS defender and an attacker, who can perform sensor jamming attacks. To mitigate such attacks, the defender introduces asymmetrical information by deploying a "hidden sensor," whose presence is initially undisclosed but can be revealed if queried. We introduce hypergames on graphs to model this game with asymmetric information. Building on the solution concept called subjective rationalizable…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTeaching and Learning Programming · Optimization and Search Problems · Graph Theory and Algorithms
