63 citations · 188 across the 23 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020
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…
cs.CR2020
A Receding-Horizon MDP Approach for Performance Evaluation of Moving Target Defense in Networks
Zhentian Qian, Jie Fu, Quanyan Zhu
In this paper, we study the problem of assessing the effectiveness of a proactive defense-by-detection policy with a network-based moving target defense. We model the network syste…