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
Modeling Cyber Attacks by Stochastic Games and Timed Petri Nets / Fanti, Maria Pia; Massimiliano, Nolich; Stella, Simié; Walter, Ukovich. - ELETTRONICO. - (2017), pp. 2960-2965. (Intervento presentato al convegno IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 tenutosi a Budapest, Hungary nel October 9-12 , 2016) [10.1109/SMC.2016.7844690].
Modeling Cyber Attacks by Stochastic Games and Timed Petri Nets
FANTI, Maria Pia;
2017-01-01
Abstract
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 illustratedI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
