3 papers
cs.GT2020
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…
cs.GT2020
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…
cs.GT2020
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…