Game Current-State Opacity Formulation in Probabilistic Resource Automata