Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers