Kraus; 8. Computing optimal randomized resource allocations for massive security games