Modeling cyber attacks by stochastic games and Timed Petri Nets
Maria Pia Fanti, Massimiliano Nolich, Stella Simic, Walter Ukovich · 2016
This paper presents a model of Satellite Base Station (SBS) networks subject to malicious attacks and defense actions. The SBS structure and the attack-defense actions are modelled as a two-player stochastic game and a Nash Equilibrium is computed to obtain the stationary strategy guaranteeing the best behaviour. On the basis of this result, the SBS dynamics are modelled as a Discrete Event System in a Timed Petri Net framework that allows obtaining the evolution of the SBS under the Nash Equilibrium and the stochastic game rules. A case study describing the cyber security of an SBS is outlined and the details of the model are illustrated.