A hybrid stochastic game for secure control of cyber-physical systems