7 papers
Decoy Allocation Games on Graphs with Temporal Logic Objectives
Abhishek N. Kulkarni, Jie Fu, Huan Luo +2
We study a class of games, in which the adversary (attacker) is to satisfy a complex mission specified in linear temporal logic, and the defender is to prevent the adversary from a…
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception
Abhishek N. Kulkarni, Jie Fu
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 f…
Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives
Lening Li, Haoxiang Ma, Abhishek N. Kulkarni +1
In this paper, we study the use of deception for strategic planning in adversarial environments. We model the interaction between the agent (player 1) and the adversary (player 2)…
Deceptive Labeling: Hypergames on Graphs for Stealthy Deception
Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie +2
With the increasing sophistication of attacks on cyber-physical systems, deception has emerged as an effective tool to improve system security and safety by obfuscating the attacke…
Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
Abhishek N. Kulkarni, Jie Fu
We consider a class of two-player turn-based zero-sum games on graphs with reachability objectives, known as reachability games, where the objective of Player 1 (P1) is to reach a…
Secure-by-synthesis network with active deception and temporal logic specifications
Jie Fu, Abhishek N. Kulkarni, Huan Luo +2
This paper is concerned with the synthesis of strategies in network systems with active cyber deception. Active deception in a network employs decoy systems and other defenses to c…